SpecVer: Verifikationsgerechte Spezifikation komplexer Systeme

Drittmittelfinanzierte Einzelförderung


Details zum Projekt

Projektleiter/in:
Prof. Dr.-Ing. Jürgen Teich

Projektbeteiligte:
Prof. Dr.-Ing. Christian Haubelt
Martin Streubühr
Dr.-Ing. Jens Gladigau

Beteiligte FAU-Organisationseinheiten:
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Technische Fakultät

Mittelgeber: Bayerische Forschungsstiftung
Akronym: SpecVer
Projektstart: 01.10.2005
Projektende: 30.09.2008


Abstract (fachliche Beschreibung):


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.



Publikationen

Gladigau, J., Haubelt, C., Streubühr, M., Teich, J., Schneider, A., Knäblein, J., & Lindig, M. (2009). Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (pp. 157-166). Berlin, DE.
Streubühr, M., Jäntsch, M., Haubelt, C., Teich, J., & Schneider, A. (2008). Semi-Automatic Generation of mixed Hardware-Software Prototypes from Simulink Models. In 11. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (pp. 139-148). Freiburg, DE.
Gladigau, J., Blendinger, F., Haubelt, C., & Teich, J. (2008). Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen. (pp. 109-118). Freiburg, DE.
Bunin, G., Schneider, A., Haubelt, C., Langer, J., & Heinkel, U. (2006). Automatic Test Case Generation with Model Checker NuSMV. In Proceedings of the Informatik 2006 - Workshop Modellbasiertes Testen (pp. 262 - 263). Dresden, DE.
Schneider, A., Bunin, G., Haubelt, C., & Heinkel, U. (2006). Automatic Test Generation with Model Checking Techniques. In Software Quality in Service-Oriented Architectures Proceedings of the Conference on Quality Engineering in Software Technology (CONQUEST2006) (pp. 307 - 318). Berlin, DE.
Dinkel, T., Haubelt, C., Heinkel, U., Schlichter, T., & Teich, J. (2005). Automatische Verification von ADeVA-Spezifikationen. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Munich, DE.
Dinkel, T., Haubelt, C., Heinkel, U., Schlichter, T., Knäblein, J., Schock, T., & Teich, J. (2005). Comparison of Techniques for the Automatic Verification of ADeVA Specifications. In Proc. Dresdener Arbeitstagung Schaltungs- und Systementwurf (DASS 2005). Dresden, DE.

Zuletzt aktualisiert 2018-22-11 um 18:21