Beschreibungstechniken und formale Qualitätssicherung für eingebettete Systeme

• Applicant: Professor Dr. Manfred Broy
• Subject Area: Computer Architecture, Embedded and Massively Parallel Systems
• Term: from 1997 to 2004
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Priority Programmes
• Subproject of: SPP 1040: Entwurf und Entwurfsmethodik eingebetteter Systeme