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

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:234b8022c938f6a7238b45c5b94cfec2

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

@mastersthesis{LeitnerFischer2008Evalu-5603, 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/5603"> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5603/1/Leitner_Evaluation_of_the_Matlab_Simulink_Design_Verifier_versus_the_model_checker_SPIN.pdf"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:creator>Leitner-Fischer, Florian</dc:creator> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:56:43Z</dcterms:available> <dcterms:title>Evaluation of the Matlab Simulink Design Verifier versus the model checker SPIN</dcterms:title> <dcterms:issued>2008</dcterms:issued> <dc:language>eng</dc:language> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:56:43Z</dc:date> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/5603"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <dcterms:abstract xml:lang="eng">An increasing number of industrial strength software design tools come along with verification tools that offer 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:format>application/pdf</dc:format> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5603/1/Leitner_Evaluation_of_the_Matlab_Simulink_Design_Verifier_versus_the_model_checker_SPIN.pdf"/> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103416863-3868037-7"/> <dc:rights>deposit-license</dc:rights> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Leitner_Evaluation_of_the_Matlab_Simulink_Design_Verifier_versus_the_model_checker_SPIN.pdf 549

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto