Statische Echtzeit-Scheduling-Analyse innerhalb mbeddr
Static Realtime-Scheduling-Analysis within mbeddr
- Neben verschiedenen integrierten Entwicklungsumgebungen für eingebettete Systeme gibt es am Markt verschiedene Programme für deren formalen Echtzeitfähigkeits-nachweis. Diese Masterarbeit schafft eine allgemeine Schnittstelle für Scheduling-Analyse-Programme und integriert das Programm MAST in die erweiterbare Entwicklungsumgebung mbeddr, um so die Entwickler von eingebetteten Systemen beim Echtzeitfähigkeitsnachweis zu unterstützen. Dazu wird mithilfe von mbeddr als modellzentrierter Entwicklungsumgebung das mbeddr-Quellcode-Modell in das MAST-Analyse-Modell transformiert, die MAST-Analyse mit diesem Modell aufgerufen und die Ergebnisse in mbeddr angezeigt.
Author: | Achim Stuy |
---|---|
Advisor: | Frank GrimmGND |
Document Type: | Master's Thesis |
Language: | German |
Name: | Westsächsische Hochschule Zwickau Dr.-Friedrichs-Ring 2a, 08056 Zwickau |
Date of Publication (online): | 2018/05/14 |
Year of first Publication: | 2018 |
Publishing Institution: | Westsächsische Hochschule Zwickau |
Date of final exam: | 2018/05/08 |
Tag: | MPS; mbeddr |
GND Keyword: | Eingebettetes System; Echtzeitsystem; Metaprogrammierung; Modelltransformation |
Page Number: | 33 Seiten, 16 Abb., 10 Tab., 14 Lit. |
Faculty: | Westsächsische Hochschule Zwickau / Physikalische Technik, Informatik |
Release Date: | 2019/02/14 |