Integrated Application of Compositional and Behavioural Safety Analysis

Sharvia, Septavera; Papadopoulos, Yiannis

doi:10.1007/978-3-642-21393-9_14

Cited by 11 publications

(17 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This automated process receives a model of the system and one or more temporal logic formulas [14] representing the properties to be verified, and determines whether the system satisfies these properties or not, in which case a counter example (a path leading to undesired state) is generated to help the designer perform corrective design changes. The application of model checking in safety analysis has been studied in many researches [4], [5], [15], [22], [23] for safety requirements verification and/or automatic fault trees generation. Two different well known tools can be used for model checking: FSAP/NuSMV-SA and AltaRica.…”

Section: Related Workmentioning

confidence: 99%

“…These safety analyses are usually performed separately with independent tools. Consequently, they occur late in the design process when the design is already finalized and thus, miss the opportunity to influence design choices and decisions [23]. The purpose of this paper is to provide a methodology based on pertinent semi-formal and formal models to automate parts of the safety analysis process and, consequently, both reduce the cost and improve the quality of the system safety studies.…”

Section: Introductionmentioning

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: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

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

“…(2) HiP-HOPS: Hierarchically Performed Hazard Origin and Propagation Studies is integration of functional hazard analysis, FMEA and FTA, it synthetically assesses hierarchical description complex system [7] [8]. Hip-HOPS is a kind of method based on component interface.…”

Section: Safety Analysis Methods Based On Failure Propagation Modelmentioning

confidence: 99%

Failure Propagation Model Based for System Safety Analysis

Wang¹,

Zhao²,

Ren³

et al. 2017

dtetr

View full text Add to dashboard Cite

The traditional safety analysis methods focus more on the critical single equipment or the critical part. It is difficult to master the causal logic relationship between the failures, thereby limiting effectiveness of the methods. This paper establishes the system failure model based on the ideology of model-based system safety analysis, and identifies and analyzes the failure modes. We make the modeling and the analysis in view of the failure model. Finally, failure propagation model is analyzed for an application example. The results show the practicability of the method by analyzing. The achievements of this study provide the basis for the safety of system design, and have the important theoretical value and practical significance. INSTRUCTIONThe development of complex system is being more and more integrated, leading to the complexity of its structure, function, and communication. As a result, the system safety has become the key to the development of complex system. However, the complexity, dynamic and hybridity of the system are increasing dramatically, and bring about a challenge for safety analysis of the system.To be satisfied with the requirements, system safety analysis methods have witnessed continuous development. The existing safety analysis methods mainly divided into three categories: 1) event-based safety analysis method; 2) state-based safety analysis method; 3) safety analysis method based on failure propagation model. Even-based safety analysis method is taken the anomalies such as component fault and _____________

show abstract

“…The integration of systems engineering and safety analysis is addressed in many other research works [14][15][16]. Nowadays, the fault analysis is mainly performed using the tools described in the previous section.…”

Section: Limitationsmentioning

confidence: 99%

Model-Based Fault Analysis for Railway Traction Systems

Olmo¹,

Garramiola²,

Poza³

et al. 2018

Modern Railway Engineering

View full text Add to dashboard Cite

Fault analysis in industrial equipment has been usually performed using classical techniques such as failure modes and effects analysis (FMEA) and fault tree analysis (FTA). Model-based fault analysis has been used during the last several years in order to overcome the limitations of classical methods when complex industrial equipment has to be analyzed. In railway and automotive sectors, the development and validation of new products are based on hardware-in-the-loop (HIL) platforms. In this chapter, a methodology to enhance classical FMEAs is presented. Based on HIL simulations, the objective is to improve the results of the fault analysis with quantitative information about the effects of each fault mode. In this way, the impact of the fault analysis in the design of the traction system, the development of new diagnostic functionalities and in the maintenance tasks will increase.

show abstract

Integrated Application of Compositional and Behavioural Safety Analysis

Cited by 11 publications

References 26 publications

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

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

Failure Propagation Model Based for System Safety Analysis

Model-Based Fault Analysis for Railway Traction Systems

Contact Info

Product

Resources

About