Beschreibungstechniken und formale Qualitätssicherung für eingebettete Systeme

一个大的Klasse一个更好的系统不应该仅仅是与其他时代的系统一起使用，也不应该在Wechseleckung的Umgebung中继续使用，或者只需要继续使用Teile。Im Rahmen der ersten Projektphase dieses Projekts wurden für solche hybriden Systeme grafen he Beschreibungtechniken entwickelt，die sich unmittelbar für den praktischen Einquiryeignen.在工程实施阶段，该技术必须与韦尔登工厂的工人一起工作。Darüber hinaus soll an Verfeinerungsregeln für die Verhaltensspezifikation gearbeitet韦尔登，die einen durchgängigen Einstrument der entsprechenden Beschreibungtechniken über die Analysephase hinaus unterstützen。Schwerpunkt位于Regeln，它是一个混合的Spezifikation，它是一个特定的Spezifikation的实现者，它是一个系统化的工具。

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.