Hardware-Software-Co-Verifikation komplexer Telekommunikationssysteme

在软件实现中，知识产权协议是一个重要的问题。Andererseits müssen wegen der steigenden Geschwindigkeitsanforderungen Teilfunktionalitäten zunehmend in Hardware implementiert韦尔登. Für diese Hardware-Software-Systeme stelt die Verifikation das größte Problem dar.因此，在系统环境中，特定功能的Einhaltung sowohl也会导致韦尔登。Ziel dieses Antrages ist es，die zu implementierenden Komponenten sukzessive zu einem 'virtuallen Prototypen' zu verfeinern，welcher unter Weiterverwendung von formal specifizierten Testfällen durchgängig im Systemzusammenhang verifiziert韦尔登kann.高级韦尔登将基于SDL的智能SPEET和目标硬件开发集成到一个共同验证中。

Kommunikationsprotokolle werden weitgehend in Software realisiert, um die notwendige Flexibilität zu gewährleisten. Andererseits müssen wegen der steigenden Geschwindigkeitsanforderungen Teilfunktionalitäten zunehmend in Hardware implementiert werden. Für diese Hardware-Software-Systeme stellt die Verifikation das größte Problem dar. Hierbei muß die Einhaltung sowohl der spezifizierten Funktionalität als auch der Leistungsanforderungen im Systemkontext sichergestellt werden. Ziel dieses Antrages ist es, die zu implementierenden Komponenten sukzessive zu einem 'virtuellen Prototypen' zu verfeinern, welcher unter Weiterverwendung von formal spezifizierten Testfällen durchgängig im Systemzusammenhang verifiziert werden kann. Hierzu werden das SDL-basierte Leistungsbewertungswerkzeug SPEET und die objektorientierte Hardware-Entwurfsumgebung GRACE zu einer Co-Verifikationsumgebung integriert.