SQUASH Statische Qualitätsanalyse von Software und Hardware

Ziele

Ziel des ESPRIT-Projektes SQUASH ("statische Qualitätsanalyse von Software und Hardware") ist es, den Entwurfsprozeß eingebetteter Systeme mit C/C++ und VHDL/Objective VHDL qualitativ zu verbessern, ohne die bislang benutzten Methoden und Werkzeuge grundsätzlich in Frage zu stellen. Dies wird durch eine Ergänzung der Entwurfsabläufe um Analysewerkzeuge erreicht. Seitens OFFIS konzentriert sich die Arbeit auf die Bereitstellung von Überprüfungsmethoden und Regeln für die Schnittstellen zwischen Hardware und Software eines eingebetteten Systems und die Eignung objektorientierter Modelle für die Hardware-Synthese. Zu den Projektpartnern gehören die Firmen LEDA und Sybernet, die bereits die Analysewerkzeuge ProVHDL und Checkmate kommerziell anbieten, und die Anwender Thomson-CSF, Alcatel Espacio und Italtel.

Personen

Wissenschaftliche Leitung

Laufzeit

Start: 01.10.2000
Ende: 30.09.2000