Abstract is missing.
- An AEBS Use Case for Model-Based System Design Integrating Safety Analyses and SimulationBernhard Kaiser, Bernard Dion, Ilya Tolchinsky, Thierry Le Sergent, Max Najork. 3-20 [doi]
- COMPASTA: Extending TASTE with Formal Design and Verification FunctionalityAlberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta. 21-27 [doi]
- MBSA in Aeronautics: A Way to Support Safety ActivitiesChristophe Frazza, Pierre Darfeuil, Jean Gauthier. 31-42 [doi]
- Modeling the Variability of System Safety Analysis Using State-Machine DiagramsLucas Bressan, André Luíz de Oliveira, Fernanda C. A. Campos, Leonardo Montecchi, Rafael Capilla, David Parker 0002, Koorosh Aslansefat, Yiannis Papadopoulos. 43-59 [doi]
- Model-Based Safety Analysis: A Practical ExperienceBertille Noisette, Sébastien Dobol, Laurène Monteil. 60-67 [doi]
- Practical Application of Model-Based Safety Analysis to the Design of Global Operating System of New Rolling Stock on Automatic Metro LinesAnthony Legendre, Roland Donat. 68-82 [doi]
- Plug-and-Produce... Safely! - End-to-End Model-Based Safety Assurance for Reconfigurable Industry 4.0Daniel Hillen, Tom P. Huck, Nishanth Laxman, Christoph Ledermann, Jan Reich, Patrick Schlosser, Andreas Schmidt, Daniel Schneider 0001, Denis Uecker. 83-97 [doi]
- Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRicaTatiana Prosvirnova, Christel Seguin, Christophe Frazza, Michel Batteux, Xavier de Bossoreille, Frédéric Deschamps, Jean Gauthier, Estelle Saez. 101-115 [doi]
- Towards Causal Model-Based Engineering in Automotive System SafetyRobert Maier, Lisa Grabinger, David Urlhart, Jürgen Mottok. 116-129 [doi]
- Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. 130-145 [doi]
- Component Fault and Deficiency Tree (CFDT): Combining Functional Safety and SOTIF AnalysisMarc Zeller. 146-152 [doi]
- A Capella-Based Tool for the Early Assessment of Nano/Micro Satellites AvailabilityGuillaume Brau, Eric Jenn, Silvana Radu. 155-169 [doi]
- Analysing the Impact of Security Attacks on Safety Using SysML and Event-BEhsan Poorhadi, Elena Troubitsyna, György Dán. 170-185 [doi]
- A Deep Learning Framework for Wind Turbine Repair Action Prediction Using Alarm Sequences and Long Short Term Memory AlgorithmsConnor Walker, Callum Rothon, Koorosh Aslansefat, Yiannis Papadopoulos, Nina Dethlefs. 189-203 [doi]
- Tool Paper: Time Series Anomaly Detection Platform for MATLAB SimulinkSheng Ding, Skander Ayoub, Andrey Morozov 0001. 204-218 [doi]
- Keep Your Distance: Determining Sampling and Distance Thresholds in Machine Learning MonitoringAl-Harith Farhad, Ioannis Sorokos, Andreas Schmidt, Mohammed Naveed Akram, Koorosh Aslansefat, Daniel Schneider 0001. 219-234 [doi]
- Engineering Dynamic Risk and Capability Models to Improve Cooperation Efficiency Between Human Workers and Autonomous Mobile Robots in Shared SpacesJan Reich, Pascal Gerber, Nishanth Laxman, Daniel Schneider 0001, Takehito Ogata, Satoshi Otsuka, Tasuku Ishigooka. 237-251 [doi]
- SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable IdentitiesKoorosh Aslansefat, Panagiota Nikolaou, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Jan Reich, Panayiotis Kolios, Maria K. Michael, Theocharis Theocharides, Georgios Ellinas, Daniel Schneider 0001, Yiannis Papadopoulos. 252-266 [doi]