|
DFG-Projekt EREAS - Entwurf reaktiver Systeme |
|
|
|
|
In diesem Projekt soll eine Methodik zum schrittweisen Entwurf reaktiver Systeme entwickelt werden, die Aussagen über die Korrektheit der Systeme zulässt. Reaktive Systeme werden zunächst auf einer abstrakten Ebene spezifiziert. Nach der Formulierung von Korrektheitskriterien wird diese Spezifikation durch eine Kombination von Aktions- und Datenverfeinerung schrittweise konkretisiert, wobei in jedem Verfeinerungsschritt die Einhaltung der Korrektheitskriterien überwacht wird. Auf diese Weise entstehen Programmsysteme, deren Korrektheit bereits durch die Methode der Konstruktion gewährleistet wird. Zur Definition eines Spezifikationsformalismus wird die Integration von Prozeßalgebren und funktionalen Programmiersprachen untersucht.
|