The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 68 of 821
Back to Result List

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.

Download full text files

Export metadata

Additional Services

Metadaten
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