Skip to Main content Skip to Navigation
Conference papers

Combining STPA with SysML Modeling

Abstract : 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.
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Ludovic Apvrille Connect in order to contact the contributor
Submitted on : Tuesday, September 8, 2020 - 3:37:19 PM
Last modification on : Wednesday, November 3, 2021 - 8:19:56 AM
Long-term archiving on: : Saturday, December 5, 2020 - 12:54:00 AM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads