Filter your results
- 17
- 3
- 19
- 1
- 18
- 4
- 2
- 3
- 8
- 2
- 3
- 1
- 1
- 17
- 3
- 14
- 5
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 20
- 16
- 13
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Advances in the simplification of Fault Trees automatically generated from AltaRica 3.0 modelsEuropean Safety and Reliability Conference (ESREL 2018), Jun 2018, Trondheim, Norway. pp.907-914
Conference papers
hal-01826645v1
|
||
|
Enhancement of the AltaRica 3.0 stepwise simulator by introducing an abstract notion of time28th European Safety and Reliability Conference ESREL (ESREL 2018), Jun 2018, Trondheim, Norway
Conference papers
hal-01826656v1
|
||
|
Introduction d'une notion de temps abstrait pour la simulation des modèles AltaRica 3.0Congrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
Conference papers
hal-02063653v1
|
||
|
A language proposition for system requirements11th Annual IEEE International Systems Conference, IEEE, Apr 2017, Montréal, Canada. ⟨10.1109/SYSCON.2017.7934808⟩
Conference papers
hal-01570784v1
|
||
|
Safety Analyzes of Mechatronics Systems: a Case StudyIFAC-PapersOnLine, 2017, 50 (1), pp.11150 - 11155. ⟨10.1016/j.ifacol.2017.08.1234⟩
Journal articles
hal-01651282v1
|
||
|
ALTARICA WIZARD: AN INTEGRATED MODELING AND SIMULATION ENVIRONMENT FOR ALTARICA 3.0Congrés Lambda Mu 21 « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
Conference papers
hal-01945932v1
|
||
|
Vers la définition d’un kit d’évaluation pour les simulateurs stochastiques20iè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
|
||
|
From Models of Structures to Structures of Models4th IEEE International Symposium on Systems Engineering, Oct 2018, Rome, Italy
Conference papers
hal-01885900v1
|
||
|
Synchronization of System Architecture and Safety Models: a Proof of ConceptIEEE 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 modelsProceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France
Conference papers
hal-03429734v1
|
|||
|
Safety Assessment of an Electrical System with AltaRica 3.04th International Symposium on Model-Based Safety Assessment, IMBSA 2014, Oct 2014, Munich, Germany
Conference papers
hal-01789438v1
|
||
|
Schemas de modelisation de politiques de maintenance de composants en Altarica 3.0Congrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
Conference papers
hal-02063641v1
|
||
|
Modeling patterns for the assessment of maintenance policies with AltaRica 3.0International Symposium on Model Based Safety Assessment, IMBSA 2019, Oct 2019, Thessaloniki, Greece. ⟨10.1007/978-3-030-32872-6_3⟩
Conference papers
hal-02357383v1
|
||
|
Reliability assessment of phased-mission systems with AltaRica 3.03rd International Conference on System Reliability and Safety (ICSRS 2018), Nov 2018, Barcelone, Spain
Conference papers
hal-01945908v1
|
||
|
MODEL SYNCHRONISATION BETWEEN ARCHITECTURE SYSTEM AND RISK ANALYSIS: WHICH GAIN, HOW AND WHY?LambdaMu20, Imdr, Oct 2016, Saint Malo, France
Conference papers
hal-01425284v1
|
||
|
Improving performances of the AltaRica 3.0 stochastic simulatorSafety 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 assessmentProceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France
Conference papers
hal-03429737v1
|
|||
|
Directions towards supporting synergies between Design and Probabilistic Safety Assessment Activities: illustration on a Fire detection system embedded in a helicopterPSAM13, Korean Nuclear Society, Oct 2016, Séoul, South Korea
Conference papers
hal-01425309v1
|
||
|
Model synchronization: a formal framework for the management of heterogeneous modelsInternational 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 OpenAltarica2018 IEEE International Systems Engineering Symposium (ISSE), Oct 2018, Rome, Italy. ⟨10.1109/syseng.2018.8544458⟩
Conference papers
hal-02194937v1
|