mittels Systemanalyse

Präsentation zum Thema: "mittels Systemanalyse"—  Präsentation transkript:

1 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

2 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

3 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

4 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

5 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

6 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

7 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

8 Generierung der Taskverschaltung aus Applikationen (TV)
A1R1 Task3 S1R1 Task2 Task1 A1R3 Task4 Applikation2 A1R4 Task7 S2R1 Task6 Task5 A1R5 Task8

9 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!!!

10 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.

11 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

12 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

13 } 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

14 ? 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

15 Übertragung des Systemmodells an SymTA/S zur Analyse
Sys-Config under Test Interface zu SymTA/S

16 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

17 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

18 System mit harter Echtzeitfähigkeit