Model-Based Safety and Assessment

1. Front Matter

   PDF

2. Modeling Paradigms

   1. A Practicable MBSA Modeling Process Using Altarica

      • Shaojun Li, Su Duo

      Pages 1-13

   2. On Efficiently Specifying Models for Model Checking

      • Mykhaylo Nykolaychuk, Michael Lipaczewski, Tino Liebusch, Frank Ortmeier

      Pages 14-27

   3. A Model-Based Methodology to Formalize Specifications of Railway Systems

      • Melissa Issad, Leïla Kloul, Antoine Rauzy

      Pages 28-42

3. Validation and Testing

   1. A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems

      • Toby Wilkinson, Michael Butler, John Colley

      Pages 43-56

   2. Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics Architectures

      • Marion Morel

      Pages 57-69

   3. Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels

      • Luís Silva Azevedo, David Parker, Yiannis Papadopoulos, Martin Walker, Ioannis Sorokos, Rui Esteves Araújo

      Pages 70-81

4. Fault Detection and Handling

   1. An Integrated Process for FDIR Design in Aerospace

      • Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Regis De Ferluc, Marco Gario, Andrea Guiotto et al.

      Pages 82-95

   2. Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks

      • Sohag Kabir, Martin Walker, Yiannis Papadopoulos

      Pages 96-109

   3. metaFMEA-A Framework for Reusable FMEAs

      • Kai Höfig, Marc Zeller, Lars Grunske

      Pages 110-122

5. Safety Assessment in the Automotive Domain

   1. AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms

      • Abraham Cherfi, Antoine Rauzy, Michel Leeman

      Pages 123-136

   2. A Pattern-Based Approach towards the Guided Reuse of Safety Mechanisms in the Automotive Domain

      • Maged Khalil, Alejandro Prieto, Florian Hölzl

      Pages 137-151

   3. Towards the Derivation of Guidelines for the Deployment of Real-Time Tasks on a Multicore Processor

      • Stefan Schmidhuber, Michael Deubzer, Ralph Mader, Michael Niemetz, Jürgen Mottok

      Pages 152-165

6. Case Studies

   1. Adaptive Error and Sensor Management for Autonomous Vehicles: Model-Based Approach and Run-Time System

      • Jelena Frtunikj, Vladimir Rupanov, Michael Armbruster, Alois Knoll

      Pages 166-180

   2. Safety Assessment of an Electrical System with AltaRica 3.0

      • Hala Mortada, Tatiana Prosvirnova, Antoine Rauzy

      Pages 181-194

   3. Applying Formal Methods into Safety-Critical Health Applications

      • Mohammad-Reza Gholami, Hanifa Boucheneb

      Pages 195-208

7. Back Matter

   PDF

This book constitutes the refereed proceedings of the 4th International Symposium on Model-Based Safety and Assessment, IMBSA 2014, held in Munich, Germany, in October 2014.
The 15 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on modeling paradigms, validation and testing, fault detection and handling, safety assessment in the automotive domain, and case studies.

• assertion checking
• failure prediction
• formal verification
• model checking
• model development and analysis
• model verification and validation
• model-based testing
• modeling methodologies
• reliability
• safety critical systems
• theorem proving algorithms
• theorem proving and sat solving
• algorithm analysis and problem complexity

• Faculty of Computer Systems, Computer Systems in Engineering (CSE), Otto von Guericke-University Magdeburg, Magdeburg, Germany

  Frank Ortmeier

• Laboratoire d’Informatique (LIX), Route de Saclay, École Polytechnique, Palaiseau Cedex, France

  Antoine Rauzy

Policies and ethics