Towards causality checking for complex system models
| Type of Publication: | Contribution to a conference collection |
| URI (citable link): | http://nbn-resolving.de/urn:nbn:de:bsz:352-233173 |
| Author: | Leitner-Fischer, Florian; Leue, Stefan |
| Year of publication: | 2012 |
| Conference: | Model-Based Development of Embedded Systems, Feb 6, 2012 - Feb 8, 2012 |
| Published in: | Dagstuhl-Workshop MBEES : Modellbasierte Entwicklung eingebetteter Systeme VIII. Model-Based Development of Embedded Systems 06.02.2012 – 08.02.2012. Tagungsband / Giese, Holger; Huhn, Michaela; Philipps, Jan; Schätz, Bernhard (ed.). - pp. 71-80 |
| Summary: |
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.
|
| Subject (DDC): | 004 Computer Science |
| Link to License: | In Copyright |
| Bibliography of Konstanz: | Yes |
Cite This
Files in this item
![[PDF]](/themes/Kops/images/mimes/pdf.png "PDF file"){kind=small}
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
