Tatiana Prosvirnova

26
Documents

Présentation

Publications

Publications

Image document

Abstract Executions of Stochastic Discrete Event Systems

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
International Journal of Critical Computer-Based Systems, 2022, 10 (3), pp.202-226. ⟨10.1504/IJCCBS.2022.121363⟩
Article dans une revue hal-03791998 v1

AltaRica 3.0 in ten modelling patterns

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
International Journal of Critical Computer-Based Systems, 2019, 9 (1-2), pp.133-165. ⟨10.1504/IJCCBS.2019.098809⟩
Article dans une revue hal-03792007 v1
Image document

Preliminary safety assessment of a distributed propulsion electrical system

Tatiana Prosvirnova , Pierre Bieber , Christel Seguin
Lambda Mu 24 LES MÉTIERS DU RISQUE : CLÉS DE LA RÉINDUSTRIALISATION ET DE LA TRANSITION ÉCOLOGIQUE, Institut pour la Maîtrise du Risque, Oct 2024, Bourges, France
Communication dans un congrès hal-04766047 v1
Image document

AltaRica Wizard : un environnement de modélisation et de simulation pour l'analyse de systèmes d'équations Booléennes stochastiques

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
Congrès Lambda Mu 24 "Les métiers du risque : clés de la réindustrialisation et de la transition écologique", Institut pour la Maîtrise des Risques, Oct 2024, Bourges, France
Communication dans un congrès hal-04766763 v1
Image document

Automatic generation of stochastic Boolean equations from AltaRica 3.0 models: towards a better readability of generated models

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
Congrès Lambda Mu 24 "Les métiers du risque : clés de la réindustrialisation et de la transition écologique", Institut pour la Maîtrise des Risques, Oct 2024, Bourges, France
Communication dans un congrès hal-04766750 v1
Image document

Performance assessment of an offshore windmill farm with AltaRica 3.0

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
International Symposium on Model Based Safety Assessment, IMBSA 2022, Sep 2022, Munich, Germany. ⟨10.1007/978-3-031-15842-1_10⟩
Communication dans un congrès hal-03791088 v1

Efficient Modeling of large Markov chains models with AltaRica 3.0

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France. pp.864-871, ⟨10.3850/978-981-18-2016-8_671-cd⟩
Communication dans un congrès hal-03429225 v1

Benefits of graphical animation of advanced AltaRica 3.0 models

Michel Batteux , Walid Bennaceur , Tatiana Prosvirnova , Antoine Rauzy
Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France. pp.1394-1401, ⟨10.3850/978-981-18-2016-8_682-cd⟩
Communication dans un congrès hal-03429734 v1

AltaRica 3.0 modeling pattern for production systems availability assessment

Michel Batteux , Walid Bennaceur , Tatiana Prosvirnova , Antoine Rauzy
Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France. pp.872-879, ⟨10.3850/978-981-18-2016-8_680-cd⟩
Communication dans un congrès hal-03429737 v1
Image document

Model synchronization: a formal framework for the management of heterogeneous models

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
International Symposium on Model Based Safety Assessment, IMBSA 2019, Oct 2019, Thessalonique, Greece. ⟨10.1007/978-3-030-32872-6_11⟩
Communication dans un congrès hal-02357381 v1
Image document

Synchronization of System Architecture and Safety Models: a Proof of Concept

Michel Batteux , Jean-Yves Choley , Faida Mhenni , Tatiana Prosvirnova , Antoine Rauzy
IEEE International Symposium on Systems Engineering, ISSE 2019, Oct 2019, Edimbourg, United Kingdom. ⟨10.1109/ISSE46696.2019.8984515⟩
Communication dans un congrès hal-02357379 v1
Image document

Modeling patterns for the assessment of maintenance policies with AltaRica 3.0

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
International Symposium on Model Based Safety Assessment, IMBSA 2019, Oct 2019, Thessalonique, Greece. ⟨10.1007/978-3-030-32872-6_3⟩
Communication dans un congrès hal-02357383 v1
Image document

Synchronization of system architecture, multi-physics and safety models

Michel Batteux , Jean-Yves Choley , Faida Mhenni , Luca Palladino , Tatiana Prosvirnova et al.
Proceedings of the Tenth International Conference on Complex Systems Design & Management, CSD&M 2019, Dec 2019, Paris, France
Communication dans un congrès hal-02433834 v1
Image document

From Models of Structures to Structures of Models

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
4th IEEE International Symposium on Systems Engineering, Oct 2018, Rome, Italy
Communication dans un congrès hal-01885900 v1
Image document

ALTARICA WIZARD: AN INTEGRATED MODELING AND SIMULATION ENVIRONMENT FOR ALTARICA 3.0

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
Congrés Lambda Mu 21 « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
Communication dans un congrès hal-01945932 v1
Image document

Enhancement of the AltaRica 3.0 stepwise simulator by introducing an abstract notion of time

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
28th European Safety and Reliability Conference, ESREL 2018, Jun 2018, Trondheim, Norway
Communication dans un congrès hal-01826656 v1
Image document

Advances in the simplification of Fault Trees automatically generated from AltaRica 3.0 models

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
European Safety and Reliability Conference (ESREL 2018), Jun 2018, Trondheim, Norway. pp.907-914
Communication dans un congrès hal-01826645 v1
Image document

Introduction d'une notion de temps abstrait pour la simulation des modèles AltaRica 3.0

Michel Batteux , Antoine Rauzy , Tatiana Prosvirnova
Congrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
Communication dans un congrès hal-02063653 v1
Image document

Reliability assessment of phased-mission systems with AltaRica 3.0

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy , Liu Yang
3rd International Conference on System Reliability and Safety (ICSRS 2018), Nov 2018, Barcelone, Spain
Communication dans un congrès hal-01945908 v1
Image document

Schemas de modelisation de politiques de maintenance de composants en Altarica 3.0

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
Congrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
Communication dans un congrès hal-02063641 v1
Image document

Handling consistency between safety and system models

Tatiana Prosvirnova , Estelle Saez , Christel Seguin , Pierre Virelizier
IMBSA 2017 (International Symposium on Model-Based and Assessment), Sep 2017, Trento, Italy. pp. 19-34, ⟨10.1007/978-3-319-64119-5_2⟩
Communication dans un congrès hal-01731393 v1
Image document

Performing Safety Analyses with AADL and AltaRica

Julien Brunel , Peter Feiler , Jérôme Hugues , Bruce Lewis , Tatiana Prosvirnova et al.
The 5th International Symposium on Model Based Safety Assessment (IMBSA 2017), Sep 2017, Trento, Italy. pp. 67-81, ⟨10.1007/978-3-319-64119-5_5⟩
Communication dans un congrès hal-01707373 v1
Image document

Safety Assessment of an Electrical System with AltaRica 3.0

Hala Mortada , Tatiana Prosvirnova , Antoine Rauzy
4th International Symposium on Model-Based Safety Assessment, IMBSA 2014, Oct 2014, Munich, Germany
Communication dans un congrès hal-01789438 v1
Image document

The AltaRica 3.0 Project for Model-Based Safety Assessment

Tatiana Prosvirnova , Michel Batteux , Pierre-Antoine Brameret , Abraham Cherfi , Thomas Friedlhuber et al.
4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013, Sep 2013, York, United Kingdom
Communication dans un congrès hal-01789435 v1
Image document

AltaRica 3.0: a Model-Based approach for Safety Analyses

Tatiana Prosvirnova
Computational Engineering, Finance, and Science [cs.CE]. Ecole Polytechnique, 2014. English. ⟨NNT : ⟩
Thèse tel-01119730 v2