Verifikation von ausführbaren Systemspezifikationen.pdf

Verifikation von ausführbaren Systemspezifikationen PDF

Für die Entwicklung komplexer eingebetteter Systeme werden ausführbare Spezifikationen eingesetzt, die eine frühe Validierung der zu entwickelnden Systeme in Bezug auf funktionale Aspekte ermöglichen. Ausfürbare Systemsprzifikationen basierend auf dem Discrete-Event Formalismus erlauben eine vergleichsweise abstrakte parametrisierbare Beschreibung, unabhängig von Implementierungsdetails. Gegenstand dieses Buches ist die Entwicklung und Gegenüberstellung von Eigenschaftsbeschreibungen und Verifikationsmethoden, die eine automatisierte Verifikation zeitbeschränkter funktionaler Eigenschaften in ausführbaren Spezifikation ermöglichen. Es werden zwei Anwendungsszenarien für die Verifikation betrachtet, einerseits die vollständige formale Verifikation von Eigenschaften und andererseits eine dynamische Überprüfung von temporalen Eigenschaften während einer szenariobasierten Simulation. Beide Ansätze sind prototypisch für die Entwicklungsumgebung MLDesigner realisiert und validiert worden. Ausgehend von den Ergebnissen der Validierung werden die Ansätze vergleichend gegenübergestellt.

HERUNTERLADEN

ONLINE LESEN

DATEIGRÖSSE 4.48 MB
ISBN 9783838121925
AUTOR Alexander Pacholik
DATEINAME Verifikation von ausführbaren Systemspezifikationen.pdf
VERöFFENTLICHUNGSDATUM 03/01/2020

Formale Verifikation ist der Beweis, dass ein Programm P alle in einem. Vorgabedokument S ... Die Semantik wird durch ein Axiom {V} s {N} für jede ausführbare. Grundlage bildet die ausführbare Systemspezifikation und die dort definierten ... der zuvor spezifizierten Testfälle verifiziert und validiert (Last- und Dauertests). 28. Juni 2017 ... Stetige Verifikation begleitet die einzelnen Entwicklungsschritte. ... Entwicklung und frühzeitige Absicherung durch ausführbare Modelle setzt. ... zur weiteren Analyse importiert, in eine Systemspezifikation überführt und die ...

PC und MAC

Lesen Sie das eBook direkt nach dem Herunterladen über "Jetzt lesen" im Browser, oder mit der kostenlosen Lesesoftware Adobe Reader & Google Chrome.

Bonus

Versandkostenfrei für Bonuscardkunde

eBooks Online

Sofortiger Zugriff auf alle eBooks - per Download und Online-Lesen