Model-driven multi-level safety analysis of critical systems

Yakymets, Nataliya; Perin, Matthieu; Lanusse, Agnès

doi:10.1109/syscon.2015.7116812

Cited by 11 publications

(8 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A second implementation of a point of synchronization at architecture design level is underway. It encompasses system modeling with block diagrams (by SysML) and safety analyzes using AltaRica 3.0 [17] within Sophia framework [22] as an experimental test bench.…”

Section: Discussionmentioning

confidence: 99%

See 1 more Smart Citation

Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts

Legendre

Lanusse

Rauzy

2017

Model-Based Safety and Assessment

Self Cite

View full text Add to dashboard Cite

Classical organization in disciplinary silos in the industry reaches its limits to manage complexity: problems are discovered too late and the lack of communication between experts prevents the early emergence of solutions. This is why it is urgent to provide new collaborative methods and ways to integrate various engineering fields, early in and all along the development cycle. In this context, we are particularly interested in the possible exchanges between two engineering fields: system architecture design and safety analysis. The questions are: how can one ensure that the parties involved are speaking about the same system? And which concepts can synchronize several engineering fields? First we present a use case: a system embedded in a helicopter. Second we present the concepts that we define to implement synchronization of models. Finally we give our feedbacks, limits and related works.

show abstract

Section: Discussionmentioning

confidence: 99%

“…Some are trying to incorporate safety properties on system architecture viewpoints [13]. Others attempt to add safety properties on the architecture models to drive safety analysis [22], [7]. Technologies are based on properties annotations (profile for SysML [15], Error annex for AADL [8] or EAST-ADL [3], [5]).…”

Section: Related Workmentioning

confidence: 99%

Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts

Legendre

Lanusse

Rauzy

2017

Model-Based Safety and Assessment

Self Cite

View full text Add to dashboard Cite

show abstract

“…Several challenges and opportunities remain. Architecture frameworks offer many potential applications for safety [31,32] and formal verification techniques [30,35]. The challenges of safety and formal verification with <Q, R,T> remain to be solved.…”

Section: System Architecture Design Automation and Optimizationmentioning

confidence: 99%

Architecture frameworks, multiobjective optimization and multiphysics simulation: Challenges and opportunities

Hammami¹

2015

2015 Annual IEEE Systems Conference (SysCon) Proceedings

View full text Add to dashboard Cite

System architecture design have been proved to be NP-Hard. With regard to this theoretical complexity the general problem to be solved is to achieve a target model quality Q under resources R and time T constraints. The general optimization problem is a multiobjective problem where no global optimum exists. This problem implies several optimization problems , multicriteria scheduling under resource constraints, deterministic bilevel problems and multistage stochastic optimization problems.All problems require architecture evaluation and multilevel simulation is used. We describe the overall process SADA based on these principles.

show abstract

“…However, existing approaches either use the SysML models as basis for traditional safety analyses (such as [13,14]), use additional tools and modeling languages (e.g. [11,15]) or are focused on specific tasks like requirements specification (e.g. [16]).…”

Section: Introductionmentioning

confidence: 99%

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

Model-driven multi-level safety analysis of critical systems

Cited by 11 publications

References 11 publications

Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts

Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts

Architecture frameworks, multiobjective optimization and multiphysics simulation: Challenges and opportunities

The hazard analysis profile: Linking safety analysis and SysML

Contact Info

Product

Resources

About