Search - CentraleSupélec Access content directly

Filter your results

20 Results
Author: personID (integer) : 973298
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
Conference papers hal-01826645v1
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 (ESREL 2018), Jun 2018, Trondheim, Norway
Conference papers hal-01826656v1
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
Conference papers hal-02063653v1
Image document

A language proposition for system requirements

Benoît Lebeaupin , Antoine Rauzy , Jean-Marc Roussel
11th Annual IEEE International Systems Conference, IEEE, Apr 2017, Montréal, Canada. ⟨10.1109/SYSCON.2017.7934808⟩
Conference papers hal-01570784v1
Image document

Safety Analyzes of Mechatronics Systems: a Case Study

Benjamin Aupetit , Michel Batteux , Antoine Rauzy , Jean-Marc Roussel
IFAC-PapersOnLine, 2017, 50 (1), pp.11150 - 11155. ⟨10.1016/j.ifacol.2017.08.1234⟩
Journal articles hal-01651282v1
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
Conference papers hal-01945932v1
Image document

Vers la définition d’un kit d’évaluation pour les simulateurs stochastiques

Benjamin Aupetit , Michel Batteux , Antoine Rauzy , Jean-Marc Roussel
20ième Congrès de Maîtrise des Risques et Sûreté de Fonctionnement (LambdaMu 20), Institut pour la Maîtrise des Risques et la Sûreté de Fonctionnement (IMdR-SdF) Oct 2016, Saint_Malo, France
Conference papers hal-01378407v1
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
Conference papers hal-01885900v1
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⟩
Conference papers hal-02357379v1

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
Conference papers hal-03429734v1
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
Conference papers hal-01789438v1
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
Conference papers hal-02063641v1
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⟩
Conference papers hal-02357383v1
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
Conference papers hal-01945908v1
Image document

MODEL SYNCHRONISATION BETWEEN ARCHITECTURE SYSTEM AND RISK ANALYSIS: WHICH GAIN, HOW AND WHY?

Anthony Legendre , Agnès Lanusse , Antoine Rauzy
LambdaMu20, Imdr, Oct 2016, Saint Malo, France
Conference papers hal-01425284v1
Image document

Improving performances of the AltaRica 3.0 stochastic simulator

Benjamin Aupetit , Michel Batteux , Antoine Rauzy , Jean-Marc Roussel
Safety and Reliability of Complex Engineered Systems: ESREL 2015, Sep 2015, Zürich, Switzerland. ⟨10.1201/b19094-236⟩
Conference papers hal-01239379v1

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
Conference papers hal-03429737v1
Image document

Directions towards supporting synergies between Design and Probabilistic Safety Assessment Activities: illustration on a Fire detection system embedded in a helicopter

Anthony Legendre , Agnès Lanusse , Antoine Rauzy
PSAM13, Korean Nuclear Society, Oct 2016, Séoul, South Korea
Conference papers hal-01425309v1
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⟩
Conference papers hal-02357381v1

Analysis of business process specifications with OpenAltarica

Paolo Ballarini , Michel Batteux , Leo Chartier , Antoine Rauzy
2018 IEEE International Systems Engineering Symposium (ISSE), Oct 2018, Rome, Italy. ⟨10.1109/syseng.2018.8544458⟩
Conference papers hal-02194937v1