Combining STPA with SysML Modeling - Archive ouverte HAL Access content directly
Conference Papers Year :

Combining STPA with SysML Modeling


System-Theoretic Process Analysis (STPA) is a technique , based on System-Theoretic Accident Model and Process (STAMP), to identify hazardous control actions, loss scenarios, and safety requirements. STPA is considered a rather complex technique and lacks formalism, but there exists a growing interest in using STPA in certifications of safety-critical systems development. SysML is a modeling language for systems engineering. It enables representing models for analysis, design, verification, and validation of systems. In particular, the free software TTool and the model-checker UPPAAL enable formal verification of SysML models. This paper proposes a method that combines STPA and SysML modeling activities in order to allow simulation and formal verification of systems' models. An automatic door system serves as example to illustrate the effectiveness of the proposed approach.
Fichier principal
Vignette du fichier
SysCon2020_STPA_TTOOL.pdf (191.22 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02933575 , version 1 (08-09-2020)


  • HAL Id : hal-02933575 , version 1


Fellipe Guilherme Rey de Souza, Juliana de Melo Bezerra, Celso Massaki Hirata, Pierre de Saqui-Sannes, Ludovic Apvrille. Combining STPA with SysML Modeling. The 14th annual Systems conference SYSCON (SYSCON 2020), Aug 2020, Montréal, Canada. ⟨hal-02933575⟩
193 View
369 Download


Gmail Facebook Twitter LinkedIn More