INSTITUT FÜR DATENTECHNIK UND KOMMUNIKATIONS-NETZE

1/18

Event-Config

Events

Geräte

Mapping / Optimierungmittels Systemanalyse SymTA/S

System mit harter Echtzeitfähigkeit

Systemmodellierung

Übersicht

Integrator / Benutzer

Systemsynthese

FinaleSys-Config

TasksCode / Annot.

Stat. Datenbank

Applikationen

Topologie

(App-)Config

Dyn. Datenbank

App-Liste

Transformer

Abbildung

INSTITUT FÜR DATENTECHNIK UND KOMMUNIKATIONS-NETZE

2/18

(App-)Config

Konfiguration der Applikationen

Systemmodellierung

Topologie-erstellung

Konfiguration der Eventmodelle

Integrator / Benutzer

Geräte

Events

TopologieEvent-Config

TasksCode / Annot.

Applikationen Phys. Syst emwissen

Transformer

KA

KE

TE

App-Liste

INSTITUT FÜR DATENTECHNIK UND KOMMUNIKATIONS-NETZE

3/18

Konfiguration der Applikationen (KA)

App1

S1R1

A1R2

App2

App3

Inter-Applikations-kommunikation

S1R1 Sensor 1, Raum 1A1R2 Aktuator 1, Raum 2

Applikationen

(App-)Config

App-Liste

INSTITUT FÜR DATENTECHNIK UND KOMMUNIKATIONS-NETZE

4/18

Knoten 7Fkt. TEMPMPos. R1/OW

Topologieerstellung (TE)

Knoten 6Fkt. HELLM

Pos. R1/WW

Knoten 5Fkt. ZENTRALPos. R7/SICH

Knoten 1Fkt. ROLLOPos. R3/F1

Knoten 2Fkt. BIREL

Pos. R3/DK

Knoten 3Fkt. ELRELPos. R1/DK

Knoten 4Fkt. GATEWPos. R7/SICH

Lokale Zuordnung notwendig für Mappingund Taskzusammenfassung

Geräte

SCAN

INSTITUT FÜR DATENTECHNIK UND KOMMUNIKATIONS-NETZE

5/18

Konfiguration der Eventmodelle (KE)

S1R4

S4R3

Externe Kopplung:Bsp.: Sonne bescheintzwei Helligkeitssensoren

S1R2

A1R2

Interne Kopplung:Bsp.: Lampe beleuchtetHelligkeitssensor

Nutzungsszenarien:Benutzer interagierenmit dem System(Anzahl der Benutzer,Verhalten, usw.)

Bsp.:n Benutzer können nurn von m Geräten (z.Bsp.: Lichtschalter) gleichzeitigbedienen (n aus m)

S1R3

S2R3

S3R3

INSTITUT FÜR DATENTECHNIK UND KOMMUNIKATIONS-NETZE

6/18

Zusammenfassen von Tasks

Transformer

Generierung der Task- verschaltung aus Applikationen

Abbildung der Taskverschaltungauf die Topologie

Systemmodellierung

Mapping / Optimierungmittels Systemanalyse

Abbildung

Berücksichtung physikalischer Kopplungen

TV

ZT

PK

INSTITUT FÜR DATENTECHNIK UND KOMMUNIKATIONS-NETZE

7/18

Lookup

Datenstruktur des Systemmodells

(App-)Config

App-Liste

Event-Config

TasksCode / Annot.

Applikationen

Enthält verwendete Applikationen

LookupEnthält Task-

Verschaltungen u.konfigurierbare

Parameter

Enthält Konfigurations-daten der Applikationen

Enthält Konfigurations-daten der Eventmodelle

und Applikationszuordnungen

Enthält Tasks,deren Annotation

Und Code

Lookup

Lookup

Events

Enthält Event-modelle

Lookup

Lookup

Topologie

Enthält realeSystemtopologie

Geräte

Enthält verfügbareGeräte und Kommuni-

kationsmedien

Lookup

INSTITUT FÜR DATENTECHNIK UND KOMMUNIKATIONS-NETZE

8/18

Generierung der Taskverschaltung aus Applikationen (TV)

Applikation1

Task1

Task2Task3

Task4

S1R1

A1R1

A1R3

Applikation2

Task5

Task6Task7

Task8

S2R1

A1R4

A1R5

INSTITUT FÜR DATENTECHNIK UND KOMMUNIKATIONS-NETZE

9/18

Zusammenfassen von Tasks (ZT)

Applikation1

Task1

Task2Task3

Task4

S1R1

A1R1

A1R3

Applikation2

Task5

Task6Task7

Task8

S2R1

A1R4

A1R5

Wenn S1 und S2 gleiche Funktion / Konfiguration haben und im gleichen Raum sind, ist ggf. eine Zusammenfassung möglich -> Wechselwirkung mit Topologie beachten!!!

INSTITUT FÜR DATENTECHNIK UND KOMMUNIKATIONS-NETZE

10/18

Berücksichtung physikalischer Kopplung (PK)

Applikation1

Task1

Task2Task3

Task4

S1R1

A1R1

A1R3

Applikation2

Task6Task7

Task8

A1R4

A1R5

Mögliche physikalische Kopplungen berücksichtigen - > EventmodelleBeispiel: A1R1 ist Lampe, S1R1 ist Helligkeitssensor.

INSTITUT FÜR DATENTECHNIK UND KOMMUNIKATIONS-NETZE

11/18

Abbildung der Taskverschaltung auf die Topologie

Applikation1

Task1

Task2Task3

Task4

S1R1

A1R3

A1R1

Knoten 5Fkt. HELLM

Pos. R1/WW

Knoten 1Fkt. ROLLOPos. R2/F1

Knoten 4Fkt. BIREL

Pos. R3/DK

Knoten 2Fkt. ELRELPos. R1/DK

Knoten 3Fkt. GATEWPos. R1/SICH

SCAN1 SCAN2

HW

HEL

LM

HW

ELR

EL

HW

BIR

EL

INSTITUT FÜR DATENTECHNIK UND KOMMUNIKATIONS-NETZE

12/18

Mapping / Optimierung mittels Systemanalyse

Übertragung des Systemmodells an SymTA/S zur Analyse SymTA/S

Systemsynthese

FinaleSys-Config

Abbildung

Transformer

Mapping freier Tasks /Zuweisung von Prioritäten

Bewertung desAnalyseergebnisses

Ggf. Iteration

Konfiguration von Service-Qualitäten

INSTITUT FÜR DATENTECHNIK UND KOMMUNIKATIONS-NETZE

13/18

Konfiguration von Service-Qualitäten

Applikation1

Task1

Task2Task3

Task4

S1R1

A1R1

A1R3

Variation von Task- bzw. Applikations-Parameternz.Bsp.: Abtastrate, Auflösung, Rechengenauigkeit,Aktivierungsfrequenz, alternative Algorithmen, skalierbare Algorithmen, Kompression, Datenreduktion, etc.

QT1 QT2 QT3

Pi->Max(Q)QT1 QT2 QT4

}= QT1,2,3P1:

P2: = QT1,2,4

INSTITUT FÜR DATENTECHNIK UND KOMMUNIKATIONS-NETZE

14/18

Mapping freier Tasks / Zuweisung von Prioritäten

Applikation1

Task1

Task2Task3

Task4

S1R1

A1R3

A1R1

Tasks, die nicht an HW gebunden sind,können frei auf die Topologiegemappt werden

Allen Tasks und Kommunikations-verbindungen werden Prioritäten(Scheduling) zugewiesen

Knoten 5Fkt. HELLM

Pos. R1/WWHW

HEL

LM

Knoten 1Fkt. ROLLOPos. R2/F1

Knoten 2Fkt. ELRELPos. R1/DK H

W E

LREL

?SCAN

INSTITUT FÜR DATENTECHNIK UND KOMMUNIKATIONS-NETZE

15/18

Übertragung des Systemmodells an SymTA/S zur Analyse

Interface zuSymTA/S

Sys-Configunder Test

INSTITUT FÜR DATENTECHNIK UND KOMMUNIKATIONS-NETZE

16/18

Bewertung des Analyseergebnisses

Interface zuSymTA/S

Alle Deadlineseingehalten?

Ja

Nein-> IterationMapping freier Tasks /Zuweisung von Prioritäten

Konfiguration von Service-Qualitäten

FinaleSys-Config

Service-Qualitätoptimal?

Nein-> Iteration

Ja

Sensitivität minimal?Ja

Nein-> Iteration

Abbruchbedingung

Abbruchbedingung

INSTITUT FÜR DATENTECHNIK UND KOMMUNIKATIONS-NETZE

17/18

Systemsynthese

Mapping / Optimierungmittels Systemanalyse

System mit harter Echtzeitfähigkeit

FinaleSys-Config

Codegenerator(Objekt und Konfiguration)

Compiler / Linker

Übertragung von Objekt- und Konfigurations-Code

ins System

KonfigurationObjekt

INSTITUT FÜR DATENTECHNIK UND KOMMUNIKATIONS-NETZE

18/18

System mit harter Echtzeitfähigkeit