Type of Publication: | Other, text-bound (e.g. expert opinions, blog posts) |
URI (citable link): | http://nbn-resolving.de/urn:nbn:de:bsz:352-212922 |
Author: | Leitner-Fischer, Florian; Leue, Stefan |
Date: | 2008 |
Summary: |
An increasing number of industrial strength software design tools come along with veri cation tools that o er some property checking capabilities. On the other hand, there is a large number of general purpose model checking tools available. The question whether users of the industrial strength design tool preferably use the built-in state space exploration tool or a general purpose model checking tool arises quite naturally. Using the case study of an AUTOSAR compliant memory management module we compare the Simulink Design Veri er and the SPIN model checking tool in terms of their suitability to verify important correctness properties of this module. The comparison is both functional in that it analyzes the suitability to verify a set of basic system properties, and quantitative in comparing the computational efficiency of both tools.
|
Subject (DDC): | 004 Computer Science |
Comment on publication: | „Paper presented at FMICS 2008, ERCIM Working Group on Formal Methods for Industrial Critical Systems“ |
Link to License: | In Copyright |
Bibliography of Konstanz: | Yes |
LEITNER-FISCHER, Florian, Stefan LEUE, 2008. Simulink Design Verifier vs. SPIN : a comparative case study
@misc{LeitnerFischer2008Simul-21292, title={Simulink Design Verifier vs. SPIN : a comparative case study}, year={2008}, author={Leitner-Fischer, Florian and Leue, Stefan}, note={„Paper presented at FMICS 2008, ERCIM Working Group on Formal Methods for Industrial Critical Systems“} }
<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/21292"> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:rights>terms-of-use</dc:rights> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:creator>Leitner-Fischer, Florian</dc:creator> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-03-12T13:22:32Z</dc:date> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/21292/1/Leitner-Fischer_212922.pdf"/> <dcterms:issued>2008</dcterms:issued> <dc:creator>Leue, Stefan</dc:creator> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dc:language>eng</dc:language> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/21292/1/Leitner-Fischer_212922.pdf"/> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/21292"/> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-03-12T13:22:32Z</dcterms:available> <dcterms:abstract xml:lang="eng">An increasing number of industrial strength software design tools come along with veri cation tools that o er some property checking capabilities. On the other hand, there is a large number of general purpose model checking tools available. The question whether users of the industrial strength design tool preferably use the built-in state space exploration tool or a general purpose model checking tool arises quite naturally. Using the case study of an AUTOSAR compliant memory management module we compare the Simulink Design Veri er and the SPIN model checking tool in terms of their suitability to verify important correctness properties of this module. The comparison is both functional in that it analyzes the suitability to verify a set of basic system properties, and quantitative in comparing the computational efficiency of both tools.</dcterms:abstract> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:title>Simulink Design Verifier vs. SPIN : a comparative case study</dcterms:title> </rdf:Description> </rdf:RDF>
Leitner-Fischer_212922.pdf | 940 |