SysML and safety analysis for mechatronic systems

Mhenni, Fauida; Choley, Jean-Yves; Rivière, Alain; Nguyen, Nga; Kadima, Hubert

doi:10.1109/mecatronics.2012.6451042

Cited by 19 publications

(15 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In our previous work [17], we have shown how some safety analysis results such as FMEA can be generated from SysML structural and behavioral diagrams. In this paper, we extend the work by integrating in this unique framework the automated verification of formal models with regard to safety properties.…”

Section: Discussionmentioning

confidence: 99%

See 1 more Smart Citation

Safety analysis integration in a SysML-based complex system design process

Mhenni

Nguyen

Kadima

et al. 2013

2013 IEEE International Systems Conference (SysCon)

View full text Add to dashboard Cite

Model-based system engineering is an efficient approach to specifying, designing, simulating and validating complex systems. This approach allows errors to be detected as soon as possible in the design process, and thus reduces the overall cost of the product. Uniformity in a system engineering project, which is by definition multidisciplinary, is achieved by expressing the models in a common modeling language such as SysML. This paper presents an approach to integrate safety analysis in SysML at early stages in the design process of safety-critical systems. Qualitative analysis is performed through functional as well as behavioral safety analysis and strengthened by formal verification method. This approach is applied to a real-life avionic system and contributes to the integration of formal models in the overall safety and systems engineering design process of complex systems.

show abstract

Section: Discussionmentioning

confidence: 99%

“…Design changes on components are also directly integrated in the SysML model improving the whole consistency. More detail with a case study example about preliminary safety analysis based on functional and structure models of the system can be found in our previous work [17].…”

Section: Processmentioning

confidence: 99%

Safety analysis integration in a SysML-based complex system design process

Mhenni

Nguyen

Kadima

et al. 2013

2013 IEEE International Systems Conference (SysCon)

View full text Add to dashboard Cite

show abstract

“…Mhenni et al [2,8,12,22] provide exhaustive research and various approaches to link SysML modeling and safety analyses. They build on the previously described research of Cressent et al and present a similar approach for the semiautomatic generation of a preliminary functional FMEA report [12].…”

Section: ) Sysml-modeling As Basis For Hazard Analysismentioning

confidence: 99%

“…They build on the previously described research of Cressent et al and present a similar approach for the semiautomatic generation of a preliminary functional FMEA report [12]. They extract functions from UC, AD, BDD and IBD and identify their potential failure modes.…”

Section: ) Sysml-modeling As Basis For Hazard Analysismentioning

confidence: 99%

See 1 more Smart Citation

The hazard analysis profile: Linking safety analysis and SysML

Müller

Roth

Lindemann

2016

2016 Annual IEEE Systems Conference (SysCon)

View full text Add to dashboard Cite

To handle stricter safety regulations combined with increasing complexity and shorter development cycles, it is necessary to consider safety aspects starting from the early phases of design. This paper presents an approach to link methods of safety analysis and modeling (SysML). Even though SysML and MBSE are common in the early stages of system design, there is a lack of methods integrating model-based design activities and safety analyses. Existing approaches either focus on particular tasks or build models after conducting separate safety analyses. Our presented approach, tailored to early stages of system design, introduces a "Hazard Analysis" SysML profile accompanied by a procedure for its application within a model-based safety analysis. It provides a preliminary hazard analysis and facilitates the systematic identification of safety-critical functions and components.

show abstract

Integration of systems design and risk management through model‐based systems development

Uludag

Evin

Gürbüz³

2022

Systems Engineering

View full text Add to dashboard Cite

Model‐based systems engineering is a powerful methodology to develop safety‐critical systems. The use of the system model as a single source of truth for risk and dependability analysis results in a consistent and complete assessment. Besides, representation and logging of the assessment within the model result in a complete and up‐to‐date single source of information that can be used during the device certification as well. This paper aims to provide a comprehensive risk management SysML profile that includes interconnected safety analysis [functional hazard assessment (FHA), fault tree, and failure mode and effect analysis (FTA, FMEA)], control measure, and evaluation model elements in compliance with the medical standards. Model‐based risk assessment of a point‐of‐care diagnostic device for sepsis has been shown as a case study to show the implementation of the profile. This device is a standalone unit and the test results obtained directly affect the patient. Therefore, both the top‐down (FHA and FTA) and bottom‐up (FMEA) safety assessment methods have been used. Another objective of the study is to define a systematic and holistic method to perform fault tree analysis, not only from the system architecture models but also from the functional, activity, and sequence diagrams of the system model.

show abstract

SysML and safety analysis for mechatronic systems

Cited by 19 publications

References 7 publications

Safety analysis integration in a SysML-based complex system design process

Safety analysis integration in a SysML-based complex system design process

The hazard analysis profile: Linking safety analysis and SysML

Integration of systems design and risk management through model‐based systems development

Contact Info

Product

Resources

About