The QuantUM approach in the context of the ISO Standard 26262 for automotive systems

Thumbnail Image
Date
2011
Editors
Contact
Journal ISSN
Electronic ISSN
ISBN
Bibliographical data
Publisher
Series
Technical Report, Chair for Software Engineering, University of Konstanz; soft-14-02
DOI (citable link)
ArXiv-ID
International patent number
Link to the license
EU project number
Project
Open Access publication
Restricted until
Title in another language
Research Projects
Organizational Units
Journal Issue
Publication type
Working Paper/Technical Report
Publication status
Published in
Abstract
The forthcoming standard ISO 26262 defines processes and techniques in support of a safe design and implementation of automotive systems. We comment on the recommendations that this standard provides with respect to the use of semi-formal and formal methods, including formal verification, during various stages of the proposed safety process. We illustrate how the QuantUM method and tool that we have developed in order to open UML-type system architecture models to formal analysis using stochastic model checking can be applied in support of the safety requirements imposed by the standard.
Summary in another language
Subject (DDC)
004 Computer Science
Keywords
ISO26262,Functional Safety,Probabilistic Model Checking
Conference
Review
undefined / . - undefined, undefined. - (undefined; undefined)
Cite This
ISO 690LEITNER-FISCHER, Florian, Stefan LEUE, 2011. The QuantUM approach in the context of the ISO Standard 26262 for automotive systems
BibTex
@techreport{LeitnerFischer2011Quant-441,
  year={2011},
  series={Technical Report, Chair for Software Engineering, University of Konstanz},
  title={The QuantUM approach in the context of the ISO Standard 26262 for automotive systems},
  number={soft-14-02},
  author={Leitner-Fischer, Florian and Leue, Stefan}
}
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/441">
    <dcterms:issued>2011</dcterms:issued>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/441/1/leitner-fischer.pdf"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:creator>Leitner-Fischer, Florian</dc:creator>
    <dcterms:title>The QuantUM approach in the context of the ISO Standard 26262 for automotive systems</dcterms:title>
    <dc:format>application/pdf</dc:format>
    <dc:contributor>Leitner-Fischer, Florian</dc:contributor>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:abstract xml:lang="eng">The forthcoming standard ISO 26262 defines processes and techniques in support of a safe design and implementation of automotive systems. We comment on the recommendations that this standard provides with respect to the use of semi-formal and formal methods, including formal verification, during various stages of the proposed safety process.  We illustrate how the QuantUM method and tool that we have developed in order to open UML-type system architecture models to formal analysis using stochastic model checking can be applied in support of the safety requirements imposed by the standard.</dcterms:abstract>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/441"/>
    <dc:creator>Leue, Stefan</dc:creator>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-07-01T09:26:03Z</dcterms:available>
    <dc:contributor>Leue, Stefan</dc:contributor>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-07-01T09:26:03Z</dc:date>
    <dc:language>eng</dc:language>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:rights>terms-of-use</dc:rights>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/441/1/leitner-fischer.pdf"/>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
  </rdf:Description>
</rdf:RDF>
Internal note
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Contact
URL of original publication
Test date of URL
Examination date of dissertation
Method of financing
Comment on publication
Alliance license
Corresponding Authors der Uni Konstanz vorhanden
International Co-Authors
Bibliography of Konstanz
Yes
Refereed