A concept for a safe realization of a state machine in embedded automotive applications
- Currently, both fail safe and fail operational architectures are based on hardware redundancy in automotive embedded systems. In contrast to this approach, safety is either a result of diverse software channels or of one channel of specifically coded software within the framework of Safely Embedded Software. Product costs are reduced and flexibility is increased. The overall concept is inspired by the well-known Vital Coded Processor approach. Since Mealy state machines are frequently used in embedded automotive systems, application software with a general Mealy state machine is realized differently with Safely Embedded Software starting from the high level programming language C with corresponding measurements.
Author: | Jürgen MottokORCiDGND, Frank Schiller, Thomas Völkl, Thomas Zeitler |
---|---|
DOI: | https://doi.org/10.1007/978-3-540-75101-4_2 |
Parent Title (English): | Computer safety, reliability, and security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007; proceedings |
Document Type: | conference proceeding (article) |
Language: | English |
Year of first Publication: | 2007 |
Release Date: | 2021/02/24 |
Tag: | Diverse Instructions; Embedded Software; Safe State Machine; Safely; Safety Code Weaving; Safety Supervisor |
First Page: | 283 |
Last Page: | 288 |
Andere Schriftenreihe: | Lecture Notes in Computer Science ; 4680 |
Institutes: | Fakultät Elektro- und Informationstechnik |
Fakultät Elektro- und Informationstechnik / Laboratory for Safe and Secure Systems (LAS3) | |
research focus: | Digitalisierung |