Aspect-Oriented Real-Time Architecture (Phase 1) (AORTA)
Third party funded individual grant
Acronym: AORTA
Start date : 01.08.2011
End date : 30.08.2014
Extension date: 31.08.2016
Website: https://www4.cs.fau.de/Research/AORTA/
Project details
Short description
Das Projekt Real-Time Systems Compiler (RTSC) entwickelt einen Betriebssystem-gewahren übersetzer, welcher eine implementierungsagnostische Manipulation der Echtzeitsystemarchitektur von gegebenen Echtzeitanwendungen ermöglicht. Eine derartige Transformation der Architektur ermöglicht beispielsweise die überführung eines ereignisgesteuerten in ein zeitgesteuertes Echtzeitsystem. Letztere lassen sich beispielsweise wesentlich einfacher hinsichtlicher ihrer Sicherheit und Zuverlässigkeit verifizieren sind jedoch auch typischerweise mit signifikant höheren Entwicklungskosten verbunden. Die praktischen Vorteile einer automatsierten überführung mittels des RTSCs liegen entsprechend auf der Hand.
Scientific Abstract
Eine zentrale Rolle bei der Entwicklung von Echtzeitsystemen spielt die verwendete Echtzeitsystemarchitektur, in der sie nämlich Mechanismen widerspiegelt, um kausale und temporale Abhängigkeiten zwischen verschiedenen, gleichzeitigen Aufgaben eines Echtzeitsystems zu implementieren. Zwei gegensätzliche Pole solcher Architekturen stellen zeit- und ereignisgesteuerte Systeme dar. In ersteren werden Abhängigkeiten bevorzugt auf temporale Mechanismen abgebildet: Aufgabenfragmente werden zeitlich so angeordnet, dass beispielsweise gegenseitiger Ausschluss oder Produzenten-Konsumenten-Abhängigkeiten eingehalten werden. In letzteren werden solche Abhängigkeiten mit Hilfe von Synchronisationskonstrukten wie Semaphore oder Schlossvariablen explizit koordiniert. Die Echtzeitsystemarchitektur beeinflusst also die Entwicklung eines Echtzeitsystems auf Ebene der Anwendung und kann dort als stark querschneidende, nicht-funktionale Eigenschaft aufgefasst werden. Diese Eigenschaft beeinflusst darüber hinaus die Implementierung weiterer wichtiger nicht-funktionaler Eigenschaften von Echtzeitsystemen, etwa Redundanz oder Speicherverbrauch. Basierend auf einer geeigneten Repräsentation der kausalen und temporalen Abhängigkeiten auf der Ebene der Anwendung sollen im Rahmen des beantragen Projekts Mechanismen entwickelt werden, um die Echtzeitsystemarchitektur und damit weitere nicht-funktionale Eigenschaften von Echtzeitsystemen gezielt zu beeinflussen.
Involved:
Wolfgang Schröder-Preikschat
Project Leader
Peter Ulbrich
Project Member
Tobias Klaus
Project Member
Florian Peter Franzmann
Project Member
