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.
This work is supported by the FHprofUnd program of the German Federal Ministry of Education and Research(FKZ 1752X07).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ehrenberger, W.: Software-Verifikation. Hanser, Munich (2002)
Douglass, B.P.: Safety-Critical Systems Design. i-Logix, Whitepaper
Forin, P.: Vital Coded Microprocessor Principles and Application for Various Transit Systems. IFAC Control, Computers, Communications, Paris, 79–84 (1989)
Hummel, M., Egen, R., Mottok, J., Schiller, F., Mattes, T., Blum, M., Duckstein, F.: Generische Safety-Architektur für KFZ-Software. Hanser Automotive 11, 52–54 (2006)
International Electrotechnical Commission (IEC): Functional Safety of Electrical / Electronic / Programmable Electronic Safety-Related Systems (1998)
Leaphart, E.G., Czerny, B.J., D’Ambrosio, J.G., Denlinger, C.L., Littlejohn, D.: Survey of Software Failsafe Techniques for Safety-Critical Automotive Applications. In: SAE World Congress, Detroit, pp. 1–16 (2005)
Torres-Pomales, W.: Software Fault Tolerance: A Tutorial, NASA, Langley Research Center, Hampton, Virginia (2000)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mottok, J., Schiller, F., Völkl, T., Zeitler, T. (2007). A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications. In: Saglietti, F., Oster, N. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2007. Lecture Notes in Computer Science, vol 4680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75101-4_28
Download citation
DOI: https://doi.org/10.1007/978-3-540-75101-4_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75100-7
Online ISBN: 978-3-540-75101-4
eBook Packages: Computer ScienceComputer Science (R0)