Towards Symbolic Causality Checking using SAT-Solving

Lade...
Vorschaubild
Dateien
Beer_278932.pdf
Beer_278932.pdfGröße: 1006.81 KBDownloads: 187
Datum
2014
Herausgeber:innen
Kontakt
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
DOI (zitierfähiger Link)
ArXiv-ID
Internationale Patentnummer
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Open Access Green
Core Facility der Universität Konstanz
Gesperrt bis
Titel in einer weiteren Sprache
Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published
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, pp. 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.

Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
004 Informatik
Schlagwörter
Konferenz
Model-based development of embedded systems, 5. März 2014 - 7. März 2014
Rezension
undefined / . - undefined, undefined
Forschungsvorhaben
Organisationseinheiten
Zeitschriftenheft
Datensätze
Zitieren
ISO 690BEER, 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, 2014, 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>
Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Kontakt
URL der Originalveröffentl.
Prüfdatum der URL
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen