Hardware-Software-Co-Verifikation komplexer Telekommunikationssysteme

• Applicant: Professor Dr. Heinrich Meyr
• Subject Area: Computer Science
• Term: from 1999 to 2002
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5206380

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.

• DFG Programme: Research Grants
• Participating Person: Professor Dr.-Ing. Bernhard Walke