Safety Analyzes of Mechatronics Systems: a Case Study

In this article, we present a safety analysis of the case study " Landing Gear " proposed recently by Bonniol and Wiels. This case study mixes both physical (hardware) elements and control (software) elements and is representative of a large class of mechatronics systems. For this analysis, we used AltaRica 3.0 as modeling language and stochastic simulation as analysis tool. This experience sketches a methodology to assess the effects of hazards, failures and uncertainties in mechatronics systems.

[1]  Paolo Ballarini,et al.  HASL: A new approach for performance evaluation and model checking from concepts to experimentation , 2015, Perform. Evaluation.

[2]  Frank Ortmeier,et al.  Unifying Probabilistic and Traditional Formal Model Based Analysis , 2012, MBEES.

[3]  Ernest J. Henley,et al.  Reliability engineering and risk assessment , 1981 .

[4]  A B Rauzy,et al.  Guarded transition systems: A new states/events formalism for reliability studies , 2008 .

[5]  Antoine Rauzy,et al.  System Structure Modeling Language (S2ML) , 2015 .

[6]  Leslie G. Valiant,et al.  The Complexity of Enumeration and Reliability Problems , 1979, SIAM J. Comput..

[7]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[8]  Enrico Zio,et al.  The Monte Carlo Simulation Method for System Reliability and Risk Analysis , 2012 .

[9]  Armin Zimmermann,et al.  Stochastic Discrete Event Systems: Modeling, Evaluation, Applications , 2007 .

[10]  Klaus-Dieter Schewe,et al.  ABZ 2014: The Landing Gear Case Study , 2014, Communications in Computer and Information Science.

[11]  Antoine Rauzy,et al.  The AltaRica 3.0 project for model-based safety assessment , 2013, 2013 11th IEEE International Conference on Industrial Informatics (INDIN).

[12]  Tatiana Prosvirnova,et al.  AltaRica 3.0: a Model-Based approach for Safety Analyses. (AltaRica 3.0 : une appoche orientée modèles pour la Sûreté de Fonctionnement) , 2014 .

[13]  A Rauzy,et al.  Stochastic simulation of AltaRica 3.0 models , 2013 .

[14]  J A Hanley,et al.  If nothing goes wrong, is everything all right? Interpreting zero numerators. , 1983, JAMA.

[15]  Antero Taivalsaari,et al.  Prototype-based programming : concepts, languages, and applications , 1999 .

[16]  Pierre-Yves Piriou.  Contribution à l'analyse de sûreté de fonctionnement basée sur les modèles des systèmes dynamiques, réparables et reconfigurables , 2015 .

[17]  Wang Yi,et al.  UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.

[18]  Eric R. Ziegel,et al.  System Reliability Theory: Models, Statistical Methods, and Applications , 2004, Technometrics.