Verification Support Environment (VSE)

english:

The potential dangers from a malfunctioning of information processing systems range from simple loss of data to loss of life. This led many states come up with (hierarchies of) criteria to evaluate the trustworthiness of software systems. The Verification Support Environment (VSE) was designed to satisfies the requirements of the higher levels of such catalogs of criteria. VSE complements the usual functionality of CASE tools with support for formal specification and verification of software systems or parts thereof. In this paper we will outline the formal concepts of VSE, the system architecture, and the system's application to real world examples, taking the VSE [Vorgehensmodell] as a guideline.

deutsch:

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.

Available as

english: Postscript (124 KB)

deutsch: Postscript (144 KB)

@inproceedings{Forster93:VSE,
  author = "Förster, Kejwal, Baur, Göhner, Cleve, Drexler, Hutter,
            Sengler, Siekmann, Stephan, Wolpers, Reif, Canver, von Henke",
  title = "Verification Support Environment (VSE)",
  booktitle = "IT-Sicherheit - Eine neue Qualitätsdimension",
  note = "3. Deutscher IT-Sicherheitskongress des BSI",
  organization = "Bundesamt für Sicherheit in der Informationstechnik (BSI)",
  pages = "327--337",
  publisher = "SecuMedia Verlag",
  address = "Ingelheim"
  year = "1993"
}