Methodisch fundierte Entwicklung echtzeitkritischer Systeme auf Basis der Beschreibungstechniken der UML-RT

• Applicant: Professor Dr. Manfred Broy
• Subject Area: Theoretical Computer Science
• Term: from 2003 to 2006
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5236756

Im beantragten Projekt soll den unterschiedlichen Anforderungen der einzelnen Entwicklungsschritte von der Analyse bis zur Implementierung und Verifikation an die Syntax und Semantik der Modellierungstechniken Rechnung getragen werden. Dazu wird eine wissenschaftliche und methodische Fundierung der UML-RT angestrebt, die sichtenspezifische Interpretationen von Modellen erlaubt und einen Verfeinerungsbegriff für den nachvollziehbaren Übergang zwischen den Sichten definiert. Anhand von Fallstudien wird die Methodik demonstriert, überprüft und bewertet.

• DFG Programme: Research Grants
• Participating Person: Dr. Maria Cengarle