Combining STPA with SysML Modeling

Souza, Fellipe G.R.; Bezerra, Juliana de Melo; Hirata, Celso Massaki; Saqui-Sannes, Pierre de; Apvrille, Ludovic

doi:10.1109/syscon47679.2020.9275867

Cited by 12 publications

(17 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…4) Methods non initially developed for MBSE can be extended with MBSE features. [37] extends the STPA (Systems Theoretic Process Analysis) method with SysML and TTool, in particular to benefit from the model formal verification approaches supported by TTool. Another example of associating a SysML method with another method is discussed in [38] for the Formose project that associates SysML with KAOS.…”

Section: E Methodsmentioning

confidence: 99%

MBSE and MDAO for Early Validation of Design Decisions: a Bibliography Survey

Chaudemar

Saqui-Sannes

2021

2021 IEEE International Systems Conference (SysCon)

Self Cite

View full text Add to dashboard Cite

Switching from document-centric engineering to Model Based Systems Engineering (MBSE), Systems Engineering (SE) has significantly evolved in terms of standard practices for the design of complex, interdisciplinary systems. MBSE consists in a top-down, model based approach to describe the entire system focusing on different points of view that cover at least structural and behavioral descriptions. Over the past decade, the need to perform an engineering analysis in the early steps of the system's life cycle has opened avenues for joint use of MBSE and Multidisciplinary Design Analysis and Optimization (MDAO). MDAO is fully dedicated to Analysis and Optimization: the model is restricted to a single aspect of the system that is described in details in a formal language that will be the input of the associated computing tool. This paper surveys and categorizes MBSE and MDAO approaches for better understanding of how MBSE and MDAO can be associated in a systems engineering project. Lessons learned from this literature survey will be used in the framework of French project Concorde. One major expected achievement of the project is to design and implement a methodology to populate parts of the MDAO modeling approach directly from the MBSE one, applied to a UAV case study.

show abstract

Section: E Methodsmentioning

confidence: 99%

MBSE and MDAO for Early Validation of Design Decisions: a Bibliography Survey

Chaudemar

Saqui-Sannes

2021

2021 IEEE International Systems Conference (SysCon)

Self Cite

View full text Add to dashboard Cite

show abstract

“…4) Methods non initially developed for MBSE can be extended with MBSE features. [33] extends the STPA (Systems Theoretic Process Analysis) method with SysML and TTool, in particular to benefit from the model formal verification approaches supported by TTool. Another example of associating a SysML method with another method is discussed in [34] for the Formose project that associates SysML with KAOS.…”

Section: Methodsmentioning

confidence: 99%

“…In terms of method, combination of STPA and SysML has been investigated in [33] to extend STPA with formal verification of safety properties. Next step will consist in taking security properties into account.…”

Section: B Future Workmentioning

confidence: 99%

Checking SysML Models Against Safety and Security Properties

Saqui-Sannes

Apvrille

Vingerhoeds

2021

Journal of Aerospace Information Systems

Self Cite

View full text Add to dashboard Cite

“…This section briefly introduces the four steps of STPA and the activities of Souza et al [4] method to combine STPA analysis and SysML modeling. These works are fundamental for the understanding of our method.…”

Section: Background Workmentioning

confidence: 99%

“…Souza et al [4] propose a method that combines STPA with SysML modeling activities, including simulation and formal verification of system models. Figure 1 The first activity is stating the Model Assumptions.…”

Section: B Combining Stpa Analysis and Sysml Modelingmentioning

confidence: 99%

Synthesis of a Controller Algorithm for Safety-Critical Systems

2022

Self Cite

View full text Add to dashboard Cite

Systems of today are becoming more complex; they have many levels of the control hierarchy, are software-intensive, use different networks, have increasing processing power, use a diversity of devices, and require more integration. Systems-Theoretic Process Analysis (STPA) is a technique that is being used to analyze the safety of those systems at the concept stage. For the design phase, STPA can be combined with SysML modeling activities, including simulation and formal verification of systems models to produce the control software more efficiently. However, for the design phase, when starting from the STPA analysis there is no support to elaborate the control algorithm. Building the control algorithm is one of the most difficult tasks in the design phase. We propose a method to synthesize the control algorithm for safetycritical systems from the STPA analyses and the functional requirements. Our method maps the control structure (STPA) into a block diagram (SysML), and it uses the STPA results to generate an initial state machine diagram (SysML) for automated controllers, actuators, and sensors. We use our method to generate the control algorithms for an Adaptive Cruise Control system. We evaluate the synthesized algorithms by performing model simulation and formal verification. This illustrates that our method is a systematic way to synthesize control algorithms that satisfy both safety and functional requirements.INDEX TERMS Safety, Systems Modeling Language, Model checking, Control system synthesis, System analysis and design.

show abstract

Combining STPA with SysML Modeling

Cited by 12 publications

References 7 publications

MBSE and MDAO for Early Validation of Design Decisions: a Bibliography Survey

MBSE and MDAO for Early Validation of Design Decisions: a Bibliography Survey

Checking SysML Models Against Safety and Security Properties

Synthesis of a Controller Algorithm for Safety-Critical Systems

Contact Info

Product

Resources

About