Skip to content Skip to sidebar Skip to footer

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

image

[Paid Ebooks] Price: 20 EUR (Free). Download Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirements, .

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.

Additional Information:

Title: Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirements,
Author: Daw Pérez, Zamira Angélica
Item ID: nMlrBAAAQBAJ
Publisher: kassel university press GmbH
Type: BOOK
Format File: PDF & EPUB
Android/iOS: Install “Google Play Books”
Page Count: 201
Category:
Published Date: 2014
Language: en
Isbn 10: 3862197743
Isbn 13: 9783862197743
Sale Info: FOR_SALE
Price: 20 EUR


Download Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirements, (Paid Version)
Buy Here: _https://play.google.com/store/books/details?id=nMlrBAAAQBAJ

[100% OFF] Original Price : 20 EUR FREE
DOWNLOAD NOW

How to Download Paid Ebooks:
1. Click Button "DOWNLOAD NOW"
2. Complete 1 Offer to Continue. After completion this resource will be unlocked.
3. Smartphones and Tablets: Install the "Google Play Books" app for Android and iPad / iPhone. The application will be synced automatically with your account and can be accessed online or offline anywhere.