Entwicklung eines durchgängigen Verifikationsablaufes für den ESL Entwurf
Final Report Abstract
Die durch das Format als Reinhart Koselleck-Projekt geplanten Ziele konnten bisher zur vollsten Zufriedenheit des Antragstellers erreicht werden. So stand hier nicht die Bearbeitung von explizit vorgegebenen Arbeitspaketen im Vordergrund, sondern die Erarbeitung und Entwicklung von grundsätzlich neuen Paradigmen, die zur Lösung der perspektivischen Forschungsfragen geeignet schienen. Die Möglichkeiten und Freiheiten, welche Reinhart Koselleck-Projekte dem/der geförderten Wissenschaftler/-in bieten, erlaubten die Entwicklung von Visionen anstatt der sonst üblichen Betrachtung „kleinerer Schritte“. Sie bot Zeit und Ressourcen, sich in Themen aus anderen Disziplinen einzuarbeiten und dort Beiträge zu leisten bzw. Expertise von dort in den eigenen Bereich zu übertragen. Dadurch gelang es, Paradigmen und Methoden aus anderen Feldern wie dem agilen Entwurf, der natürlichen Sprachverarbeitung sowie dem Softwareentwurf in die Domäne der eingebetteten und cyber-physischen Systeme zu übertragen. Dies begründet die Basis für einen komplett neuen Verifikationsablauf, der die Probleme und Grenzen bisheriger Ansätze überwindet. Zeitgleich konnten z.B. mit dem Completeness- Driven Development oder der Hardware/Software Co-Visualisierung komplett neue Forschungsgebiete geschaffen werden. Dieser Fortschritt wäre mit „regulären“ Förderprogrammen so nicht möglich gewesen.
Publications
- Assisted Behavior Driven Development Using Natural Language Processing. In International Conference on Objects, Models, Components, Patterns (TOOLS), 2012
M. Soeken, R. Wille, and R. Drechsler
(See online at https://doi.org/10.1007/978-3-642-30561-0_19) - Completeness-Driven Development. In International Conference on Graph Transformations (ICGT), 2012
R. Drechsler, M. Diepenbeck, D. Große, U. Kühne, H. M. Le, J. Seiter, M. Soeken, and R. Wille
(See online at https://doi.org/10.1007/978-3-642-33654-6_3) - Formal Specification Level: Towards Verificationdriven Design Based on Natural Language Processing. In Forum on Specification and Design Languages (FDL), 2012
R. Drechsler, M. Soeken, and R. Wille
- Verifying SystemC using an intermediate verification language and symbolic simulation. In Design Automation Conf. (DAC), 2013, pp. 116:1–116:6
H. M. Le, D. Große, V. Herdt, and R. Drechsler
(See online at https://doi.org/10.1145/2463209.2488877) - A Generic Representation of CCSL Time Constraints for UML/MARTE Models. In Design Automation Conference (DAC), pages 122:1-122:6, 2015
J. Peters, R. Wille, N. Przigoda, U. Kühne, and R. Drechsler
(See online at https://doi.org/10.1145/2744769.2744775) - Verifying SystemC using Stateful Symbolic Simulation, In Design Automation Conference (DAC), pp. 49:1-49:6, 2015
V. Herdt, H. M. Le, R. Drechsler
(See online at https://doi.org/10.1145/2744769.2744927) - Formal verification of integer multipliers by combining Gröbner basis with logic reduction. In Design Automation and Test in Europe (DATE), pages 1048–1053, 2016
A. Sayed-Ahmed, D. Große, U. Kühne, M. Soeken, and R. Drechsler
(See online at https://doi.org/10.3850/9783981537079_0248) - Verifying the Structure and Behavior in UML/OCL Models Using Satisfiability Solvers. Cyber-Physical Systems: Theory & Applications, 1(1):49-59, 2016
N. Przigoda, M. Soeken, R. Wille, and R. Drechsler
(See online at https://doi.org/10.1049/iet-cps.2016.0022) - Towards a Verification Flow Across Abstraction Levels: Verifying Implementations Against Their Formal Specification. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 36(3):475-488, 2017
P. Gonzalez de Aledo, N. Przigoda, R. Wille, R. Drechsler, and P. Sanchez
(See online at https://doi.org/10.1109/TCAD.2016.2611494) - Towards fully automated TLM-to-RTL property refinement. In Design Automation and Test in Europe (DATE), 2018
V. Herdt, H. M. Le, D. Große, and R. Drechsler
(See online at https://doi.org/10.23919/DATE.2018.8342253)
