Third party funded individual grant
Acronym: SpecVer
Start date : 01.10.2005
End date : 30.09.2008
Website: https://www.cs12.tf.fau.de/forschung/projekte/specver
SpecVer investigates novel design methodologies for complex systems from the telecommunication domain. In Contrast to existing approaches, SpecVer raises the level of abstraction by allowing for late changes in the design as well as a tight combination of specification and verification. That way, the productivity as well as the reliability of each design step will be sustainable increased ("first-time-right"). The results are exspected to be transferable to othe domains, as automotive, etc
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.