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
|
||
|
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
|
||
|
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
|
||
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
|
|||
|
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
|
|||
|
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
|
||
|
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
|
||
|
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
|
||
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
|
|||
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
|
|||
|
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
|
|||
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
|
|||
|
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
|
||
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
|
|||
|
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
|
||
|
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
Communication dans un congrès
hal-01378407v1
|
||
|
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
|