Towards Symbolic Causality Checking using SAT-Solving

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:2169156c21f71a03b20a1262df488ace

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är 2014 - 7. Mär 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. Model-based development of embedded systems, 5. Mär 2014 - 7. Mär 2014. München:fortiss, pp. 11-20

@inproceedings{Beer2014Towar-27893, title={Towards Symbolic Causality Checking using SAT-Solving}, year={2014}, address={München}, publisher={fortiss}, 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 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/27893"> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-05-21T11:52:25Z</dcterms:available> <dc:creator>Beer, Adrian</dc:creator> <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> <dcterms:title>Towards Symbolic Causality Checking using SAT-Solving</dcterms:title> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/27893"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:contributor>Leue, Stefan</dc:contributor> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <dc:creator>Leue, Stefan</dc:creator> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-05-21T11:52:25Z</dc:date> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <dc:rights>deposit-license</dc:rights> <dc:contributor>Kühne, Uwe</dc:contributor> <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>Beer, Adrian</dc:contributor> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/27893/1/Beer_278932.pdf"/> <dcterms:issued>2014</dcterms:issued> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:language>eng</dc:language> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:creator>Leitner-Fischer, Florian</dc:creator> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/27893/1/Beer_278932.pdf"/> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Beer_278932.pdf 104

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto