Filtrer vos résultats
- 43
- 25
- 59
- 6
- 1
- 1
- 1
- 1
- 56
- 15
- 7
- 2
- 2
- 20
- 9
- 11
- 5
- 10
- 1
- 1
- 2
- 1
- 4
- 2
- 49
- 19
- 14
- 10
- 9
- 6
- 5
- 4
- 4
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 68
- 28
- 19
- 8
- 8
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
68 résultats
|
|
Generation of Cyberattacks Leading to Safety Top Event Using AltaRica: an Automotive Case StudyCongrès Lambda Mu 23 « Innovations et maîtrise des risques pour un avenir durable » - 23e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2022, Paris Saclay, France
Communication dans un congrès
hal-03875775v1
|
||
|
|
Typology of the differences Between Model-Based System Engineering (MBSE) and Safety Assessment (MBSA) models: Analysis of a Reference SystemCongrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès) - 22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France
Communication dans un congrès
hal-03453551v1
|
||
|
|
Generation of Cyberattacks Leading to Safety Top Event Using AltaRica: an Automotive Case Study23e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques (Lambda Mu 23), Oct 2022, Paris-Saclay, France
Communication dans un congrès
hal-03814648v1
|
||
|
|
Modélisation de combinaisons de maintenances en AltaRica 3.0Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès) - 22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France
Communication dans un congrès
hal-03462797v1
|
||
|
|
Modeling Cyberattacks Affecting Systems' Safety with AltaRica: Achievements and Future WorksSAFECOMP 2023, Position Paper, Sep 2023, Toulouse, France
Communication dans un congrès
hal-04191802v1
|
||
|
|
Diagnosticabilité et diagnostic de systèmes technologiques pilotésIntelligence artificielle [cs.AI]. Université Paris Sud - Paris XI, 2011. Français. ⟨NNT : ⟩
Thèse
tel-00643460v1
|
||
|
|
Performance assessment of an offshore windmill farm with AltaRica 3.0International 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
|
||
Optimisation de stratégies de maintenances par simulation stochastique AltaRica 3.0CIGI Qualita 2021, May 2021, Grenoble, France
Communication dans un congrès
hal-03222219v1
|
|||
|
|
Category Theory Framework for System Engineering and Safety Assessment Model Synchronization MethodologiesApplied Sciences, 2022, 12 (12), pp.5880. ⟨10.3390/app12125880⟩
Article dans une revue
hal-03790902v1
|
||
Model-Based Safety Assessment of an Insulin Pump System with AltaRica 3.0Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France
Communication dans un congrès
hal-03429161v1
|
|||
|
|
Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRicaInternational Symposium on Model-Based Safety and Assessment ( IMBSA ), Sep 2022, Munich, Germany. pp.101-115, ⟨10.1007/978-3-031-15842-1_8⟩
Communication dans un congrès
hal-03814095v1
|
||
|
|
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⟩
Communication dans un congrès
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
Communication dans un congrès
hal-03429734v1
|
|||
Efficient Modeling of large Markov chains models with AltaRica 3.0Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France
Communication dans un congrès
hal-03429225v1
|
|||
|
|
Diagnosability study of technological systems24th International Conference on Industrial, Engineering and other Applications of Applied Intelligent Systems IEA/AIE 2011, Jun 2011, Syracuse, United States
Communication dans un congrès
hal-00643664v1
|
||
|
|
The AltaRica 3.0 Project for Model-Based Safety Assessment4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013, Sep 2013, York, United Kingdom
Communication dans un congrès
hal-01789435v1
|
||
|
|
Industrial system example modeling for the assessment of maintenance strategiesCongrès Lambda Mu 23 « Innovations et maîtrise des risques pour un avenir durable » - 23e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2022, Paris-Saclay, France
Communication dans un congrès
hal-03814593v1
|
||
Synchronization of System Architecture, Multi-physics and Safety ModelsComplex Systems Design & Management, Springer International Publishing, pp.37-48, 2020, ⟨10.1007/978-3-030-34843-4_4⟩
Chapitre d'ouvrage
hal-03960353v1
|
|||
|
|
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⟩
Communication dans un congrès
hal-02357381v1
|
||
|
|
Génération du comportement observable d'un système pour l'étude de la diagnosticabilité de défautsQUALITA 2011, Mar 2011, Angers, France
Communication dans un congrès
hal-00643674v1
|
||
Simulation of complex system based on optimization methods for Maintenance schedulingProceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France
Communication dans un congrès
hal-03429187v1
|
|||
Analysis of business process specifications with OpenAltarica2018 IEEE International Systems Engineering Symposium (ISSE), Oct 2018, Rome, Italy. ⟨10.1109/syseng.2018.8544458⟩
Communication dans un congrès
hal-02194937v1
|
|||
Processus de réalisation d’AMDEC basé sur les outils OpenAltaRicaCongrès Lambda Mu 22, « Les risques au coeur des transitions », Oct 2020, Le Havre, France
Communication dans un congrès
hal-03065392v1
|
|||
|
|
OPTIMISATION D'UNE STRATÉGIE DE MAINTIEN EN CONDITION OPERATIONNELLE D'UNE FLOTTE D’ÉQUIPEMENTS PAR L'UTILISATION D'UNE MODÉLISATION DYNAMIQUECongrè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-02074439v1
|
||
|
|
Characterizing behavioral modeling in Systems and Safety Model-Based Engineerings and their overlap for consistency checking32nd European Safety and Reliability Conference (ESREL 2022), Aug 2022, Dublin, Ireland. pp.265-272, ⟨10.3850/978-981-18-5183-4_R08-02-385-cd⟩
Communication dans un congrès
hal-03776835v1
|
||
|
|
Processus de réalisation d'AMDEC basé sur les outils OpenAltaRicaCongrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès) - 22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France
Communication dans un congrès
hal-03453603v1
|
||
Génération de données pour le diagnostic et le pronostic : un exemple applicatifCongrès Lambda Mu 22, « Les risques au coeur des transitions », Oct 2020, Le Havre, France
Communication dans un congrès
hal-03065347v1
|
|||
|
|
From Models of Structures to Structures of Models4th IEEE International Symposium on Systems Engineering, Oct 2018, Rome, Italy
Communication dans un congrès
hal-01885900v1
|
||
|
|
Industrial system example modeling for the assessment of maintenance strategiesCongrès Lambda Mu 23 « Innovations et maîtrise des risques pour un avenir durable » - 23e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2022, Paris Saclay, France
Communication dans un congrès
hal-03966651v1
|
||
Consistency of multiple system engineering models of a fixed wing drone8th IEEE International Symposium on Systems Engineering (ISSE 2022), Oct 2022, Vienna, Austria
Communication dans un congrès
hal-03817404v1
|