The AltaRica Association

• Home
• Events
• Products
• Board
• Contact

This page provides the visitor with a selection of three types of documents:

• tutorials, presentations and white papers, again on different scientific and technological domains of activity of the association;
• Scientific publications on different domains of activity of the association;
• Technical documents, such as language specifications and user's manuals.

Presentations, Tutorials, and White Papers

• "Step by step" tutorials.
• A snapshot of AltaRica.
• The slides of a tutorial on AltaRica given at the 2019 International Conference on Model-Based Safety Assessment, IMBSA'2019, Thessaloniki, Greece.
• The slides of a tutorial on S2ML.

Selected Scientific Publications

AltaRica

• AltaRica 3.0 in 10 Modeling Patterns
  Michel Batteux, Tatiana Prosvirnova, and Antoine Rauzy
  In International Journal of Critical Computer-Based Systems. Inderscience Publishers. Vol. 9, Num. 1–2, pp 133–165, 2019.
  doi: 10.1504/IJCCBS.2019.098809
  
• Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0
  Michel Batteux, Tatiana Prosvirnova, and Antoine Rauzy
  In Yiannis Papadopoulos and Koorosh Aslansefat and Panagiotis Katsaros and Marco Bozzano ed., Model-Based Safety and Assessment. Thessaloniki, Greece. Vol. 11842, pp 32–46, 2019.
  isbn: 978-3-030-32871-9
  
• AltaRica 3.0 Assertions: the Why and the Wherefore
  Michel Batteux, Tatiana Prosvirnova, and Antoine Rauzy
  In Journal of Risk and Reliability. Professional Engineering Publishing. Vol. 231, Num. 6, pp 691–-700, September, 2017.
  doi: 10.1177/1748006X17728209
  
• Automated generation of Minimal Cutsets from AltaRica 3.0 models
  Tatiana Prosvirnova, and Antoine Rauzy
  In International Journal of Critical Computer-Based Systems. Inderscience Publishers. Vol. 6, Num. 1, pp 50–79, 2015.
  doi: 10.1504/IJCCBS.2015.068852
  
• Automated generation of partial Markov chain from high level descriptions
  Pierre-Antoine Brameret, Antoine Rauzy, and Jean-Marc Roussel
  In Reliability Engineering and System Safety. Elsevier. Vol. 139, pp 179–187, July, 2015.
  doi: 10.1016/j.ress.2015.02.009
  
• Guarded Transition Systems: a new States/Events Formalism for Reliability Studies
  Antoine Rauzy
  In Journal of Risk and Reliability. Professional Engineering Publishing. Vol. 222, Num. 4, pp 495–505, 2008.
  doi: 10.1243/1748006XJRR177
  

S2ML

• Foundations for Model-Based Systems Engineering and Model-Based Safety Assessment
  Antoine Rauzy, and Cecilia Haskins
  In Journal of Systems Engineering. Wiley Online Library. Vol. 22, pp 146–155, 2019.
  doi: 10.1002/sys.21469
  
• From Models of Structures to Structures of Models
  Michel Batteux, Tatiana Prosvirnova, and Antoine Rauzy
  In IEEE International Symposium on Systems Engineering (ISSE 2018). Roma, Italy. October, 2018.
  doi: 10.1109/SysEng.2018.8544424
  

XFTA (Fault Trees and Related Models)

• Probabilistic Safety Analysis with XFTA
  Antoine Rauzy
  AltaRica Association. 2020.
  isbn: 978-82-692273-0-7
  
• Finite Degradation Structures
  Antoine Rauzy, and Liu Yang
  In Journal of Applied Logics – IfCoLog Journal of Logics and their Applications. College Publications. Vol. 6, Num. 7, pp 1471–1495, 2019.
  
• Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment
  Antoine Rauzy
  In Entropy. MDPI. Vol. 20, Num. 3, 2018.
  doi: 10.3390/e20030162
  
• Mathematical Foundation of Minimal Cutsets
  Antoine Rauzy
  In IEEE Transactions on Reliability. IEEE Reliability Society. Vol. 50, Num. 4, pp 389–396, december, 2001.
  doi: 10.1109/24.983400
  

Synchronization of Heterogeneous Models

• Model Synchronization: A Formal Framework for the Management of Heterogeneous Models
  Michel Batteux, Tatiana Prosvirnova, and Antoine Rauzy
  In Yiannis Papadopoulos and Koorosh Aslansefat and Panagiotis Katsaros and Marco Bozzano ed., Model-Based Safety and Assessment. Thessaloniki, Greece. Vol. 11842, pp 157–172, 2019.
  isbn: 978-3-030-32871-9
  
• Synchronization of system architecture, multi-physics and safety models
  Michel Batteux, Jean-Yves Choley, Faïda Mhenni, Luca Palladino, Tatiana Prosvirnova, Antoine Rauzy, and Maurice Théobald
  In Proceedings of the Complex Systems Design and Management international conference, CSDM 2019. Paris, France. 2019.
  doi: 10.1007/978-3-030-34843-4_4
  

Technical Documents

• The latest version of the specifications of the AltaRica 3.0 modeling language.