Ziel des Projektes SPECifIC ist ein neuartiger Entwurfsablauf samt Werkzeugunterstützung für eingebettete und cyber-physische Systeme, der den extrem gestiegenen Anforderungen an die Qualität und Komplexität dieser Systeme gerecht wird. Der neue Entwurfsablauf zeichnet sich durch drei Merkmale aus:
- die Einführung einer formalen Spezifikationsebene,
- die Nutzung von Techniken der natürlichen Sprachverarbeitung, so dass die Werkzeugunterstützung von natürlichsprachlicher Systemspezifikation bis hin zur Register-Transfer-Ebene reicht, und
- die Ausnutzung eines durchgängigen funktionalen Änderungsmanagements, welche den Entwurfsablauf flexibilisiert und die Integration fremder IP erleichtert.
Zu den Anwendungsgebieten des SPECifIC-Entwurfsablaufs gehören konventionelle eingebette Systeme bis hin zu cyber-physischen Systemen. Der Entwurfsablauf wird mit Hilfe von Fallstudien validiert und danach bei den wissenschaftlichen und industriellen Partnern des DFKI zur Anwendung gebracht.
Prof. Dr. Christoph Lüth
