Ein Ansatz für die agile, verteilte Entwicklung Cyber-Physischer „Systems of Systems“ (Work in Progress)
Conference: MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
04/08/2019 - 04/08/2019 at Kaiserslautern, Deutschland
Proceedings: MBMV 2019
Pages: 4Language: germanTyp: PDF
Personal VDE Members are entitled to a 10% discount on this title
Authors:
Grimm, Christoph; Wawrzik, Frank; Zivkovic, Carna (TU Kaiserslautern, AG Entwurf von Cyber-Physikalischen Systemen, Kaiserslautern, Deutschland)
Abstract:
Der Beitrag gibt einen aktuellen Überblick über einen Ansatz zur Entwicklung Cyberphysischer „Systems of Systems“. Der Ansatz ermöglicht das kontinuierliche und integrierte Testen und Verifizieren der Systemkonsistenz von frühen Entwicklungsphasen bis hin zu Produktion und Betrieb. Der Ansatz beruht auf der abstrakten und dadurch domänenübergreifenden Modellierung auf der semantischen Ebene. Hierzu werden Funktionen und Eigenschaften durch Ontologien und Regeln repräsentiert, die Abhängigkeiten und Kontextwissen darstellen. Durch die Verwendung von Internetstandards (OWL, SWRL, JSON) sowie die Architektur der Toolunterstützung wird insbesondere eine verteilte Entwicklung unterstützt.