A Model Based Approach for Safety Analysis

Belmonte, Fabien; Soubiran, Elie

doi:10.1007/978-3-642-33675-1_5

Cited by 17 publications

(11 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…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

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

show abstract

“…Elle permet de raisonner à un niveau d'abstraction plus élevé pour les concepteurs (utilisateurs de modèles). Quelques travaux présentent la construction de passerelles [2], [3], [4], [5], [6], entre expertises (transformation de modèles [7]), exploités à une étape spécifique des processus. Elles permettent une mise en cohérence des modèles, cependant elles ne garantissent ni d'échange ni de coopération sur les activités communes.…”

Section: Problématiqueunclassified

Synchronisation des modèles d'architecture et d'analyse de risques : quel gain, comment et pourquoi ?

Legendre¹,

Lanusse²,

Rauzy³

2016

Congrès Lambda Mu 20 De Maîtrise Des Risques Et De Sûreté De Fonctionnement

View full text Add to dashboard Cite

Nous avons observé un besoin de moyens collaboratifs entre les expertises métiers au plus tôt dans les processus, notamment entre la conception d'architectures système et les évaluations de la sûreté de fonctionnement. Dans cet article, nous introduisons des concepts et des outils conceptuels qui visent à améliorer la cohérence entre les modèles et permettent un raffinement des modèles utilisés. Notre approche est illustrée ici sur un système embarqué dans un hélicoptère de combat.

show abstract

“…So in this approach, SysML is not extended with a safety profile in order to tune the SysML models. In a more recent work [3], a translation from Obeo Designer's Domain Specific Language for FMEA (Failure Mode and Effects Analysis) and PHA (Preliminary Hazard Analysis) into AltaRica is added to enable formal verification. However, no real system has been studied yet in order to prove the scalability of the method.…”

Section: Related Workmentioning

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

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

A Model Based Approach for Safety Analysis

Cited by 17 publications

References 0 publications

Model-Based Fault Analysis for Railway Traction Systems

Model-Based Fault Analysis for Railway Traction Systems

Synchronisation des modèles d'architecture et d'analyse de risques : quel gain, comment et pourquoi ?

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

Contact Info

Product

Resources

About