Automated Freedom from Interference Analysis for Automotive Software

Lade...
Vorschaubild
Dateien
Leitner-Fischer_2-fhgn2pj0bc4h2.pdf
Leitner-Fischer_2-fhgn2pj0bc4h2.pdfGröße: 264.99 KBDownloads: 293
Datum
2016
Herausgeber:innen
Kontakt
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
DOI (zitierfähiger Link)
ArXiv-ID
Internationale Patentnummer
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Open Access Green
Core Facility der Universität Konstanz
Gesperrt bis
Titel in einer weiteren Sprache
Forschungsvorhaben
Organisationseinheiten
Zeitschriftenheft
Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published
Erschienen in
ROY, Matthieu, ed.. CARS 2016 : Critical Automotive applications : Robustness & Safety. Villeurbanne: CCSD, 2016
Zusammenfassung

Freedom from Interference for automotive software systems developed according to the ISO 26262 standard means that a fault in a less safety critical software component will not lead to a fault in a more safety critical component. It is an important concern in the realm of functional safety for automotive systems. We present an automated method for the analysis of concurrency-related interferences based on the QuantUM approach and tool that we have previously developed. We illustrate the proposed analysis using the case study of an airbag system.

Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
004 Informatik
Schlagwörter
Konferenz
CARS 2016 : 4th International Workshop on Critical Automotive Applications : Robustness & Safety, 6. Sept. 2016, Göteborg
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690LEITNER-FISCHER, Florian, Stefan LEUE, Sirui LIU, 2016. Automated Freedom from Interference Analysis for Automotive Software. CARS 2016 : 4th International Workshop on Critical Automotive Applications : Robustness & Safety. Göteborg, 6. Sept. 2016. In: ROY, Matthieu, ed.. CARS 2016 : Critical Automotive applications : Robustness & Safety. Villeurbanne: CCSD, 2016
BibTex
@inproceedings{LeitnerFischer2016Autom-42961,
  year={2016},
  title={Automated Freedom from Interference Analysis for Automotive Software},
  url={https://hal.archives-ouvertes.fr/CARS2016/hal-01375597},
  publisher={CCSD},
  address={Villeurbanne},
  booktitle={CARS 2016 : Critical Automotive applications : Robustness & Safety},
  editor={Roy, Matthieu},
  author={Leitner-Fischer, Florian and Leue, Stefan and Liu, Sirui}
}
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/42961">
    <dc:creator>Liu, Sirui</dc:creator>
    <dc:creator>Leitner-Fischer, Florian</dc:creator>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:contributor>Leue, Stefan</dc:contributor>
    <dc:language>eng</dc:language>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dcterms:abstract xml:lang="eng">Freedom from Interference for automotive software systems developed according to the ISO 26262 standard means that a fault in a less safety critical software component will not lead to a fault in a more safety critical component. It is an important concern in the realm of functional safety for automotive systems. We present an automated method for the analysis of concurrency-related interferences based on the QuantUM approach and tool that we have previously developed. We illustrate the proposed analysis using the case study of an airbag system.</dcterms:abstract>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-08-03T11:29:35Z</dc:date>
    <dcterms:title>Automated Freedom from Interference Analysis for Automotive Software</dcterms:title>
    <dcterms:issued>2016</dcterms:issued>
    <dc:rights>terms-of-use</dc:rights>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/42961/1/Leitner-Fischer_2-fhgn2pj0bc4h2.pdf"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/42961/1/Leitner-Fischer_2-fhgn2pj0bc4h2.pdf"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:creator>Leue, Stefan</dc:creator>
    <dc:contributor>Leitner-Fischer, Florian</dc:contributor>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/42961"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-08-03T11:29:35Z</dcterms:available>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:contributor>Liu, Sirui</dc:contributor>
  </rdf:Description>
</rdf:RDF>
Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Kontakt
Prüfdatum der URL
2018-08-01
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen