Digitalisierung, Interne Prozesse, Qualitätsmanagement
Laufzeit: August 2013 bis Juli 2016
SPECifIC
Quality-driven Design Flow using Formal Specifications and Functional Change ManagementLaufzeit: August 2013 bis Juli 2016
Beschreibung:
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.
Projektpartner:
DFKI
Laufzeit:
August 2013 bis Juli 2016
Mehr Infos:
Fördermittelgeber:
BMBF