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

Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirements PDF Download. Download free ebook of Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirements in PDF format or read online by Daw Pérez, Zamira Angélica 9783862197743 Published on 2014 by kassel university press GmbH

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 (Determi-nistische 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.

This Book was ranked at 3 by Google Books for keyword Methodology.

Book ID of Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirements's Books is nMlrBAAAQBAJ, Book which was written by Daw Pérez, Zamira Angélica have ETAG "90jokkHY/nc"

Book which was published by kassel university press GmbH since 2014 have ISBNs, ISBN 13 Code is 9783862197743 and ISBN 10 Code is 3862197743

Reading Mode in Text Status is false and Reading Mode in Image Status is true

Book which have "201 Pages" is Printed at BOOK under Category

Book was written in en

eBook Version Availability Status at PDF is trueand in ePub is false

Book Preview

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

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

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

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

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