The QuantUM approach in the context of the ISO Standard 26262 for automotive systems
- Startseite
- →
- Informatik und Informationswissenschaft
- →
- Informatik und Informationswissenschaft
- →
- Dokumentanzeige
| Publikationstyp: | Working Paper/Technical Report |
| URI (zitierfähiger Link): | http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-131130 |
| Autor/innen: | Leitner-Fischer, Florian; Leue, Stefan |
| Erscheinungsjahr: | 2011 |
| Schriftenreihe: | Technical Report, Chair for Software Engineering, University of Konstanz ; soft-14-02 |
| Zusammenfassung: |
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.
|
| Fachgebiet (DDC): | 004 Informatik |
| Schlagwörter: | ISO26262, Functional Safety, Probabilistic Model Checking |
| Link zur Lizenz: | Nutzungsbedingungen |
| Universitätsbibliographie: | Ja |
Zitieren
Dateien zu dieser Ressource
![[PDF]](/themes/Kops/images/mimes/pdf.png "PDF file"){kind=small}
LEITNER-FISCHER, Florian, Stefan LEUE, 2011. The QuantUM approach in the context of the ISO Standard 26262 for automotive systems
@techreport{LeitnerFischer2011Quant-441, 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}, year={2011}, number={soft-14-02}, author={Leitner-Fischer, Florian 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/441"> <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> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-07-01T09:26:03Z</dcterms:available> <dc:creator>Leitner-Fischer, Florian</dc:creator> <dc:format>application/pdf</dc:format> <dcterms:rights rdf:resource="https://kops.uni-konstanz.de/page/termsofuse"/> <dc:contributor>Leue, Stefan</dc:contributor> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-07-01T09:26:03Z</dc:date> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/441/1/leitner-fischer.pdf"/> <dc:creator>Leue, Stefan</dc:creator> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/441"/> <dcterms:issued>2011</dcterms:issued> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/441/1/leitner-fischer.pdf"/> <dc:language>eng</dc:language> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:title>The QuantUM approach in the context of the ISO Standard 26262 for automotive systems</dcterms:title> <dc:rights>terms-of-use</dc:rights> </rdf:Description> </rdf:RDF>
Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)
| leitner-fischer.pdf | 331 |
Das Dokument erscheint in:
KOPS Suche
Stöbern
Mein Benutzerkonto
