ECE Seminar: Towards Verification-driven Design Based on Natural Language Processing
Thursday, August 29, 2013 - 11:45am to 1:00pm
Rolf Drechsler, University of Bremen/DFKI, Germany
The steadily increasing complexity of the design of embedded systems led to the development of both an elaborated design flow that includes various abstraction levels and corresponding methods for synthesis and verification. However, until today the initial system specification is provided in natural language which is manually translated into a formal implementation e.g. at the Electronic System Level (ESL) by means of SystemC in a time-consuming and error-prone process. In this paper, we envision a design flow which incorporates a Formal Specification Level (FSL) thereby bridging the gap between the informal textbook specification and the formal ESL implementation. Modeling languages such as UML or SysML are envisaged for this purpose. Recent accomplishments towards this envisioned design flow, namely the automatic derivation of formal models from natural language descriptions, verification of formal models in the absence of an implementation, and code generation techniques, are briefly reviewed. BIO: Rolf Drechsler received the Diploma and Dr. phil. nat. degrees in computer science from J. W. Goethe University Frankfurt am Main, Germany, in 1992 and 1995, respectively. Since October 2001, he has been with the University of Bremen, Bremen, Germany, where he is currently a Full Professor and the Head of the Group for Computer Architecture, Institute of Computer Science.