TY - CHAP A1 - Mottok, Jürgen A1 - Schiller, Frank A1 - Völkl, Thomas A1 - Zeitler, Thomas T1 - A concept for a safe realization of a state machine in embedded automotive applications T2 - Computer safety, reliability, and security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007; proceedings N2 - 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. KW - Safely KW - Embedded Software KW - Safe State Machine KW - Diverse Instructions KW - Safety Code Weaving KW - Safety Supervisor Y1 - 2007 U6 - https://doi.org/10.1007/978-3-540-75101-4_2 SP - 283 EP - 288 ER - TY - JOUR A1 - Federrath, H. A1 - Mottok, Jürgen A1 - Plößl, K. A1 - Völkl, Thomas T1 - Automotive safety and security JF - Jahresrückblick 2007 des Bayerischen IT-Sicherheitsclusters Y1 - 2007 ER -