Methodik des inkrementellen Entwurfs reaktiver Systeme

• Antragsteller: Professor Dr. Manfred Broy
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2001 bis 2003
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5280620

In diesem Projekt schließen wir die Lücke zwischen diesen Ansätzen im Hinblick auf eine wissenschaftliche und methodische Fundierung. Dazu betrachten wir einen Entwurfsprozeß, der von ersten abstrakten Beschreibungen der Systemfunktionalität ausgeht und erlaubt, diese Beschreibungen systematisch zu verfeinern, um beispielsweise Fehlerbehandlung einzuführen, neue Funktionalitäten hinzuzufügen oder das System mit Blick auf eine verteilte Implementierung in Teilsysteme zu spalten. Zur Systembeschreibung dienen dabei mathematisch formalisierte Teilmengen etablierter Beschreibungstechniken wie Zustandsmaschinen, Sequenzdiagramme oder Systemstrukturdiagramme. Auf deren Basis werden Verfeinerungsschritte entwickelt und methodische Vorgaben für ihren Einsatz im inkrementellen Systementwurf erarbeitet. Zur Unterstützung der Verfeinerungsschritte und zur praktischen Erprobung werden die Verfeinerungsschritte in ein bestehendes CASE-Tool integriert.

• DFG-Verfahren: Sachbeihilfen