@inproceedings{MottokSchillerVoelkletal., author = {Mottok, J{\"u}rgen and Schiller, Frank and V{\"o}lkl, Thomas and Zeitler, Thomas}, title = {A concept for a safe realization of a state machine in embedded automotive applications}, series = {Computer safety, reliability, and security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007; proceedings}, booktitle = {Computer safety, reliability, and security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007; proceedings}, doi = {10.1007/978-3-540-75101-4_2}, pages = {283 -- 288}, abstract = {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.}, language = {en} } @article{FederrathMottokPloessletal., author = {Federrath, H. and Mottok, J{\"u}rgen and Pl{\"o}ßl, K. and V{\"o}lkl, Thomas}, title = {Automotive safety and security}, series = {Jahresr{\"u}ckblick 2007 des Bayerischen IT-Sicherheitsclusters}, journal = {Jahresr{\"u}ckblick 2007 des Bayerischen IT-Sicherheitsclusters}, pages = {25}, language = {de} }