KOPS - The Institutional Repository of the University of Konstanz

Evaluation of the Matlab Simulink Design Verifier versus the model checker SPIN

Aufgrund von Vorbereitungen auf eine neue Version von KOPS, können kommenden Montag und Dienstag keine Publikationen eingereicht werden. (Due to preparations for a new version of KOPS, no publications can be submitted next Monday and Tuesday.)

Evaluation of the Matlab Simulink Design Verifier versus the model checker SPIN

Cite This

Files in this item

Checksum: MD5:2ad6c62a7b61e8e174d4d31be2568871

LEITNER-FISCHER, Florian, 2008. Evaluation of the Matlab Simulink Design Verifier versus the model checker SPIN

@techreport{LeitnerFischer2008Evalu-21293, series={Technical Report, Chair for Software Engineering, University of Konstanz ; soft-08-05}, title={Evaluation of the Matlab Simulink Design Verifier versus the model checker SPIN}, year={2008}, author={Leitner-Fischer, Florian} }

<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/21293"> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:title>Evaluation of the Matlab Simulink Design Verifier versus the model checker SPIN</dcterms:title> <dc:creator>Leitner-Fischer, Florian</dc:creator> <dcterms:issued>2008</dcterms:issued> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/21293/1/Leitner_212939.pdf"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-01-30T09:58:44Z</dcterms:available> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/21293"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/21293/1/Leitner_212939.pdf"/> <dcterms:abstract xml:lang="eng">An increasing number of industrial strength software design tools come along with verification 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 verification tool or a general purpose model checking tool arises quite naturally. In this bachelor thesis, the Simulink Design Verifier and the SPIN model checking tool are compared. The comparison is based on the case study of an AUTOSAR compliant memory management 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. In this context, it is also described how Simulink / Stateflow models can be manually translated into the input language of the model checker SPIN.</dcterms:abstract> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-01-30T09:58:44Z</dc:date> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dc:language>eng</dc:language> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <dc:rights>terms-of-use</dc:rights> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> </rdf:Description> </rdf:RDF>

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

Leitner_212939.pdf 170

This item appears in the following Collection(s)

Search KOPS


Browse

My Account