Datenbestand vom 13. März 2019

Warenkorb Datenschutzhinweis Dissertationsdruck Dissertationsverlag Institutsreihen     Preisrechner

aktualisiert am 13. März 2019

ISBN 9783843911542

Euro 72,00 inkl. 7% MwSt

978-3-8439-1154-2, Reihe Informatik

Dominik Sojer
Synthesis of Online Diagnostic Techniques for Embedded Systems

160 Seiten, Dissertation Technische Universität München (2013), Softcover, A5

Zusammenfassung / Abstract

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.