Publikation

The Verification Support Environment VSE

Peter Baur, Peter Kejwal, Wolfgang Reif, Werner Stephan, Dieter Hutter, Claus Sengler, Jürgen Cleve

In: H. H. Frey (Hrsg.). Proceedings of the IFAC Symposium. IFAC Symposium on Safety of Computer Control Systems (SAFECOMP-92) October 28-30 Zürich Switzerland Seiten 69-74 IFAC Symposia Series Pergamon Press 1992.

Abstrakt

Die Gefahren durch eine mögliche Fehlfunktion informationsverarbeitender Systemen reichen vom einfachen Datenverlust bis hin zum Verlust von Menschenleben. Zur Beurteilung der Zuverlässigkeit von Software-Systemen wurden deshalb von zahlreichen Staaten Qualitätskriterien erlassen. Das Entwicklungswerkzeug Verification Support Environment (VSE) ist für die höheren Qualitätsstufen solcher Kriterienkataloge konzipiert. Gegenüber konventionellen CASE-Tools bietet es zusätzlich die Möglichkeit, mit Hilfe formaler Spezifikations- und Verifikationsmethoden die Korrektheit von Software-Systemen oder Teilen davon zu beweisen. In diesem Beitrag werden, ausgehend vom VSE-Vorgehensmodell, die in VSE vorhandenen formalen Konzepte, die Systemarchitektur von VSE sowie die Anwendung des Systems an praktischen Beispielen vorgestellt.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence