Affordable Access

A Formal Fault Model for Component-Based Models of Embedded Systems

Authors
Publisher
Universitätsbibliothek Chemnitz
Publication Date
Keywords
  • Systemebene
  • Computer Engineering
  • Computer Science
  • Embedded Systems
  • Fault Tolerance
  • Formal Fault Model
  • Formales Fehlermodell
  • Pi-Calculus
  • Process Algebra
  • System Level
  • System Model
  • Ddc:004
  • Eingebettetes System
  • Fehlertoleranz
  • Informatik
  • Pi-Kalkül
  • Prozessalgebra
  • Systemmodell
  • Technische Informatik
Disciplines
  • Design

Abstract

The 4th volume of the scientific series Eingebettete, selbstorganisierende Systeme (Embedded Self-Organized Systems) outlines the design of fault models for embedded distributed multi processor systems. These multi processor systems will be connected to a hierarchical network to control airplanes (avionics) and also be used more and more in the automotive area. Here it is essential to meet highest safety standards and to ensure the maximum of availability. Mr Fischer integrates the modelling of potential faults into the design process. Based on the pi-calculus, he develops a formal framework, which supports a standardised modelling of faults. Thereby, interesting connections to the Bi-Simulation as well as to methods of the Model checking are established. The theoretical results are depicted on a complex example. So it is possible for the reader to understand the complexity of this approach and is motivated to use the developed methodology in other applications. I am glad that Mr Fischer publishes his important research in this scientific series.

There are no comments yet on this publication. Be the first to share your thoughts.