Towards causality checking for complex system models

Leitner-Fischer, Florian; Leue, Stefan

Towards causality checking for complex system models

Dateien

Leue 2013 2 edit.pdfGröße: 1.81 MBDownloads: 120

Datum

2012

Open Access-Veröffentlichung

Open Access Green

Sammlungen

Informatik und Informationswissenschaft

Publikationstyp

Beitrag zu einem Konferenzband

Publikationsstatus

Published

Erschienen in

GIESE, Holger, ed., Michaela HUHN, ed., Jan PHILIPPS, ed., Bernhard SCHÄTZ, ed.. Dagstuhl-Workshop MBEES : Modellbasierte Entwicklung eingebetteter Systeme VIII. Model-Based Development of Embedded Systems 06.02.2012 – 08.02.2012. Tagungsband. 2012, pp. 71-80

Zusammenfassung

With the increasing growth of the size and complexity of modern safetycritical systems, the demand for model based engineering methods that both help in architecting such systems and to asses their safety and correctness becomes increasingly obvious. Causality checking is an automated method for formal causality analysis of system models and system execution traces. In this paper we report on work in progress towards an on-the-fly approach for causality checking of system models. We also sketch how this approach can be applied in model-based system analysis when assessing the system's functional correctness.

Fachgebiet (DDC)

004 Informatik

Konferenz

Model-Based Development of Embedded Systems, 6. Feb. 2012 - 8. Feb. 2012

Zitieren

ISO 690

LEITNER-FISCHER, Florian, Stefan LEUE, 2012. Towards causality checking for complex system models. Model-Based Development of Embedded Systems, 6. Feb. 2012 - 8. Feb. 2012. In: GIESE, Holger, ed., Michaela HUHN, ed., Jan PHILIPPS, ed., Bernhard SCHÄTZ, ed.. Dagstuhl-Workshop MBEES : Modellbasierte Entwicklung eingebetteter Systeme VIII. Model-Based Development of Embedded Systems 06.02.2012 – 08.02.2012. Tagungsband. 2012, pp. 71-80

BibTex

@inproceedings{LeitnerFischer2012Towar-23317,
  year={2012},
  title={Towards causality checking for complex system models},
  booktitle={Dagstuhl-Workshop MBEES : Modellbasierte Entwicklung eingebetteter Systeme VIII. Model-Based Development of Embedded Systems 06.02.2012 – 08.02.2012. Tagungsband},
  pages={71--80},
  editor={Giese, Holger and Huhn, Michaela and Philipps, Jan and Schätz, Bernhard},
  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/23317">
    <dcterms:issued>2012</dcterms:issued>
    <dc:creator>Leue, Stefan</dc:creator>
    <dcterms:bibliographicCitation>Dagstuhl-Workshop MBEES : Modellbasierte Entwicklung eingebetteter Systeme VIII. Model-Based Development of Embedded Systems 06.02.2012 – 08.02.2012. Tagungsband / Holger Giese, Michaela Huhn, Jan Philipps, Bernhard Schätz. - S. 71-80</dcterms:bibliographicCitation>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:contributor>Leitner-Fischer, Florian</dc:contributor>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/23317/2/Leue%202013%202%20edit.pdf"/>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dcterms:title>Towards causality checking for complex system models</dcterms:title>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-08-05T09:04:10Z</dc:date>
    <dc:language>eng</dc:language>
    <dcterms:abstract xml:lang="eng">With the increasing growth of the size and complexity of modern safetycritical systems, the demand for model based engineering methods that both help in architecting such systems and to asses their safety and correctness becomes increasingly obvious. Causality checking is an automated method for formal causality analysis of system models and system execution traces. In this paper we report on work in progress towards an on-the-fly approach for causality checking of system models. We also sketch how this approach can be applied in model-based system analysis when assessing the system's functional correctness.</dcterms:abstract>
    <dc:contributor>Leue, Stefan</dc:contributor>
    <dc:rights>terms-of-use</dc:rights>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-08-05T09:04:10Z</dcterms:available>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/23317"/>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:creator>Leitner-Fischer, Florian</dc:creator>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/23317/2/Leue%202013%202%20edit.pdf"/>
  </rdf:Description>
</rdf:RDF>

Universitätsbibliographie

Ja