Towards causality checking for complex system models

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:ad35be7227e22982ce8561df1a1d0131

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. Model-Based Development of Embedded Systems, 6. Feb 2012 - 8. Feb 2012, pp. 71-80

@inproceedings{Leitner-Fischer2012Towar-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:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" 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> <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> <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"/> <dcterms:title>Towards causality checking for complex system models</dcterms:title> <dc:rights>deposit-license</dc:rights> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-08-05T09:04:10Z</dc:date> <dc:language>eng</dc:language> <dcterms:issued>2012</dcterms:issued> <dc:creator>Leitner-Fischer, Florian</dc:creator> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Leue 2013 2 edit.pdf 95

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto