Skip to main content
SpringerLink
Log in

Model-Based Safety and Assessment

4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Frank Ortmeier

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Antoine Rauzy

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8822)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: IMBSA 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Download chapter 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

    Download chapter PDF
Back to top

Other volumes

  1. Model-Based Safety and Assessment

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation