Research
I am a Postdoc in the Computer Science Laboratory of the Ecole Polytechnique.I defended my PhD thesis in November 2014.
Title of the thesis:
AltaRica 3.0: a Model-Based approach for Safety Analysis.
PhD advisor: Professor Antoine RAUZY.
I am interested in Model-Based approach for Safety Assessement of systems. My Phd thesis is a part of the AltaRica 3.0 project. I work on the new version of AltaRica - a high-level modeling language dedicated to Safety Analyses, on its underlying formalism Guarded Transition Systems (GTS) and on the assessment tools (e.g. a compiler to Fault Trees).
Publications
2014
Conferences
-
Safety Assessment of an Electrical System with AltaRica 3.0
H. Mortada, T. Prosvirnova, and A. Rauzy
In Proceedings of the 4th International Symposium on Model-Based Safety Assessment, IMBSA 2014. Munich (Germany). October, 2014.
-
The structural constructions of AltaRica 3.0
T. Prosvirnova, and A. Rauzy
In Actes du congrès LambdaMu'19 (actes électroniques). Dijon (France). October, 2014.
-
Modeling network systems with AltaRica 3.0
F. Milcent, T. Prosvirnova, and A. Rauzy
In Actes du congrès LambdaMu'19 (actes électroniques). Dijon (France). October, 2014.
-
Optimization of the maintenance of a fleet of equipment with a Model-Based Analysis
F. Milcent, and T. Prosvirnova
In Actes du congrès LambdaMu'19 (actes électroniques). Dijon (France). October, 2014.
2013
Journals
-
Modeling systems with mobile components: a comparison between AltaRica and PEPA nets
L. Kloul, T. Prosvirnova, and and A. Rauzy
In Journal of Risk and Reliability. Professional Engineering Publishing. Vol. 227, Num. 6, pp 599–613, 2013.
Conferences
-
GraphXica: a Language for Graphical Animation of models
T. Prosvirnova, M. Batteux, A. Maarouf, and A. Rauzy
In Proceedings of the European Safety and Reliability Conference, ESREL 2013. Amsterdam (The Netherlands). September-October, 2013.
-
The AltaRica 3.0 project for Model-Based Safety Assessment
T. Prosvirnova, M. Batteux, A. Rauzy, and L. Kloul
In Proceedings of the 11th IEEE International Conference on Industrial Informatics, INDIN 2013. Bochum (Germany). July, 2013.
-
AltaRica 3.0 project: compile Guarded Transition Systems into Fault Trees
T. Prosvirnova, and A. Rauzy
In Proceedings of the European Safety and Reliability Conference, ESREL 2013. Amsterdam (The Netherlands). September-October, 2013.
2012
Conferences
-
Système de Transitions Gardées : formalisme pivot de modélisation pour la Sûreté de Fonctionnement
T. Prosvirnova, and A. Rauzy
In J.F. Barbet ed., Actes du congrès LambdaMu'18 (actes électroniques). Tours (France). October, 2012.
-
Modélisation des systèmes avec des composants mobiles en AltaRica
T. Prosvirnova, and A. Rauzy
In J.F. Barbet ed., Actes du congrès LambdaMu'18 (actes électroniques). Tours (France). October, 2012.
2010
Conferences
-
Expériences de couplages de modèles AltaRica avec des interfaces métiers
B. Perrot, T. Prosvirnova, A. Rauzy, J.-P. Sahut d'Izarn, and R. Schoenig
In E. Fadier ed., Actes du congrès LambdaMu'17 (actes électroniques). La Rochelle (France). October, 2010.
-
Introduction au nouveau langage pour la sûreté de fonctionnement : AltaRica nouvelle génération
B. Perrot, T. Prosvirnova, A. Rauzy, and J.-P. Sahut d'Izarn
In E. Fadier ed., Actes du congrès LambdaMu'17 (actes électroniques). La Rochelle (France). October, 2010.
-
Arbres de défaillance dynamiques : une bibliothèque pour la nouvelle génération d'AltaRica
B. Perrot, T. Prosvirnova, A. Rauzy, and J.-P. Sahut d'Izarn
In E. Fadier ed., Actes du congrès LambdaMu'17 (actes électroniques). La Rochelle (France). October, 2010.
Related links
- The AltaRica 3.0 project for Model-Based Safety Assessment
- Séminaire de Sûreté de Fonctionnement de l'X
Modifiée pour la dernière fois le: 24-09-2013
Tous les documents fournis le sont sous la responsabilité de leurs auteurs, et ne représentent pas nécessairement les positions officielles de l'École polytechnique. Les informations données le sont de bonne foi, mais leur véracité ne saurait être garantie.