SpecVer: Verifikationsgerechte Spezifikation komplexer SystemeSpecVer 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.
Weitere Informationen sind im WWW unter folgender URL verfügbar: http://www12.informatik.uni-erlangen.de/research/specver. | Projektleitung:
Dr. Axel Schneider
Beteiligte:
Prof. Dr.-Ing. Christian Haubelt, Dipl.-Inf. Martin Streubühr, Dr.-Ing. Jens Gladigau
Laufzeit: 1.10.2005 - 30.9.2008
Förderer:
Bayerische Forschungsstiftung
Kontakt:
Haubelt, Christian
|