Tatiana Prosvirnova

26
Documents

Présentation

Publications

Publications

Deposit thumbnail

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-03791998v1

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-03792007v1
Deposit thumbnail

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-04766750v1
Deposit thumbnail

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-04766047v1
Deposit thumbnail

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-04766763v1
Deposit thumbnail

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-03791088v1

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-03429734v1

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-03429225v1

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-03429737v1
Deposit thumbnail

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-02357379v1
Deposit thumbnail

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-02357383v1
Deposit thumbnail

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-02433834v1
Deposit thumbnail

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-02357381v1
Deposit thumbnail

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-01945932v1
Deposit thumbnail

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-01826656v1
Deposit thumbnail

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-01826645v1
Deposit thumbnail

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-02063653v1
Deposit thumbnail

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-01885900v1
Deposit thumbnail

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-01945908v1
Deposit thumbnail

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-02063641v1
Deposit thumbnail

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-01731393v1
Deposit thumbnail

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-01707373v1
Deposit thumbnail

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-01789438v1
Deposit thumbnail

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-01789435v1
Deposit thumbnail

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-01119730v2