Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice

Zeller, Marc; Ratiu, Daniel; Hoefig, Kai P.

doi:10.1007/978-3-319-45480-1_26

Cited by 3 publications

(4 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This paper developed a transformation method based on propositional logic and probability theory to allow control flows modeled in UML Activities to be transformed into semantically equivalent Fault Trees. The developed method aligns with current industrial practices in early stage system assurance [9] and advances existing approaches in terms of accommodating system model availability [2], [3] and incorporated mathematical rigor [22], [24]. We introduced a new concept, FPC, as an intermediate step, to facilitate the transformation method.…”

Section: Discussionmentioning

confidence: 94%

See 1 more Smart Citation

A Formal Transformation Method for Automated Fault Tree Generation From a UML Activity Model

Dickerson

Roslan

2018

IEEE Trans. Rel.

View full text Add to dashboard Cite

Fault analysis and resolution of faults should be part of any end-to-end system development process. This paper is concerned with developing a formal transformation method that maps control flows modeled in UML Activities to semantically equivalent Fault Trees. The transformation method developed features the use of propositional calculus and probability theory. Fault Propagation Chains are introduced to facilitate the transformation method. An overarching metamodel comprised of transformations between models is developed and is applied to an understood Traffic Management System of Systems problem to demonstrate the approach. In this way, the relational structure of the system behavior model is reflected in the structure of the Fault Tree. The paper concludes with a discussion of limitations of the transformation method and proposes approaches to extend it to object flows, State Machines and functional allocations.

show abstract

Section: Discussionmentioning

confidence: 94%

“…Much more recently, Model-based Systems Engineering (MBSE), a rapidly growing field originated from defense and aerospace, has attracted attention from the reliability and safety community [9], [10], [11]. In MBSE, modeling techniques and languages have been developed to model complex systems and System of Systems (SoS).…”

Section: Introductionmentioning

confidence: 99%

A Formal Transformation Method for Automated Fault Tree Generation From a UML Activity Model

Dickerson

Roslan

2018

IEEE Trans. Rel.

View full text Add to dashboard Cite

show abstract

“…A recent paper [8] discusses current practices in industry working with SCS, analyzing the SCS challenges and the benefits of MDE to tackle such challenges at Siemens. The challenges discussed are: building and maintaining SA throughout the development life cycle, accommodating for changes of the system while maintaining the traceability with SA artifacts; SA artifacts reuse; and SA automation.…”

Section: Related Workmentioning

confidence: 99%

Automatic Derivation of Fault Tree Models from SysML Models for Safety Analysis

Al-Shboul¹,

Petriu²

2018

JSEA

View full text Add to dashboard Cite

Safety Critical Systems (SCS) are those systems that may cause harm to the user(s) and/or the environment if operating outside of their prescribed specifications. Such systems are used in a wide variety of domains, such as aerospace, automotive, railway transportation and healthcare. In this paper, we propose an approach to integrate safety analysis of SCSs within the Model Driven Engineering (MDE) system development process. The approach is based on model transformation and uses standard well-known techniques and open source tools for the modeling and analysis of SCSs. More specifically, the system modeled with the OMG's standard systems modeling language, SysML, is automatically transformed in Fault Tree (FT) models, that can be analyzed with existing FT tools. The proposed model transformation takes place in two steps: a) generate FTs at the component level, in order to tackle complexity and enable reuse; and b) generate system level FTs by composing the components and their FTs. The approach is illustrated by applying it to a simplified industry-inspired case study.

show abstract

“…We claim that, like MBSE can been used [20] to tackle traceability and consistency problems during development, the MBSA offers a suitable environment to produce consistent and traceable safety analyses for complex systems.…”

Section: Introductionmentioning

confidence: 99%

Tiered Model-Based Safety Assessment

Delmas¹,

Seguin²,

Bieber³

2019

Model-Based Safety and Assessment

View full text Add to dashboard Cite

Processes and techniques used for assessing the safety of a complex system are well-addressed by safety standards. These standards usually recommend to decompose the assessment process into different stages of analysis, so called tiered safety assessment. Each analysis stage should be performed by applying recommended assessment techniques. To provide confidence in the correctness of the whole analysis, some verification techniques, usually traceability checking, are applied between two stages. Even if the traceability provides some confidence in the correctness of the decomposition, the following problems remains How to model the system behaviours at each stage of safety assessment? How to efficiently use these stages during the design process? What is the formal relationship between these modelling stages? To tackle these problems, we propose a way to specify, formalize and implement the relations between assessment stages. The proposal and its pros & cons are illustrated on a Remotely Piloted Aircraft System (RPAS) use-case.

show abstract

Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice

Cited by 3 publications

References 20 publications

A Formal Transformation Method for Automated Fault Tree Generation From a UML Activity Model

A Formal Transformation Method for Automated Fault Tree Generation From a UML Activity Model

Automatic Derivation of Fault Tree Models from SysML Models for Safety Analysis

Tiered Model-Based Safety Assessment

Contact Info

Product

Resources

About