Filtrer vos résultats
- 42
- 26
- 59
- 6
- 1
- 1
- 1
- 1
- 56
- 16
- 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
- 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
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
|||
|
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
|
||
|
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
|
||
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
|
|||
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
|
|||
|
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
|
||
AltaRica 3.0 modeling pattern for production systems availability assessmentProceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France
Communication dans un congrès
hal-03429737v1
|
|||
|
The New Open-PSA Format: a Model-Based ApproachCongrè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-03483341v1
|
||
|
Abstract Executions of Stochastic Discrete Event SystemsInternational Journal of Critical Computer-Based Systems, 2022, 10 (3), pp.202-226. ⟨10.1504/IJCCBS.2022.121363⟩
Article dans une revue
hal-03791998v1
|
||
|
Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and DifferencesACM Transactions on Cyber-Physical Systems, 2023, 7 (3), pp.17. ⟨10.1145/3593811⟩
Article dans une revue
hal-04175993v1
|
||
|
Synchronization of system architecture, multi-physics and safety modelsProceedings of the Tenth International Conference on Complex Systems Design & Management, CSD&M 2019, Dec 2019, Paris, France
Communication dans un congrès
hal-02433834v1
|
||
Faulty models of a fuel cell system for model-based diagnosis studyThe Fundamentals and Developments of Fuel Cells Conference (FDFC), Jan 2011, Grenoble, France
Communication dans un congrès
hal-03550388v1
|
|||
|
Stochastic Maintenance Optimization of Complex Industrial Systems under Uncertainty of Repair Time and ResourcesICSRS 2022, Nov 2022, Venise, Italy
Communication dans un congrès
hal-03812040v1
|
||
Application du MBSA avec AltaRica 3.0 dans un cadre système de systèmes pour le transport autonomeCIGI Qualita 2021, May 2021, Grenoble, France
Communication dans un congrès
hal-03222202v1
|
|||
|
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
|
||
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
|
|||
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
|
|||
|
Modeling Cyberattack Propagation and Impacts on Cyber-Physical System Safety: An ExperimentElectronics, 2022, Analysis and Design of Complex Embedded Systems, 12 (1), pp.77. ⟨10.3390/electronics12010077⟩
Article dans une revue
hal-03919905v1
|
||
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
|
|||
|
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
|