The AltaRica 3.0 project for model-based safety assessment

IEEE International Conference on Industrial Informatics (INDIN)

Volumn , Issue , 2013, Pages 741-746

  Batteux, Michel ^a   Prosvirnova, Tatiana ^a   Rauzy, Antoine ^a   Kloul, Leïla ^b  

^a ÉCOLE POLYTECHNIQUE   (France)

^b UNIVERSITY OF VERSAILLES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ASSESSMENT TOOL; EXPRESSIVE POWER; HIGH-LEVEL MODELING; MODEL-BASED SAFETY ASSESSMENTS; RELIABILITY INDICATORS; SAFETY ANALYSIS; UNDERSPECIFICATION; VIRTUAL EXPERIMENTS;

ALGORITHMS; INFORMATION SCIENCE; MARKOV PROCESSES; SPECIFICATIONS; VIRTUAL REALITY;

TOOLS;

EID: 84888993401     PISSN: 19354576     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2013.6622976     Document Type: Conference Paper

References (22)

1. A.Rauzy, "Modes automata and their compilation into fault trees," Reliability Engineering and System Safety, vol.78, pp.1-12, 2002.
2. M.Boiteau, Y.Dutuit, A.Rauzy, and J.-P.Signoret, "The altarica data-flow language in use: Assessment of production availability of a multistates system," Reliability Engineering and System Safety, vol.91, pp.747-755, 2006.
3. R.Bernard, J.-J.Aubert, P.Bieber, C.Merlini, and S.Metge, "Experiments in model-based safety analysis: flight controls," in Proceedings of IFAC workshop on Dependable Control of Discrete Systems, Cachan, 2007.
4. P.Bieber, J.-P.Blanquart, G.Durrieu, D.Lesens, J.Lucotte, F.Tardy, M.Turin, C.Seguin, and E.Conquet, "Integration of formal fault analysis in assert: Case studies and lessons learnt," in Proceedings of 4th European Congress Embedded Real Time Software, ERTS 2008, Toulouse (France), January 2008.
5. X.Quayzin and E.Arbaretier, "Performance modeling of a surveillance mission," in European Safety and Reliability Conference, ESREL 2009, Praha (Czech Republic), September 2009.
6. R.Bernard, S.Metge, F.Pouzolz, P.Bieber, A.Griffault, and M.Zeitoun, "Altarica refinement for heterogeneous granularity model analysis," in Actes du congrès Lambda-Mu'16, Avignon (France), October 2008.
7. A.Rauzy, "Guarded transition systems: a new states/events formalism for reliability studies," Journal of Risk and Reliability, vol.222, no.4, pp.495-505, 2008.
8. T.Prosvirnova and A.Rauzy, "Guarded transition systems: Pivot modelling formalism for safety analysis," in Actes du Congrès Lambda-Mu 18, J.Barbet, Ed., Octobre 2012.
9. P.Feiler and A.Rugina, "Dependability modeling with the architecture analysis &design language (aadl)," Carnegie Mellon University, Tech.Rep., 2007.
10. A.Pasquini, Y.Papadopoulos, and J.McDermid, "Hierarchically performed hazard origin and propagation studies," Computer Safety, Reliability and Security, vol.1698 of LNCS, pp.688-688, 1999.
11. S.Bernardi, S.Donatelli, and J.Merseguer, "From uml sequence diagrams and statecharts to analyzable petri net models," in In Proceedings of the Third International Workshop on Software on Performance, 2002.
12. P.David, V.Idasiak, and F.Kratz, "Reliability study of complex physical systems using sysml," pp.431-450, 2010.
13. M.Bouissou, H.Bouhadana, M.Bannelier, and N.Villatte, "Knowledge modelling and reliability processing: presentation of the figaro modelling language and associated tools," in Proceedings of Safecomp'91, 1991.
14. M.Bouissou, "Automated dependability analysis of complex systems with the kb3 workbench: the experience of edf r&d," in Proceedings of the International Conference on Energy and Environment, 2005.
15. M.Güdemann and F.Ortmeier, "A framework for qualitative and quantitative model-based safety analysis," in Proceedings of 12th High Assurance System Engineering Symposium, 2010, p.132-S141.
16. P.Fritzson, Principles of Object-Oriented Modeling and Simulation with Modelica 2.1.John Wiley &Sons Inc, 2004.
17. P.R.N.Halbwachs, P.Caspi and D.Pilaud, "The synchronous dataflow programming language lustre," Proceedings of the IEEE, vol.79, no.9, pp.1305-1320, 1991.
18. P.Feiler, D.Gluch, and J.Hudak, "The architecture analysis &design language (aadl): An introduction," Carnegie Mellon University, Tech.Rep., 2006.
19. J.Noble, A.Taivalsaari, and I.Moore, Prototype-Based Programming: Concepts, Languages and Applications.Springer-Verlag, 1999.
20. M.Hibti, T.Friedlhuber, and A.Rauzy, "Overview of the open psa platform," in Proceedings of International Joint Conference PSAM'11/ESREL'12, R.Virolainen, Ed., June 2012.
21. A.Rauzy, "Anatomy of an efficient fault tree assessment engine," in Proceedings of International Joint Conference PSAM'11/ESREL'12, R.Virolainen, Ed., June 2012.
22. B.Perrot, T.Prosvirnova, A.Rauzy, J.-P.S.d'Izarn, and R.Schoening, "Expériences de couplages de modèles AltaRica avec des interfaces métiers," in Actes du congrès LambdaMu'17 (actes électroniques), E.Fadier, Ed.IMdR, October 2010.