Publikation:

Towards Symbolic Causality Checking using SAT-Solving

Lade...
Vorschaubild

Dateien

Beer_278932.pdf
Beer_278932.pdfGröße: 1006.81 KBDownloads: 202

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

Zugehörige Datensätze in KOPS

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