download - SPES 2020

Weitere Magazine

Empfehlungen

Info

Konstruktion eines statischen Schedules Problem: • Statische Schedules aufwändig zu erstellen • Parallele Architekturen erhöhen die Komplexität zusätzlich Ansatz: • Modellbasierte Konstruktion fehlerfreier und ausführbarer Schedules • die Berücksichtigung aller Anforderungen wird garantiert Nutzen: • frühe Validierung des Softwaredesigns und Bewertung von verschiedenen Architekturen 22
Validation • Eine dissimilare Technik für die Überprüfung des generierten Schedules. • Basiert auf Model Checking mit UPPAAL • Erstellt automatisch ein formales Modell aus dem generierten Schedule • Erlaubt die Prüfung von Modell- Eigenschaften, z.B.: "Ist es immer wahr, dass Task 1 mindestens 1.3ms CPU Zeit bekommt?" 23
Seite 1 und 2: Der SPES Modellierungsansatz Dr. Th
Seite 3 und 4: Vision des SPES-Modellierungsansatz
Seite 5 und 6: Umsetzung der SPES 2020-Prinzipien
Seite 7 und 8: Viewpoint „Requirements“ Modell
Seite 9 und 10: Viewpoint „Logical“ Modellierun
Seite 11 und 12: Integration der Viewpoints (beispie
Seite 13 und 14: Mögliche Entwicklungssystematik (B
Seite 15 und 16: Abstraction Layers Durchgängige mo
Seite 17 und 18: Abstraction Layers Überschneidung
Seite 19 und 20: Realzeit-Anforderungen Platform-ind
Seite 21: Konstruktion einer Verteilung Herau
Seite 25 und 26: abstrakter konkreter Der SPES Marke

download - SPES 2020

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?