default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th IMBSA 2022: Munich, Germany
- Christel Seguin, Marc Zeller
, Tatiana Prosvirnova:
Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings. Lecture Notes in Computer Science 13525, Springer 2022, ISBN 978-3-031-15841-4
Safety Analysis Automation
- Bernhard Kaiser, Bernard Dion, Ilya Tolchinsky, Thierry Le Sergent, Max Najork:
An AEBS Use Case for Model-Based System Design Integrating Safety Analyses and Simulation. 3-20 - Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta:
COMPASTA: Extending TASTE with Formal Design and Verification Functionality. 21-27
MBSA Practices
- Christophe Frazza, Pierre Darfeuil, Jean Gauthier:
MBSA in Aeronautics: A Way to Support Safety Activities. 31-42 - Lucas Bressan, André Luíz de Oliveira, Fernanda C. A. Campos, Leonardo Montecchi, Rafael Capilla, David Parker, Koorosh Aslansefat, Yiannis Papadopoulos:
Modeling the Variability of System Safety Analysis Using State-Machine Diagrams. 43-59 - Bertille Noisette, Sébastien Dobol, Laurène Monteil:
Model-Based Safety Analysis: A Practical Experience. 60-67 - Anthony Legendre, Roland Donat:
Practical Application of Model-Based Safety Analysis to the Design of Global Operating System of New Rolling Stock on Automatic Metro Lines. 68-82 - Daniel Hillen, Tom Philip Huck, Nishanth Laxman, Christoph Ledermann, Jan Reich, Patrick Schlosser, Andreas Schmidt, Daniel Schneider, Denis Uecker:
Plug-and-Produce... Safely! - End-to-End Model-Based Safety Assurance for Reconfigurable Industry 4.0. 83-97
Causal Models and Failure Modeling Strategies
- Tatiana Prosvirnova, Christel Seguin, Christophe Frazza, Michel Batteux, Xavier de Bossoreille, Frédéric Deschamps, Jean Gauthier, Estelle Saez:
Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica. 101-115 - Robert Maier, Lisa Grabinger, David Urlhart, Jürgen Mottok:
Towards Causal Model-Based Engineering in Automotive System Safety. 116-129 - Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy:
Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0. 130-145 - Marc Zeller:
Component Fault and Deficiency Tree (CFDT): Combining Functional Safety and SOTIF Analysis. 146-152
Designing Mitigations of Faults and Attacks
- Guillaume Brau, Eric Jenn, Silvana Radu:
A Capella-Based Tool for the Early Assessment of Nano/Micro Satellites Availability. 155-169 - Ehsan Poorhadi, Elena Troubitsyna, György Dán:
Analysing the Impact of Security Attacks on Safety Using SysML and Event-B. 170-185
Data Based Safety Analysis
- Connor Walker, Callum Rothon, Koorosh Aslansefat, Yiannis Papadopoulos, Nina Dethlefs:
A Deep Learning Framework for Wind Turbine Repair Action Prediction Using Alarm Sequences and Long Short Term Memory Algorithms. 189-203 - Sheng Ding, Skander Ayoub, Andrey Morozov:
Tool Paper: Time Series Anomaly Detection Platform for MATLAB Simulink. 204-218 - Al-Harith Farhad, Ioannis Sorokos, Andreas Schmidt, Mohammed Naveed Akram, Koorosh Aslansefat, Daniel Schneider:
Keep Your Distance: Determining Sampling and Distance Thresholds in Machine Learning Monitoring. 219-234
Dynamic Risk Assessment
- Jan Reich, Pascal Gerber, Nishanth Laxman, Daniel Schneider, Takehito Ogata, Satoshi Otsuka, Tasuku Ishigooka:
Engineering Dynamic Risk and Capability Models to Improve Cooperation Efficiency Between Human Workers and Autonomous Mobile Robots in Shared Spaces. 237-251 - Koorosh Aslansefat, Panagiota Nikolaou, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Jan Reich, Panayiotis Kolios, Maria K. Michael, Theocharis Theocharides, Georgios Ellinas, Daniel Schneider, Yiannis Papadopoulos:
SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities. 252-266
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-30 19:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
