CrESt Market Place EC2: Dynamisch gekoppelte Systeme

Dynamisch gekoppelte kollaborative eingebettete Systeme arbeiten in Gruppen, die sich oft während ihrer gesamten Lebensdauer bilden, verändern und auflösen. Darüber hinaus ist der Kontext, in dem kollaborative Systeme operieren, ein dynamischer: Systeme im Kontext können auftauchen, ihr sichtbares Verhalten ändern und wieder verschwinden. Die Gewährleistung des sicheren Betriebs solcher kooperativer Systeme ist von zentraler Bedeutung, während ihre dynamische Natur Herausforderungen mit sich bringt, die beim "klassischen" Systemdesign nicht auftreten. Dies beginnt mit der Ermittlung des operativen Kontexts, vor dessen Hintergrund das System entworfen werden soll - was die Erfassung seiner dynamischen Natur erfordert - und wirkt sich auch auf alle anderen Entwurfsphasen aus. Es sind neuartige Entwicklungsmethoden erforderlich, die es den Ingenieuren ermöglichen, mit den Herausforderungen, die die Dynamik mit sich bringt, in einer überschaubaren Weise umzugehen.
In EC2 sind verschiedene Methoden entwickelt worden, um Ingenieure bei dieser Aufgabe zu unterstützen. Die Methoden decken verschiedene Sichtweisen und Abstraktionsebenen des Entwicklungsprozesses ab, beginnend bei der Anforderungssicht, dem funktionalen und technischen Entwurf, sowie Verifikationsmethoden für die Art der vorgesehenen Systeme. Die Abbildung gibt einen Überblick über die entwickelten Methoden. Weitere Einzelheiten zu einigen von ihnen sind in Kapitel 5 des CrESt Buches zu finden.

Text?

Die funktionale Architektur eines CES stellt die Verbindung zwischen der Anforderungssicht und dem Systementwurf her. Der im Video vorgestellte Modellierungsansatz expliziert relevante Systemzustände im funktionalen Architekturmodell, um die Herstellung von Konsistenz zwischen dem funktionalen Modell und den dynamischen Systemaspekten der Spezifikation zu ermöglichen, d.h. der funktionale Entwurf des einzelnen CES realisiert die in der Anforderungssicht spezifizierten dynamischen Aspekte. Zu diesem Zweck ermöglicht die Methode den Ingenieuren, die gleiche Ontologie wie die Szenariospezifikationen im funktionalen Modell zu verwenden. Automatisierte Analysen unterstützen dann den Ingenieur, indem sie die Konsistenz des Modells mit den Szenariospezifikationen bewerten und Konsensfragen der Kollaborationsfunktionen in der CSG aufdecken.


Video zur Funktionsmodellierung

zurück