Methodik des inkrementellen Entwurfs reaktiver Systeme

• Applicant: Professor Dr. Manfred Broy
• Subject Area: Theoretical Computer Science
• Term: from 2001 to 2003
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants