Design of communicating real-time systems by combining specification techniques for process, data and time

• Applicant: Professor Dr. Ernst-Rüdiger Olderog
• Subject Area: Theoretical Computer Science
• Term: from 1999 to 2002
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants