Simulink Design Verifier vs. SPIN : a comparative case study

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:ffb41273e1d1d1ab2e3b6d913048710d

LEITNER-FISCHER, Florian, Stefan LEUE, 2008. Simulink Design Verifier vs. SPIN : a comparative case study

@misc{Leitner-Fischer2008Simul-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:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/21292"> <dc:rights>deposit-license</dc:rights> <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:issued>2008</dcterms:issued> <dc:creator>Leue, Stefan</dc:creator> <dc:language>eng</dc:language> <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:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <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> <dcterms:title>Simulink Design Verifier vs. SPIN : a comparative case study</dcterms:title> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Leitner-Fischer_212922.pdf 494

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto