Entwurf cyber-physikalischer Systeme hoher Qualität und Sicherheit
Conference: edaWorkshop 14 - Tagungsband
05/13/2014 - 05/14/2014 at Hannover, Germany
Proceedings: edaWorkshop 14
Pages: 2Language: germanTyp: PDF
Personal VDE Members are entitled to a 10% discount on this title
Authors:
Soeken, Mathias; Lüth, Christop; Drechsler, Rolf (Cyber-Physical Systems, DFKI GmbH, Bremen, Deutschland)
Abstract:
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.