Automated Functional Safety Analysis of Automated Driving Systems
| dc.contributor.author | Kölbl, Martin | |
| dc.contributor.author | Leue, Stefan | |
| dc.date.accessioned | 2019-01-16T08:55:59Z | |
| dc.date.available | 2019-01-16T08:55:59Z | |
| dc.date.issued | 2018-08-30 | eng |
| dc.description.abstract | 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. | eng |
| dc.description.version | published | eng |
| dc.identifier.doi | 10.1007/978-3-030-00244-2_3 | eng |
| dc.identifier.ppn | 1677527609 | |
| dc.identifier.uri | https://kops.uni-konstanz.de/handle/123456789/44583 | |
| dc.language.iso | eng | eng |
| dc.rights | terms-of-use | |
| dc.rights.uri | https://rightsstatements.org/page/InC/1.0/ | |
| dc.subject.ddc | 004 | eng |
| dc.title | Automated Functional Safety Analysis of Automated Driving Systems | eng |
| dc.type | INPROCEEDINGS | eng |
| dspace.entity.type | Publication | |
| kops.citation.bibtex | @inproceedings{Kolbl2018-08-30Autom-44583,
year={2018},
doi={10.1007/978-3-030-00244-2_3},
title={Automated Functional Safety Analysis of Automated Driving Systems},
number={11119},
isbn={978-3-030-00243-5},
issn={0302-9743},
publisher={Springer},
address={Cham},
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}
} | |
| kops.citation.iso690 | KÖLBL, Martin, Stefan LEUE, 2018. Automated Functional Safety Analysis of Automated Driving Systems. 23rd International Conference, FMICS 2018. Maynooth, Ireland, 3. Sept. 2018 - 4. Sept. 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, 2018, pp. 35-51. Lecture Notes in Computer Science. 11119. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-00243-5. Available under: doi: 10.1007/978-3-030-00244-2_3 | deu |
| kops.citation.iso690 | 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, 2018, pp. 35-51. Lecture Notes in Computer Science. 11119. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-00243-5. Available under: doi: 10.1007/978-3-030-00244-2_3 | eng |
| kops.citation.rdf | <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/server/rdf/resource/123456789/44583">
<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:issued>2018-08-30</dcterms:issued>
<dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/44583/1/Koelbl_2-1a3dufmu3aia68.pdf"/>
<foaf:homepage rdf:resource="http://localhost:8080/"/>
<dc:contributor>Leue, Stefan</dc:contributor>
<dc:creator>Leue, Stefan</dc:creator>
<void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
<bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/44583"/>
<dc:language>eng</dc:language>
<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>
<dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
<dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-01-16T08:55:59Z</dc:date>
<dc:rights>terms-of-use</dc:rights>
<dc:contributor>Kölbl, Martin</dc:contributor>
<dcterms:title>Automated Functional Safety Analysis of Automated Driving Systems</dcterms:title>
<dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
<dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-01-16T08:55:59Z</dcterms:available>
<dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
</rdf:Description>
</rdf:RDF> | |
| kops.conferencefield | 23rd International Conference, FMICS 2018, 3. Sept. 2018 - 4. Sept. 2018, Maynooth, Ireland | deu |
| kops.date.conferenceEnd | 2018-09-04 | eng |
| kops.date.conferenceStart | 2018-09-03 | eng |
| kops.description.openAccess | openaccessgreen | |
| kops.flag.knbibliography | true | |
| kops.identifier.nbn | urn:nbn:de:bsz:352-2-1a3dufmu3aia68 | |
| kops.location.conference | Maynooth, Ireland | eng |
| kops.sourcefield | HOWAR, Falk, ed., Jiří BARNAT, ed.. <i>Formal Methods for Industrial Critical Systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings</i>. Cham: Springer, 2018, pp. 35-51. Lecture Notes in Computer Science. 11119. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-00243-5. Available under: doi: 10.1007/978-3-030-00244-2_3 | deu |
| kops.sourcefield.plain | 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, 2018, pp. 35-51. Lecture Notes in Computer Science. 11119. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-00243-5. Available under: doi: 10.1007/978-3-030-00244-2_3 | deu |
| kops.sourcefield.plain | 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, 2018, pp. 35-51. Lecture Notes in Computer Science. 11119. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-00243-5. Available under: doi: 10.1007/978-3-030-00244-2_3 | eng |
| kops.title.conference | 23rd International Conference, FMICS 2018 | eng |
| relation.isAuthorOfPublication | f99f707a-cd23-409d-b0da-0d703bd1ec0c | |
| relation.isAuthorOfPublication | a0cf1380-ebf9-403b-a02e-6e97bae25ef6 | |
| relation.isAuthorOfPublication.latestForDiscovery | f99f707a-cd23-409d-b0da-0d703bd1ec0c | |
| source.bibliographicInfo.fromPage | 35 | eng |
| source.bibliographicInfo.seriesNumber | 11119 | eng |
| source.bibliographicInfo.toPage | 51 | eng |
| source.contributor.editor | Howar, Falk | |
| source.contributor.editor | Barnat, Jiří | |
| source.identifier.eissn | 1611-3349 | eng |
| source.identifier.isbn | 978-3-030-00243-5 | eng |
| source.identifier.issn | 0302-9743 | eng |
| source.publisher | Springer | eng |
| source.publisher.location | Cham | eng |
| source.relation.ispartofseries | Lecture Notes in Computer Science | eng |
| source.title | Formal Methods for Industrial Critical Systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings | eng |
Dateien
Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
- Name:
- Koelbl_2-1a3dufmu3aia68.pdf
- Größe:
- 252.28 KB
- Format:
- Adobe Portable Document Format
- Beschreibung:
