Abstract is missing.
- A Practicable MBSA Modeling Process Using AltaricaShaojun Li, Su Duo. 1-13 [doi]
- On Efficiently Specifying Models for Model CheckingMykhaylo Nykolaychuk, Michael Lipaczewski, Tino Liebusch, Frank Ortmeier. 14-27 [doi]
- A Model-Based Methodology to Formalize Specifications of Railway SystemsMelissa Issad, Leïla Kloul, Antoine Rauzy. 28-42 [doi]
- A Systematic Approach to Requirements Driven Test Generation for Safety Critical SystemsToby Wilkinson, Michael Butler, John Colley. 43-56 [doi]
- Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics ArchitecturesMarion Morel. 57-69 [doi]
- Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity LevelsLuís Silva Azevedo, David Parker 0002, Yiannis Papadopoulos, Martin Walker, Ioannis Sorokos, Rui Esteves Araujo. 70-81 [doi]
- An Integrated Process for FDIR Design in AerospaceBenjamin Bittner, Marco Bozzano, Alessandro Cimatti, Regis De Ferluc, Marco Gario, Andrea Guiotto, Yuri Yushtein. 82-95 [doi]
- Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian NetworksSohag Kabir, Martin Walker, Yiannis Papadopoulos. 96-109 [doi]
- metaFMEA-A Framework for Reusable FMEAsKai Höfig, Marc Zeller, Lars Grunske. 110-122 [doi]
- AltaRica 3 Based Models for ISO 26262 Automotive Safety MechanismsAbraham Cherfi, Antoine Rauzy, Michel Leeman. 123-136 [doi]
- A Pattern-Based Approach towards the Guided Reuse of Safety Mechanisms in the Automotive DomainMaged Khalil, Alejandro Prieto, Florian Hölzl. 137-151 [doi]
- Towards the Derivation of Guidelines for the Deployment of Real-Time Tasks on a Multicore ProcessorStefan Schmidhuber, Michael Deubzer, Ralph Mader, Michael Niemetz, Jürgen Mottok. 152-165 [doi]
- Adaptive Error and Sensor Management for Autonomous Vehicles: Model-Based Approach and Run-Time SystemJelena Frtunikj, Vladimir Rupanov, Michael Armbruster, Alois Knoll. 166-180 [doi]
- Safety Assessment of an Electrical System with AltaRica 3.0Hala Mortada, Tatiana Prosvirnova, Antoine Rauzy. 181-194 [doi]
- Applying Formal Methods into Safety-Critical Health ApplicationsMohammad Reza Gholami, Hanifa Boucheneb. 195-208 [doi]