SpecVer: Specification for Verification of complex systems

Third party funded individual grant


Project Details

Project leader:
Prof. Dr.-Ing. Jürgen Teich

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

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

Funding source: Bayerische Forschungsstiftung
Acronym: SpecVer
Start date: 01/10/2005
End date: 30/09/2008


Abstract (technical / expert description):


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



Publications

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. In Proceedings of the 11. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (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.

Last updated on 2018-22-11 at 18:21