Beschreibungstechniken und formale Qualitätssicherung für eingebettete Systeme

嵌入式系统的描述技术和正式的质量保证

• 批准号: 5371543
• 负责人: Professor Dr. Manfred Broy
• 金额: --
• 依托单位: Lehrstuhl IV: Software & Systems Engineering
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 1997
• 资助国家: 德国
• 起止时间: 1996-12-31 至 2003-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5371543?language=en
• 关键词: Beschreibungstechniken; und; formale; Qualit; tssicherung

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.

在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国。在德国，我们的工程项目与工程项目是同步的，我们的工程项目与工程项目是同步的，我们的工程项目是同步的。在这一阶段中，技术的进步是由技术的进步和技术的进步所决定的。中国机械工程研究所（深圳）有限公司（深圳）有限公司（深圳）有限公司（深圳）有限公司（深圳）有限公司（深圳）有限公司（深圳）有限公司（深圳）有限公司（深圳）有限公司（深圳）有限公司)Der Schwerpunkt light dabei auf regen, die es erlauben, von einer hybriden Spezifikation zu einer zeitdiskret implementiter erbaren Spezifikation <e:1> berzugehen, he ß dabei wiichtige Systemeigenschaften verloren gehen。