Beschreibungstechniken und formale Qualitätssicherung für eingebettete Systeme

• Antragsteller: Professor Dr. Manfred Broy
• Fachliche Zuordnung: Rechnerarchitektur, eingebettete und massiv parallele Systeme
• Förderung: Förderung von 1997 bis 2004
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5371543

Eine große Klasse eingebetteter Systeme steht nicht nur mit weiteren zeitdiskreten Systemen sondern auch mit kontinuierlichen Prozessen in der Umgebung in Wechselwirkung, oder enthält selbst kontinuierliche Teile. Im Rahmen der ersten Projektphase dieses Projekts wurden für solche hybriden Systeme grafische Beschreibungstechniken entwickelt, die sich unmittelbar für den praktischen Einsatz eignen. In der hier beantragten Projektphase sollen diese Techniken mit anderen Arbeiten im Schwerpunktprogramm verbunden werden. Darüber hinaus soll an Verfeinerungsregeln für die Verhaltensspezifikation gearbeitet werden, die einen durchgängigen Einsatz der entsprechenden Beschreibungstechniken über die Analysephase hinaus unterstützen. Der Schwerpunkt liegt dabei auf Regeln, die es erlauben, von einer hybriden Spezifikation zu einer zeitdiskret implementierbaren Spezifikation überzugehen, ohne daß dabei wichtige Systemeigenschaften verloren gehen.

• DFG-Verfahren: Schwerpunktprogramme
• Teilprojekt zu: SPP 1040: Entwurf und Entwurfsmethodik eingebetteter Systeme