bpezifikationstechnik, Entwicklungsmethodik und Entwicklun swerkzeuge

• Antragsteller: Professor Dr. Heinrich Hußmann
• Fachliche Zuordnung: Rechnerarchitektur, eingebettete und massiv parallele Systeme
• Förderung: Förderung von 2001 bis 2006
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5468152

Ziel des Teilprojekts ist es, die notwendigen Spezifikationsmechanismen für nicht-funktionale Eigenschaften von Komponenten, insbesondere unter Berücksichtigung von Adaptivität von Komponenten, bereitzustellen. Darauf aufbauend werden Mechanismen entwickelt, die die Zusammensetzung nicht-funktionaler Eigenschaften von Einzelkomponenten zu den nichtfunktionalen Eigenschaften komplexer, aus Komponenten aufgebauter, Systeme unterstützen. Anhand eines einfachen prototypischen Entwicklungswerkzeugs und der Entwicklung exemplarischer Einzelkomponenten wird die grundsätzliche Gangbarkeit der vorgeschlagenen Entwicklungsmethodik bestätigt werden.

• DFG-Verfahren: Forschungsgruppen
• Teilprojekt zu: FOR 428: COMponents with QUantitative propgerties and Adaptability "COMQUAD"