Towards Symbolic Causality Checking using SAT-Solving

Beer, Adrian; Kühne, Uwe; Leitner-Fischer, Florian; Leue, Stefan

Towards Symbolic Causality Checking using SAT-Solving

Dateien

Beer_278932.pdf(1006.81 KB)

Datum

2014

Autor:innen

Beer, Adrian

Kühne, Uwe

Leitner-Fischer, Florian

Leue, Stefan

Publikationstyp

Beitrag zu einem Konferenzband

Erschienen in

MBEES 2014 : Tagungsband des Dagstuhl-Workshops ; Modellbasierte Entwicklung eingebetteter Systeme X ; 05.03.2014 – 07.03.2014 = Model-based development of embedded systems. - München : fortiss, 2014. - S. 11-20

Zusammenfassung

With the increasing size and complexity of modern safety critical embedded systems, the need for automated analysis methods is growing as well. Causality Checking is an automated technique for formal causality analysis of system models. In this paper we report on work in progress towards an Symbolic Causality Checking approach. The proposed approach is based on bounded model checking using SAT solving which is known to be efficient for large and complex system models.

Fachgebiet (DDC)

004 Informatik

Konferenz

Model-based development of embedded systems, 5. März 2014 - 7. März 2014

Zitieren

ISO 690

BEER, Adrian, Uwe KÜHNE, Florian LEITNER-FISCHER, Stefan LEUE, 2014. Towards Symbolic Causality Checking using SAT-Solving. Model-based development of embedded systems, 5. März 2014 - 7. März 2014. In: MBEES 2014 : Tagungsband des Dagstuhl-Workshops ; Modellbasierte Entwicklung eingebetteter Systeme X ; 05.03.2014 – 07.03.2014 = Model-based development of embedded systems. München:fortiss, pp. 11-20

BibTex

@inproceedings{Beer2014Towar-27893,
  year={2014},
  title={Towards Symbolic Causality Checking using SAT-Solving},
  publisher={fortiss},
  address={München},
  booktitle={MBEES 2014 : Tagungsband des Dagstuhl-Workshops ; Modellbasierte Entwicklung eingebetteter Systeme X ; 05.03.2014 – 07.03.2014 = Model-based development of embedded systems},
  pages={11--20},
  author={Beer, Adrian and Kühne, Uwe and 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/27893">
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:creator>Beer, Adrian</dc:creator>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/27893/1/Beer_278932.pdf"/>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/27893/1/Beer_278932.pdf"/>
    <dc:contributor>Beer, Adrian</dc:contributor>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:issued>2014</dcterms:issued>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-05-21T11:52:25Z</dc:date>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/27893"/>
    <dc:language>eng</dc:language>
    <dc:creator>Leitner-Fischer, Florian</dc:creator>
    <dc:creator>Leue, Stefan</dc:creator>
    <dc:contributor>Kühne, Uwe</dc:contributor>
    <dcterms:title>Towards Symbolic Causality Checking using SAT-Solving</dcterms:title>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:rights>terms-of-use</dc:rights>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:contributor>Leue, Stefan</dc:contributor>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-05-21T11:52:25Z</dcterms:available>
    <dcterms:bibliographicCitation>MBEES 2014 : Tagungsband des Dagstuhl-Workshops ; Modellbasierte Entwicklung eingebetteter Systeme X ; 05.03.2014 – 07.03.2014 = Model-based development of embedded systems / München : fortiss, 2014. - S. 11-20</dcterms:bibliographicCitation>
    <dc:creator>Kühne, Uwe</dc:creator>
    <dcterms:abstract xml:lang="eng">With the increasing size and complexity of modern safety critical embedded systems, the need for automated analysis methods is growing as well. Causality Checking is an automated technique for formal causality analysis of system models. In this paper we report on work in progress towards an Symbolic Causality Checking approach. The proposed approach is based on bounded model checking using SAT solving which is known to be efficient for large and complex system models.</dcterms:abstract>
    <dc:contributor>Leitner-Fischer, Florian</dc:contributor>
  </rdf:Description>
</rdf:RDF>

Universitätsbibliographie

Ja