A Framework for Model-Based Dependability Analysis of Cyber-Physical Systems

Adedjouma, Morayo; Yakymets, Nataliya

doi:10.1109/hase.2019.00022

Cited by 12 publications

(7 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The modeling and safety assessment framework of the OGI method is implemented in Sophia, a modelbased toolset integrated with Eclipse Papyrus editor for UML/SysML models [14]. Sophia uses Papyrus extension mechanisms to support safety and reliability analyses like HARA, FMEA, FTA.…”

Section: Ogi Methods Tool Support and Evaluationmentioning

confidence: 99%

Safe-by-Design Development Method for Artificial Intelligent Based Systems

Pedroza¹,

Adedjouma²

2019

International Conferences on Software Engineering and Knowledge Engineering

View full text Add to dashboard Cite

Albeit Artificial Intelligent (AI) based systems are nowadays deployed in a variety of safety critical domains, current engineering methods and standards are barely applicable for their development and assurance. The lack of common criteria to assess safety levels as well as the dependency of certain development phases w.r.t. the chosen technology (e.g., machine learning modules) are among the identified drawbacks. In addition, the development of such engineering methods has been hampered by the emerging challenges in AI-based systems design mainly regarding autonomy, correctness and prevention of catastrophic risks. In this paper we propose an approach to conduct a safeby-design development process for AI based systems. The approach relies upon a method which benefits from a reference AI architecture and safety principles. This contribution helps to address safety concerns and to comprehend current AI architectures diversity and particularities.

show abstract

Section: Ogi Methods Tool Support and Evaluationmentioning

confidence: 99%

Safe-by-Design Development Method for Artificial Intelligent Based Systems

Pedroza¹,

Adedjouma²

2019

International Conferences on Software Engineering and Knowledge Engineering

View full text Add to dashboard Cite

show abstract

“…Some research work on risk analysis and MBDA has implicated the use of BPMN, but only for visualisation purposes that is, methodological process modeling, not executable behavior modeling. 10,11 We then turn to Finite State Machines (FSMs) -otherwise called Finite State Automata (FSA). FSMs consist the simplest modeling description of Discrete Event Systems, by providing a graphical representation of finite relations between the constituting system states.…”

Section: First We Tackle the Business Process Model And Notation (Bpmn)mentioning

confidence: 99%

How to early integrate operational diagnosis objectives in model‐driven engineering processes: A methodological proposal based on fault and behavior trees

Christofi,

Baron,

Pucel

et al. 2023

Systems Engineering

View full text Add to dashboard Cite

To help operators perform their diagnosis tasks more efficiently, the authors put forward a novel methodology introducing a new type of model, dedicated to operations, co‐created in parallel with the design models, in the preliminary stages of system development, using the language semantics of behavior trees. In this paper, the authors present the need for this new model type as expressed by the industry and justify their choice for adopting behavior trees, while illustrating in detail the proposed methodology.

show abstract

“…In [52], a framework, called Sophia, is proposed that supports assurance of critical cyber physical systems using compositional model-based approaches. It helps to trace the developed analysis outcomes to the requirements in standards for compliance support by integrating models for supporting Process Hazard Analysis (PHA), FMEA, and Fault Tree Analysis (FTA) at the design stage.…”

Section: Tracing and Verificationmentioning

confidence: 99%

Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica

et al. 2021

View full text Add to dashboard Cite

The increasing complexity of cyber-physical systems (CPSs) makes their design, development and operation extremely challenging. Due to the nature of CPS that involves many heterogeneous components, which are often designed and developed by organizations belonging to different engineering domains, it is difficult to manage, trace and verify their properties, requirements and constraints throughout their lifecycle by using classical techniques. In this context, the paper presents an integrated solution to formally define system requirements and automate their verification through simulation. The solution is based on the FOrmal Requirements Modeling Language and the Modelica language. The solution is exemplified through two case studies concerning a Trailing-Edge High-Lift system and a Heating, Ventilation and Air Conditioning system.

show abstract

A Framework for Model-Based Dependability Analysis of Cyber-Physical Systems

Cited by 12 publications

References 16 publications

Safe-by-Design Development Method for Artificial Intelligent Based Systems

Safe-by-Design Development Method for Artificial Intelligent Based Systems

How to early integrate operational diagnosis objectives in model‐driven engineering processes: A methodological proposal based on fault and behavior trees

Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica

Contact Info

Product

Resources

About