Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirements

Daw Pérez, Zamira Angélica

kassel university press, ISBN: 978-3-86219-774-3, 2014, 201 Pages

URN: urn:nbn:de:0002-37756

Zugl.: Kassel, Univ., Diss. 2013

| Price and available forms -->

Content: Die Entwicklung eingebetteter Systeme wird aufgrund der immer anspruchsvolleren Anwendungen sowie der Verwendung von leistungsfähigeren Hardware-Architekturen (z.B. Multicore-, Hybrid-Systeme) immer komplexer. Modellgetriebene Methoden reduzieren die Komplexität des Systems mittels angemessenen Abstraktionsniveaus. Diese Arbeit stellt die modellgetriebene Entwicklungsmethodik DMOSES (Deterministische Modelle für die signalverarbeitenden eingebetteten Systeme) vor. Diese Methodik strebt die Verbesserung der Entwicklung hybrider eingebetteten Systeme (z.B. CPUs und FPGAs) hinsichtlich der Komplexität mittels anpassbarer Abstraktionseben, automatischer Codegenerierung und Systemverifikation an. Systeme werden mittels UML-Verhaltensmodelle spezifiziert, deren erweiterte Semantik relevante funktionale und nicht-funktionale Aspekte hybrider eingebetteten Systemen beschreibt. Eine anpassbare Abstraktionsebene wird durch die Integration von automatischer Code-Generierung und optimierbarem Code erreicht. Außerdem werden Sicherheitsanforderungen durch die Integration von Analysetechniken (Formale Verifikation, Ausführungszeit-Analyse und Software-Verträgen) in die Entwicklungsmethodik verifiziert.

Publication is available in following forms:

Full text (pdf-file, printable, with costs - 27.00 MB) 19.00 Euro
(free of charge in kassel University network - you are in kassel University network if you are in the workplace, or you are using a pc in the ITS or in the library)
download PDF - Attention! with costs, because you are not in kassel University network!