Automated Functional Safety Analysis of Automated Driving Systems

Cite This

Files in this item

Checksum: MD5:d39c3fc60372394b0cb671b7d872a77b

KÖLBL, Martin, Stefan LEUE, 2018. Automated Functional Safety Analysis of Automated Driving Systems. 23rd International Conference, FMICS 2018. Maynooth, Ireland, Sep 3, 2018 - Sep 4, 2018. In: HOWAR, Falk, ed., Jiří BARNAT, ed.. Formal Methods for Industrial Critical Systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings. Cham:Springer, pp. 35-51. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-00243-5. Available under: doi: 10.1007/978-3-030-00244-2_3

@inproceedings{Kolbl2018-08-30Autom-44583, title={Automated Functional Safety Analysis of Automated Driving Systems}, year={2018}, doi={10.1007/978-3-030-00244-2_3}, number={11119}, isbn={978-3-030-00243-5}, issn={0302-9743}, address={Cham}, publisher={Springer}, series={Lecture Notes in Computer Science}, booktitle={Formal Methods for Industrial Critical Systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings}, pages={35--51}, editor={Howar, Falk and Barnat, Jiří}, author={Kölbl, Martin and Leue, Stefan} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/44583"> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dcterms:title>Automated Functional Safety Analysis of Automated Driving Systems</dcterms:title> <dc:language>eng</dc:language> <dc:contributor>Kölbl, Martin</dc:contributor> <dc:contributor>Leue, Stefan</dc:contributor> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/44583"/> <dcterms:abstract xml:lang="eng">In this paper, we present a method to assess functional safety of architectures for Automated Driving Systems (ADS). The ISO 26262 standard defines requirements and processes in support of achieving functional safety of passenger vehicles, but does not address in particular autonomous driving functions. Autonomous driving will bring with it a number of fundamental changes affecting functional safety. First, there will no longer be a driver capable of controlling the vehicle in case of a failure of the ADS. Second, the hardware and software architectures will become more complex and flexible than those used for conventional vehicles. We present an automated method to assert functional safety of ADS systems in the spirit of ISO 26262 in light of these changes. The approach is model-based and implemented in the QuantUM analysis tool. We illustrate its use in functional safety analysis using a proposed practical ADS architecture and address, in particular, architectural variant analysis.</dcterms:abstract> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-01-16T08:55:59Z</dc:date> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/44583/1/Koelbl_2-1a3dufmu3aia68.pdf"/> <dc:rights>terms-of-use</dc:rights> <dcterms:issued>2018-08-30</dcterms:issued> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:creator>Leue, Stefan</dc:creator> <dc:creator>Kölbl, Martin</dc:creator> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/44583/1/Koelbl_2-1a3dufmu3aia68.pdf"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-01-16T08:55:59Z</dcterms:available> </rdf:Description> </rdf:RDF>

Downloads since Jan 16, 2019 (Information about access statistics)

Koelbl_2-1a3dufmu3aia68.pdf 255

This item appears in the following Collection(s)

Search KOPS


Browse

My Account