OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Combining STPA with SysML Modeling

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

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1109/SysCon47679.2020.9275867


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)
Additional Information:Thanks to the IEEE (Institute of Electrical and Electronics Engineers). This paper is available at : https://ieeexplore.ieee.org/document/9275867 “© 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
HAL Id:hal-03203091
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 On:18 Dec 2019 11:44

Repository Staff Only: item control page