Towards causality checking for complex system models

Cite This

Files in this item

Checksum: MD5:ad35be7227e22982ce8561df1a1d0131

LEITNER-FISCHER, Florian, Stefan LEUE, 2012. Towards causality checking for complex system models. Model-Based Development of Embedded Systems, Feb 6, 2012 - Feb 8, 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, pp. 71-80

@inproceedings{LeitnerFischer2012Towar-23317, title={Towards causality checking for complex system models}, year={2012}, 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 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/23317"> <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> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/23317/2/Leue%202013%202%20edit.pdf"/> <dc:contributor>Leue, Stefan</dc:contributor> <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> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-08-05T09:04:10Z</dcterms:available> <dc:creator>Leue, Stefan</dc:creator> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/23317"/> <dc:rights>terms-of-use</dc:rights> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/23317/2/Leue%202013%202%20edit.pdf"/> <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"/> <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> <dc:creator>Leitner-Fischer, Florian</dc:creator> <dcterms:issued>2012</dcterms:issued> </rdf:Description> </rdf:RDF>

Downloads since Oct 1, 2014 (Information about access statistics)

Leue 2013 2 edit.pdf 178

This item appears in the following Collection(s)

Search KOPS


Browse

My Account