Hardware-Software-Co-Verifikation komplexer Telekommunikationssysteme

• Antragsteller: Professor Dr. Heinrich Meyr
• Fachliche Zuordnung: Informatik
• Förderung: Förderung von 1999 bis 2002
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 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-Verfahren: Sachbeihilfen
• Beteiligte Person: Professor Dr.-Ing. Bernhard Walke