OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Combining STPA with SysML Modeling

Rey de Suza, Fellipe and Melo Bezerra, Juliana de and Hirata, Celso and Saqui-Sannes, Pierre de and Apvrille, Ludovic Combining STPA with SysML Modeling. ( In Press: 2020) In: The 14th annual IEEE International Systems Conference (SysCon 2020), 20 April 2020 - 23 April 2020 (Montréal, Canada).

Full text not available from this repository.


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.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > Telecom ParisTech (FRANCE)
Other partners > Instituto Tecnológico de Aeronáutica - ITA (BRASIL)
Laboratory name:
Deposited By: Pierre de Saqui-Sannes
Deposited On:18 Dec 2019 11:44

Repository Staff Only: item control page