Safe automotive software


== Abstract ==

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.


== Original document ==

The different versions of the original document can be found in:

* [http://publica.fraunhofer.de/documents/N-183449.html http://publica.fraunhofer.de/documents/N-183449.html]

* [http://publica.fraunhofer.de/documents/N-185793.html http://publica.fraunhofer.de/documents/N-185793.html]

* [http://link.springer.com/content/pdf/10.1007/978-3-642-23866-6_18 http://link.springer.com/content/pdf/10.1007/978-3-642-23866-6_18],
: [http://dx.doi.org/10.1007/978-3-642-23866-6_18 http://dx.doi.org/10.1007/978-3-642-23866-6_18] under the license http://www.springer.com/tdm

* [https://es.cs.uni-kl.de/publications/datarsg/HGPB11.pdf https://es.cs.uni-kl.de/publications/datarsg/HGPB11.pdf],
: [https://dblp.uni-trier.de/db/conf/kes/kes2011-4.html#HeckemannGPBST11 https://dblp.uni-trier.de/db/conf/kes/kes2011-4.html#HeckemannGPBST11],
: [https://link.springer.com/chapter/10.1007%2F978-3-642-23866-6_18 https://link.springer.com/chapter/10.1007%2F978-3-642-23866-6_18],
: [https://core.ac.uk/display/56868110 https://core.ac.uk/display/56868110],
: [http://agrosy.informatik.uni-kl.de/fileadmin/Literatur/Heckemann11.pdf http://agrosy.informatik.uni-kl.de/fileadmin/Literatur/Heckemann11.pdf],
: [https://doi.org/10.1007/978-3-642-23866-6_18 https://doi.org/10.1007/978-3-642-23866-6_18],
: [https://dl.acm.org/citation.cfm?id=2041518 https://dl.acm.org/citation.cfm?id=2041518],
: [https://rd.springer.com/chapter/10.1007/978-3-642-23866-6_18 https://rd.springer.com/chapter/10.1007/978-3-642-23866-6_18],
: [http://es.cs.uni-kl.de/publications/datarsg/HGPB11.pdf http://es.cs.uni-kl.de/publications/datarsg/HGPB11.pdf],
: [https://es.informatik.uni-kl.de/publications/datarsg/HGPB11.pdf https://es.informatik.uni-kl.de/publications/datarsg/HGPB11.pdf],
: [http://agrosy.informatik.uni-kl.de/lehrstuhl/ag-leiter/veroeffentlichungen/show/heckemann11 http://agrosy.informatik.uni-kl.de/lehrstuhl/ag-leiter/veroeffentlichungen/show/heckemann11],
: [http://es.informatik.uni-kl.de/publications/datarsg/HGPB11.pdf http://es.informatik.uni-kl.de/publications/datarsg/HGPB11.pdf],
: [https://academic.microsoft.com/#/detail/2149699531 https://academic.microsoft.com/#/detail/2149699531]