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

• Antragsteller: Professor Dr. Manfred Broy
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2003 bis 2006
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 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-Verfahren: Sachbeihilfen
• Beteiligte Person: Dr. Maria Cengarle