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 metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.telecom-paris.fr/hal-02933575
Contributor : Ludovic Apvrille <>
Submitted on : Tuesday, September 8, 2020 - 3:37:19 PM
Last modification on : Tuesday, September 15, 2020 - 3:23:03 AM

File

SysCon2020_STPA_TTOOL.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02933575, version 1

Collections

Citation

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 Systems conference SYSCON (SYSCON 2020), Aug 2020, Montréal, Canada. ⟨hal-02933575⟩

Share

Metrics

Record views

11

Files downloads

37