Entwicklung von kommunizierenden und zeitkritischen Systemen durch Kombination von Prozessen, Daten und Zeit

• Antragsteller: Professor Dr. Ernst-Rüdiger Olderog
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 1999 bis 2002
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5134944

Das Ziel des Projektes ist eine Methodik zur Entwicklung von kommunizierenden und zeitkritischen Systemen, die ausgehend von graphischen Beschreibungen der Anforderungen bis hin zur Erstellung von Design-Spezifikationen reicht. Das Hauptaugenmerk ist dabei, wie Systemanforderungen in semantisch korrekter Weise in prozessorientierte, datenorientierte und zeitkritische Aspekte dekomponiert werden können, so daß diese Aspekte unabhängig voneinander weiterentwickelt werden, um schließlich wieder kombiniert und eventuell umstrukturiert zu werden. Als Grundlage soll dazu ein gemeinsames semantisches Modell entwickelt werden, das wesentliche Elemente der Einzelmethoden CSP, Object-Z und Duration Calculus in konsistenter Weise kombiniert. Auf dieser Basis können dann korrekte Transformationen für die Dekomposition, Komposition und Umstrukturierung von Systemspezifikationen angegeben werden. Diese Transformationen werden an der Referenzfallstudie aus der Verkehrsleittechnik erprobt. Dazu soll eine in Teilen bereits vorhandene Werkzeugunterstützung eingesetzt und weiterentwickelt werden.

• DFG-Verfahren: Sachbeihilfen