Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Safe automotive software

: Heckemann, Karl; Gesell, Manuel; Pfister, Thomas; Berns, Karsten; Schneider, Klaus; Trapp, Mario


König, Andreas:
Knowledge-based and intelligent information and engineering systems. Proceedings. Pt. 4 : 15th International Conference, KES 2011. Kaiserslautern, Germany, September 12-14, 2011
Heidelberg: Springer, 2011 (Lecture Notes in Artificial Intelligence 6884)
ISBN: 978-3-642-23865-9
ISSN: 0302-9743
International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES) <15, 2011, Kaiserslautern>
Fraunhofer IESE ()
ISO 26262; reference architecture; automotive industry; certification; formal verification

For automotive manufacturers and tier-1 suppliers, the upcoming safety standard ISO 26262 results in new requirements for the development of embedded electronics and software. In particular, the variety of driver assistance systems that autonomously influence the driving dynamics of a vehicle may have a high risk potential and require development in accordance with the normative guidelines. But especially for those systems whose function is typically not based solely on hardware but on complex software algorithms, safety certification can be very complex or even impossible. In this paper the problems of development of vehicle systems according to ISO 26262 are described. Finally an approach for a safety-oriented reference architecture is presented that introduces adaptive software safety cages. This architecture enables application of formal verification methods. Supported by multisensor data fusion this allows to reduce safety requirements for vehicle control systems.