mittels Systemanalyse Übersicht Applikationen Integrator / Benutzer App-Liste Tasks Code / Annot. (App-)Config Systemmodellierung Topologie Geräte Transformer Event-Config Events Abbildung Dyn. Datenbank Stat. Datenbank Mapping / Optimierung mittels Systemanalyse SymTA/S Finale Sys-Config Systemsynthese System mit harter Echtzeitfähigkeit
Systemmodellierung Integrator / Benutzer Phys. Syst emwissen Applikationen Phys. Syst emwissen Konfiguration der Applikationen Topologie- erstellung Geräte Tasks Code / Annot. KA Events Konfiguration der Eventmodelle TE KE App-Liste Event-Config Topologie (App-)Config Transformer
Konfiguration der Applikationen (KA) App-Liste (App-)Config Inter-Applikations- kommunikation App1 A1R2 App2 S1R1 App3 S1R1 Sensor 1, Raum 1 A1R2 Aktuator 1, Raum 2 Applikationen
Topologieerstellung (TE) Geräte Knoten 6 Fkt. HELLM Pos. R1/WW Knoten 5 Fkt. ZENTRAL Pos. R7/SICH Knoten 7 Fkt. TEMPM Pos. R1/OW Knoten 4 Fkt. GATEW Pos. R7/SICH SCAN Knoten 1 Fkt. ROLLO Pos. R3/F1 Knoten 2 Fkt. BIREL Pos. R3/DK Knoten 3 Fkt. ELREL Pos. R1/DK Lokale Zuordnung notwendig für Mapping und Taskzusammenfassung
Konfiguration der Eventmodelle (KE) S3R3 Nutzungsszenarien: Benutzer interagieren mit dem System (Anzahl der Benutzer, Verhalten, usw.) S4R3 Bsp.: n Benutzer können nur n von m Geräten (z.Bsp.: Lichtschalter) gleichzeitig bedienen (n aus m) S2R3 Externe Kopplung: Bsp.: Sonne bescheint zwei Helligkeitssensoren S1R4 A1R2 S1R3 S1R2 Interne Kopplung: Bsp.: Lampe beleuchtet Helligkeitssensor
Transformer Systemmodellierung Generierung der Task- verschaltung aus Applikationen TV Zusammenfassen von Tasks ZT Berücksichtung physikalischer Kopplungen PK Abbildung der Taskverschaltung auf die Topologie Abbildung Mapping / Optimierung mittels Systemanalyse
Datenstruktur des Systemmodells Lookup Topologie Geräte Enthält verfügbare Geräte und Kommuni- kationsmedien Enthält reale Systemtopologie Lookup Tasks Code / Annot. App-Liste Lookup Applikationen Lookup Enthält verwendete Applikationen Enthält Task- Verschaltungen u. konfigurierbare Parameter Enthält Tasks, deren Annotation Und Code Lookup (App-)Config Lookup Enthält Konfigurations- daten der Applikationen Event-Config Lookup Events Enthält Konfigurations- daten der Eventmodelle und Applikationszuordnungen Enthält Event- modelle
Generierung der Taskverschaltung aus Applikationen (TV) A1R1 Task3 S1R1 Task2 Task1 A1R3 Task4 Applikation2 A1R4 Task7 S2R1 Task6 Task5 A1R5 Task8
Zusammenfassen von Tasks (ZT) Applikation1 A1R1 Task3 S1R1 Task2 Task1 A1R3 Task4 Applikation2 A1R4 Task7 S2R1 Task6 Task5 A1R5 Task8 Wenn S1 und S2 gleiche Funktion / Konfiguration haben und im gleichen Raum sind, ist ggf. eine Zusammenfassung möglich -> Wechselwirkung mit Topologie beachten!!!
Berücksichtung physikalischer Kopplung (PK) Applikation1 A1R1 Task3 S1R1 Task2 Task1 A1R3 Task4 Applikation2 A1R4 Task7 Task6 A1R5 Task8 Mögliche physikalische Kopplungen berücksichtigen - > Eventmodelle Beispiel: A1R1 ist Lampe, S1R1 ist Helligkeitssensor.
Abbildung der Taskverschaltung auf die Topologie Applikation1 A1R3 Task3 S1R1 Task2 Knoten 4 Fkt. BIREL Pos. R3/DK Task1 A1R1 Task4 HW BIREL Knoten 5 Fkt. HELLM Pos. R1/WW Knoten 3 Fkt. GATEW Pos. R1/SICH SCAN1 SCAN2 HW HELLM Knoten 1 Fkt. ROLLO Pos. R2/F1 Knoten 2 Fkt. ELREL Pos. R1/DK HW ELREL
Mapping / Optimierung mittels Systemanalyse Transformer Abbildung Konfiguration von Service-Qualitäten Mapping freier Tasks / Zuweisung von Prioritäten Übertragung des Systemmodells an SymTA/S zur Analyse SymTA/S Ggf. Iteration Bewertung des Analyseergebnisses Finale Sys-Config Systemsynthese
} P1: = QT1,2,3 Pi->Max(Q) P2: = QT1,2,4 Konfiguration von Service-Qualitäten Variation von Task- bzw. Applikations-Parametern z.Bsp.: Abtastrate, Auflösung, Rechengenauigkeit, Aktivierungsfrequenz, alternative Algorithmen, skalierbare Algorithmen, Kompression, Datenreduktion, etc. Applikation1 A1R1 Task3 Task2 S1R1 Task1 A1R3 Task4 P1: } = QT1,2,3 QT1 QT2 QT3 Pi->Max(Q) P2: = QT1,2,4 QT1 QT2 QT4
? Mapping freier Tasks / Zuweisung von Prioritäten Tasks, die nicht an HW gebunden sind, können frei auf die Topologie gemappt werden Allen Tasks und Kommunikations- verbindungen werden Prioritäten (Scheduling) zugewiesen Applikation1 A1R3 Task3 S1R1 Task2 Task1 ? A1R1 Task4 SCAN Knoten 5 Fkt. HELLM Pos. R1/WW HW HELLM Knoten 1 Fkt. ROLLO Pos. R2/F1 Knoten 2 Fkt. ELREL Pos. R1/DK HW ELREL
Übertragung des Systemmodells an SymTA/S zur Analyse Sys-Config under Test Interface zu SymTA/S
Zuweisung von Prioritäten Bewertung des Analyseergebnisses Interface zu SymTA/S Mapping freier Tasks / Zuweisung von Prioritäten Alle Deadlines eingehalten? Nein-> Iteration Ja Nein-> Iteration Sensitivität minimal? Abbruchbedingung Ja Konfiguration von Service-Qualitäten Service-Qualität optimal? Nein-> Iteration Abbruchbedingung Ja Finale Sys-Config
Systemsynthese Mapping / Optimierung mittels Systemanalyse Finale Sys-Config Codegenerator (Objekt und Konfiguration) Objekt Compiler / Linker Konfiguration Übertragung von Objekt- und Konfigurations-Code ins System System mit harter Echtzeitfähigkeit
System mit harter Echtzeitfähigkeit