Hardware-Software-Co-Verifikation komplexer Telekommunikationssysteme

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

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.