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

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
Souza_25232.pdf (256.57 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03203091 , version 1 (20-04-2021)


  • HAL Id : hal-03203091 , version 1
  • OATAO : 25232


Fellipe Guilherme Rey de Souza, Juliana De Melo Bezerra, Celso Hirata, Pierre De Saqui-Sannes, Ludovic Apvrille. Combining STPA with SysML Modeling. The 14th annual IEEE International Systems Conference (SysCon 2020), Apr 2020, Montréal (virtual), Canada. ⟨hal-03203091⟩
37 View
105 Download


Gmail Facebook Twitter LinkedIn More