Beschreibung der Plattformabhängigkeit eingebetteter Applikationen mit Dienstmodellen

Modellbasierte Entwicklung ist ein zunehmend popularer Ansatz, um der wachsenden Komplexitat eingebetteter Anwendungen zu begegnen. Eine besondere Herausforderung besteht in der Berucksichtigung nicht-funktionaler und zeitlicher Anforderungen (z.B. Kommunikation, Safety, Energieverbrauch), deren Erfullung ein nahtloses Zusammenspiel der Hardware, der verschiedenen Ebenen der Systemsoftware und der Anwendungssoftware bedingt. Die vorliegende Arbeit schlagt vor, die Abhangigkeiten der Hardware/-Software-Schichten mit einem Dienstmodell zu beschreiben. Dieses Modell umfasst einerseits die Kapselung funktionaler Abhangigkeiten zwischen verschiedenen Systemebenen (Peripherietreiber, Taskausfuhrung, Kommunikation, etc.); andererseits beinhaltet es die Spezifikation nicht-funktionaler Eigenschaften in Form von Garantien durch den Dienstanbieter sowie in Form von Anforderungen durch die Bindung an einen Dienst. Beide Aspekte kommen bei der Verfeinerung einer Applikation bis hin zu einer plattformspezifischen Implementierung zum Tragen. Die spezifizierten nicht-funktionalen Abhangigkeiten konnen dabei als Ausgangspunkt fur Analysen dienen (z.B. Mapping, Scheduling), deren Ergebnisse fur die automatische Erzeugung von Programmcode genutzt werden konnen. Diese Arbeit prasentiert neben einem geeigneten Metamodel auch eine Taxonomie von Diensten fur die Entwicklung eingebetteter Systeme und validiert den vorgeschlagenen Ansatz in einer Fallstudie.