EUROFORM Formal Methods for Correct System Design

Ziele

EuroForm bildet ein Netzwerkinnerhalb des Programms "Human Capital and Mobility" der Europäischen Union. Dieses Programm dient dazu, die Zusammenarbeit von Forschern innerhalb der Europäischen Union zu intensivieren und vorhandenes Wissen zu verbreiten.

 

An dem Projekt EuroForm sind mehrere Forschungseinrichtungen und Firmen Europas beteiligt. Sinn und Zweck dieses Vorhabens ist es, Wissen und Erfahrungen auf dem Gebiet der formalen Methoden für einen korrekten Systementwurf (Formal Methods for Correct Sytem Design) auszutauschen.

 

Überblick

Kernpunkte sind Methoden, die die formale Spezifikation, denEntwurf und den Korrektheitsnachweis von Hardware- und Hardware/Software-Systemen unterstützen. Ziel ist es verstärkt formale Methoden zum Einsatz zu bringen, um so den Entwurf komplexer Systeme entscheidend zu verbessern. Hierzu werden Workshops veranstaltet und Möglichkeiten geschaffen, Gastwissenschaftler für einige Monate bei einem beteiligten Partner zu beschäftigen. OFFIS hat sich sowohl intensiv an den Workshops beteiligt als auch für ein halbes Jahr einen Gastwissenschaftler aus Edinburgh eingeladen.

Die Themen der veranstalteten Workshops umfaßten:

 

 

Verifikationsmethoden

 

Formale Semantiken für die Hardwarebeschreibungssprache VHDL

 

Der Einatz von Theorembeweisern im Systementwurf

 

Prozeßalgebren zur Modellierung von Hardwaresystemen

 

 

Ausgehend von diesen Workshops wurde ein Buch zur formalenSemantik von VHDL herausgegeben. Weiterhin hat das Konsortium in der Zeitschrift "Formal Methods in System Design" eine Ausgabe mit Themenschwerpnkt VHDL gestaltet.

Personen

Laufzeit

Start: 01.08.1993
Ende: 31.07.1995