Simulink Design Verifier vs. SPIN : a comparative case study

Cite This

Files in this item

Checksum: MD5:ffb41273e1d1d1ab2e3b6d913048710d

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="" xmlns:dc="" xmlns:rdf="" xmlns:bibo="" xmlns:dspace="" xmlns:foaf="" xmlns:void="" xmlns:xsd="" > <rdf:Description rdf:about=""> <dspace:isPartOfCollection rdf:resource=""/> <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="">2013-03-12T13:22:32Z</dc:date> <dcterms:hasPart rdf:resource=""/> <dcterms:issued>2008</dcterms:issued> <dc:creator>Leue, Stefan</dc:creator> <dcterms:isPartOf rdf:resource=""/> <dcterms:rights rdf:resource=""/> <dc:language>eng</dc:language> <dspace:hasBitstream rdf:resource=""/> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <bibo:uri rdf:resource=""/> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:available rdf:datatype="">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>

Downloads since Oct 1, 2014 (Information about access statistics)

Leitner-Fischer_212922.pdf 940

This item appears in the following Collection(s)

Search KOPS


My Account