Safety analysis of train control system based on model-driven design methodology

Baouya, Abdelhakim; Mohamed, Otmane Aït; Bennouar, Djamal; Ouchani, Samir

doi:10.1016/j.compind.2018.10.007

Cited by 12 publications

(8 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Structural diagrams (class and package diagrams) are used to model the organic architecture, while use case, sequence and activity diagrams are used to model behavioral scenarios. Architecture description languages that specifically support the design stage also exist; one example is the Architecture Analysis and Description Language (AADL) [17], a standard of the Society of Automotive Engineers (SAE) initially designed for avionics, used for designing and analyzing the architecture of embedded systems including space [18], train control [19], medical devices [20] [21] or automotive [22]. Some architecture description languages are domain-specific.…”

Section: Model-based Systems and Software Engineeringmentioning

confidence: 99%

Model-driven engineering to ensure automotive embedded software safety. Methodological proposal and case study

Sirgabsou

Baron

Pahun

et al. 2022

Computers in Industry

View full text Add to dashboard Cite

Section: Model-based Systems and Software Engineeringmentioning

confidence: 99%

Model-driven engineering to ensure automotive embedded software safety. Methodological proposal and case study

Sirgabsou

Baron

Pahun

et al. 2022

Computers in Industry

View full text Add to dashboard Cite

“…Baouya et al 49 . presented a methodology for the safety analysis and design of the train control system.…”

Section: Cluster III (Based On System [S/w and H/w] Failures)mentioning

confidence: 99%

Safety analysis of safety‐critical systems for their applicability on NPP systems: A state‐of‐the‐art review

Kumar

Maurya

Singh

et al. 2021

Quality & Reliability Eng

View full text Add to dashboard Cite

Since any risk in the safety‐critical systems (SCSs) might lead to a terrible disaster, the utmost quality attribute of these systems is safety. Researchers are putting their efforts to ensure the safety of such systems. This paper summarizes the state‐of‐the‐art in the area of the safety attribute of such critical systems. The in depth literature survey is performed to explore the several methods/models used for safety analysis of the SCS. The limitations of such methods are also shown regarding their applicability in SCS of the nuclear power plant (NPP). We also propose a framework to perform safety analysis, which can deal with these limitations and demonstrated the approach on a case study of NPP. Further, the direction for future work is advised to extend the further scope of research based on the case study.

show abstract

“…as shown in equation set (22), and then solving equation set (22), obtaining c = 1, a = 0.56. Then, based on Equation ( 7), obtaining S p (2) = 0.64,S p (3) = 0.31,S p (4) = 0.17.…”

Section: Potential Severitymentioning

confidence: 99%

“…Baouya, A. [22] presented AADL based on model-driven specification and probabilistic model checking to automatically analyze safety-based availability before synthesizing the embedded software product. John McDermid's team at the University of York in the United Kingdom proposed the theory and analysis techniques of safety case [23][24][25][26] to confirm that the system reaches an acceptable level of safety by establishing a correlation between safety requirements and safety evidence.…”

Section: Introductionmentioning

confidence: 99%

A Novel Risk Assessment and Analysis Method for Correlation in a Complex System Based on Multi-Dimensional Theory

Jiang¹,

Zhao²,

Wang³

et al. 2020

Applied Sciences

View full text Add to dashboard Cite

With the rapid development of high integrations in large complex systems, such as aircraft, satellite, and railway systems, due to the increasingly complex coupling relationship between components within the system, local disturbances or faults may cause global effects on the system by fault propagation. Therefore, there are new challenges in safety analysis and risk assessment for complex systems. Aiming at analyzing and evaluating the inherent risks of the complex system with coupling correlation characteristics objectively, this paper proposes a novel risk assessment and analysis method for correlation in complex system based on multi-dimensional theory. Firstly, the formal description and coupling degree analysis method of the hierarchical structure of complex systems is established. Moreover, considering the three safety risk factors of fault propagation probability, potential severity, and fault propagation time, a multi-dimensional safety risk theory is proposed, in order to evaluate the risk of each element within the system effecting on the overall system. Furthermore, critical safety elements are identified based on Pareto rules, As Low As Reasonably Practicable (ALARP) principles, and safety risk entropy to support the preventive measures. Finally, an application of an avionics system is provided to demonstrate the effectiveness of the proposed method.

show abstract

Safety analysis of train control system based on model-driven design methodology

Cited by 12 publications

References 17 publications

Model-driven engineering to ensure automotive embedded software safety. Methodological proposal and case study

Model-driven engineering to ensure automotive embedded software safety. Methodological proposal and case study

Safety analysis of safety‐critical systems for their applicability on NPP systems: A state‐of‐the‐art review

A Novel Risk Assessment and Analysis Method for Correlation in a Complex System Based on Multi-Dimensional Theory

Contact Info

Product

Resources

About