Publikation:

Automated Freedom from Interference Analysis for Automotive Software

Vorschaubild

Dateien

Leitner-Fischer_2-fhgn2pj0bc4h2.pdf
Leitner-Fischer_2-fhgn2pj0bc4h2.pdfGröße: 264.99 KBDownloads: 455

Datum

2016

Autor:innen

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

URI (zitierfähiger Link)
http://nbn-resolving.de/urn:nbn:de:bsz:352-2-fhgn2pj0bc4h2
DOI (zitierfähiger Link)
ArXiv-ID

Internationale Patentnummer

Link zur Lizenz
Urheberrechtlich geschützt

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung
Open Access Green

Sammlungen

Informatik und Informationswissenschaft: Publikationen
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

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

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

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
URL der Originalveröffentl.
https://hal.archives-ouvertes.fr/CARS2016/hal-01375597

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