Skip to Main content
Number of documents

17

Tatiana PROSVIRNOVA, Research Engineer at ONERA Toulouse


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.


Conference papers15 documents

  • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. Modeling patterns for the assessment of maintenance policies with AltaRica 3.0. International Symposium on Model Based Safety Assessment, IMBSA 2019, Oct 2019, Thessaloniki, Greece. ⟨10.1007/978-3-030-32872-6_3⟩. ⟨hal-02357383⟩
  • Michel Batteux, Jean-Yves Choley, Faida Mhenni, Tatiana Prosvirnova, Antoine Rauzy. Synchronization of System Architecture and Safety Models: a Proof of Concept. IEEE International Symposium on Systems Engineering, ISSE 2019, Oct 2019, Edinbourg, United Kingdom. ⟨hal-02357379⟩
  • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. Model synchronization: a formal framework for the management of heterogeneous models. International Symposium on Model Based Safety Assessment, IMBSA 2019, Oct 2019, Thessaloniki, Greece. ⟨10.1007/978-3-030-32872-6_11⟩. ⟨hal-02357381⟩
  • Michel Batteux, Jean-Yves Choley, Faida Mhenni, Luca Palladino, Tatiana Prosvirnova, et al.. Synchronization of system architecture, multi-physics and safety models. Proceedings of the Tenth International Conference on Complex Systems Design & Management, CSD&M 2019, Dec 2019, Paris, France. ⟨hal-02433834⟩
  • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. Schemas de modelisation de politiques de maintenance de composants en Altarica 3.0. Congrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France. ⟨hal-02063641⟩
  • Michel Batteux, Antoine Rauzy, Tatiana Prosvirnova. Introduction d'une notion de temps abstrait pour la simulation des modèles AltaRica 3.0. Congrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France. ⟨hal-02063653⟩
  • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. Enhancement of the AltaRica 3.0 stepwise simulator by introducing an abstract notion of time. 28th European Safety and Reliability Conference ESREL (ESREL 2018), Jun 2018, Trondheim, Norway. ⟨hal-01826656⟩
  • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. Advances in the simplification of Fault Trees automatically generated from AltaRica 3.0 models. European Safety and Reliability Conference (ESREL 2018), Jun 2018, Trondheim, Norway. pp.907-914. ⟨hal-01826645⟩
  • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Liu Yang. Reliability assessment of phased-mission systems with AltaRica 3.0. 3rd International Conference on System Reliability and Safety (ICSRS 2018), Nov 2018, Barcelone, Spain. ⟨hal-01945908⟩
  • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. ALTARICA WIZARD: AN INTEGRATED MODELING AND SIMULATION ENVIRONMENT FOR ALTARICA 3.0. Congrés Lambda Mu 21 « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France. ⟨hal-01945932⟩
  • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. From Models of Structures to Structures of Models. 4th IEEE International Symposium on Systems Engineering, Oct 2018, Rome, Italy. ⟨hal-01885900⟩
  • Julien Brunel, Peter Feiler, Jérôme Hugues, Bruce Lewis, Tatiana Prosvirnova, et al.. Performing Safety Analyses with AADL and AltaRica. 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⟩. ⟨hal-01707373⟩
  • Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier. Handling consistency between safety and system models. IMBSA 2017 (International Symposium on Model-Based and Assessment), Sep 2017, Trento, Italy. pp. 19-34, ⟨10.1007/978-3-319-64119-5_2⟩. ⟨hal-01731393⟩
  • Hala Mortada, Tatiana Prosvirnova, Antoine Rauzy. Safety Assessment of an Electrical System with AltaRica 3.0. 4th International Symposium on Model-Based Safety Assessment, IMBSA 2014, Oct 2014, Munich, Germany. ⟨hal-01789438⟩
  • Tatiana Prosvirnova, Michel Batteux, Pierre-Antoine Brameret, Abraham Cherfi, Thomas Friedlhuber, et al.. The AltaRica 3.0 Project for Model-Based Safety Assessment. 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013, Sep 2013, York, United Kingdom. ⟨hal-01789435⟩

Preprints, Working Papers, ...1 document

  • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. System Structure Modeling Language (S2ML). 2015. ⟨hal-01234903⟩

Theses1 document

  • Tatiana Prosvirnova. AltaRica 3.0: a Model-Based approach for Safety Analyses. Computational Engineering, Finance, and Science [cs.CE]. Ecole Polytechnique, 2014. English. ⟨tel-01119730v2⟩