Accéder directement au contenu

Tatiana Prosvirnova

23
Documents

Présentation

Tatiana Prosvirnova currently works as a research engineer at ONERA (Toulouse, France). Tatiana Prosvirnova has a PhD in computer science. She is graduated from Ecole Polytechnique. She has M.S of Science of Ecole Polytechnique in Systems Engineering. She has been working as a software developer at Dassault Systemes (the largest French software editor) for three years. Her research interests are model based safety assessment, systems engineering, formal methods, software development, system architecture modeling and model synchronization. She is a founding member of the [AltaRica Association](http://altarica-association.org/).

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

AltaRica 3.0 in 10 Modeling Patterns

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
International Journal of Critical Computer-Based Systems, 2019, 9 (1-2), pp.133-165
Article dans une revue hal-03792007v1
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-03791088v1

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
Communication dans un congrès hal-03429225v1

Benefits of graphical animation of advanced AltaRica 3.0 models

Michel Batteux , Mokhtar Walid Bennaceur , Tatiana Prosvirnova , Antoine Rauzy
Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France
Communication dans un congrès hal-03429734v1

AltaRica 3.0 modeling pattern for production systems availability assessment

Michel Batteux , Mokhtar Walid Bennaceur , Tatiana Prosvirnova , Antoine Rauzy
Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France
Communication dans un congrès hal-03429737v1
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, Thessaloniki, Greece. ⟨10.1007/978-3-030-32872-6_11⟩
Communication dans un congrès hal-02357381v1
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, Edinbourg, United Kingdom. ⟨10.1109/ISSE46696.2019.8984515⟩
Communication dans un congrès hal-02357379v1
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, Thessaloniki, Greece. ⟨10.1007/978-3-030-32872-6_3⟩
Communication dans un congrès hal-02357383v1
Image document

Synchronization of system architecture, multi-physics and safety models

Michel Batteux , Jean-Yves Choley , Faida Mhenni , Luca Palladino , Tatiana Prosvirnova
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
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-01945932v1
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-01826645v1
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-02063653v1
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-01826656v1
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-01885900v1
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-01945908v1
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-02063641v1
Image document

Performing Safety Analyses with AADL and AltaRica

Julien Brunel , Peter Feiler , Jérôme Hugues , Bruce Lewis , Tatiana Prosvirnova
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
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-01731393v1
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-01789438v1
Image document

The AltaRica 3.0 Project for Model-Based Safety Assessment

Tatiana Prosvirnova , Michel Batteux , Pierre-Antoine Brameret , Abraham Cherfi , Thomas Friedlhuber
4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013, Sep 2013, York, United Kingdom
Communication dans un congrès hal-01789435v1
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-01119730v2