SpecVer

SpecVer erforscht neue Methoden zum Entwurf komplexer Systeme am Beispiel der Telekommunikationstechnik. Im Unterschied zu bisherigen Systemen werden auf hohem Abstraktionsniveau einsetzende, für nachträgliche Änderungen offene Top-Down-Zugänge zur Spezifikation sowie zur engeren Verknüpfung von Spezifikation und Verifikation entwickelt. Dadurch wird die Produktivität und Fehlersicherheit dieser Entwurfsschritte nachhaltig erhöht ("first-time-right"). Die Ergebnisse lassen sich auf andere Bereiche z.B. Automotive, übertragen.