Quality-driven Design Flow using Formal Specifications and Functional Change Management

  • Duration:
  • Research Topics
  • Application fields

The goal of the SPECifIC project is a novel design flow to support the development of embedded and cyber-physical systems, which will meet the challenges of the increased demand on the quality, and the complexity of these systems. The three following characteristics distinguish the SPECifIC design flow:

(i) the introduction of a new formal specification layer, (ii) natural-language techniques to extend tool support from natural-language specifications down to the register transfer level, and (iii) a comprehensive functional change management, which makes the design process more flexible and eases the integration of third-party IP.

The application domains of the SPECifIC design flow range from conventional embedded sys-tems up to cyber-physical systems. The design flow will be validated by case studies, and sub-sequently be carried into academia and industry by DFKI and its partners.


Bundesministerium für Bildung und Forschung


Bundesministerium für Bildung und Forschung

Share project:

Contact Person




Project video SPECifIC

Publications about the project

Martin Ring, Christoph Lüth

In: Serge Autexier, Pedro Queresma (editor). Workshop on User Interfaces for Theorem Provers (UITP2016). User Interfaces for Theorem Provers (UITP-2016) located at International Joint Conference on Automated Reasoning IJCAR 2016 July 2 Coimbra Portugal Pages 43-52 Electronic Proceedings in Theoretical Computer Science (EPTCS) 239 Open Publishing Association 1/2017.

To the publication
Mehran Goli, Jannis Ulrich Stoppe, Rolf Drechsler

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2017) March 27-31 Lausanne Switzerland 2017.

To the publication
Martin Ring, Christoph Lüth, Rolf Drechsler, Jannis Ulrich Stoppe

In: 3rd Workshop on Design Automation for Understanding Hardware Designs (DUHDe 2016). Workshop on Design Automation for Understanding Hardware Designs (DUHDe-16) March 18 Dresden Germany 3/2016.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz