Performing Safety Analyses with AADL and AltaRica - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Julien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage. Performing Safety Analyses with AADL and AltaRica. In Marco Bozzano, Yiannis Papadopoulos, editors, Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings. Volume 10437 of Lecture Notes in Computer Science, pages 67-81, Springer, 2017. [doi]

The following publications are possibly variants of this publication:

Comparison of modeling formalisms for Safety Analyses: SAML and AltaRicaMichael Lipaczewski, Frank Ortmeier, Tatiana Prosvirnova, Antoine Rauzy, Simon Struck. ress, 140:191-199, 2015. [doi]

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)Tatiana Prosvirnova. PhD thesis, École Polytechnique, Palaiseau, France, 2014. [doi]

Safety assessment with AltaRicaPierre Bieber, Christian Bougnol, Charles Castel, Jean-Pierre Heckmann, Christophe Kehren, Sylvain Metge, Christel Seguin. ifip 2004: 505-510

runs on WebDSL