Beschreibungstechniken und formale Qualitätssicherung für eingebettete Systeme

点击翻译按钮获取中文摘要

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.