Datenbestand vom 14. Januar 2019
Tel: 089 / 66060798
Mo - Fr, 9 - 12 Uhr
Fax: 089 / 66060799
aktualisiert am 14. Januar 2019
978-3-8439-1154-2, Reihe Informatik
Synthesis of Online Diagnostic Techniques for Embedded Systems
160 Seiten, Dissertation Technische Universität München (2013), Softcover, A5
The development of safety-critical embedded systems is an error-prone and time-consuming task. Various safety analyses have to be carried out during the development to select appropriate diagnostic techniques, which help to control unacceptable risks to human lives.
This thesis describes an approach to speed up development activities by automation. Moreover, it makes a first step towards the development of safe cyber-physical systems. To achieve these goals, it defines a metamodel for various aspects of functional safety and builds a generative workflow on top of it. This workflow generates the source code of diagnostic techniques and lightweight safety analyses and integrates them into existing runtime systems.