Entwurf cyber-physikalischer Systeme hoher Qualität und Sicherheit
Konferenz: edaWorkshop 14 - Tagungsband
13.05.2014 - 14.05.2014 in Hannover, Germany
Tagungsband: edaWorkshop 14
Seiten: 2Sprache: DeutschTyp: PDF
Persönliche VDE-Mitglieder erhalten auf diesen Artikel 10% Rabatt
Autoren:
Soeken, Mathias; Lüth, Christop; Drechsler, Rolf (Cyber-Physical Systems, DFKI GmbH, Bremen, Deutschland)
Inhalt:
Die Entwicklung cyber-physikalischer Systeme stellt auf Grund ihrer Komplexität besondere Herausforderungen an den Entwurfsprozess. Durch die Einbeziehung natürlichsprachlicher Dokumente in den Entwurfsprozess, die Einführung einer formalen Spezifikationsebene zur abstrakten Systembeschreibung, und eine funktionale Änderungsverwaltung über alle Ebenen des Entwurfsprozesses erhalten wir eine Werkzeugkette, die diesen Anforderungen gerecht wird.