Mohlo by se vám také líbit

Informovat o naskladnění knihy

Více informací o knize Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirements

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Anotace knihy

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.

Parametry knihy

• Plný název: Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirements
• Autor: Zamira Angélica Daw Pérez
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 182
• EAN: 9783862197743
• ID: 02886327
• Nakladatelství: kassel university press
• Hmotnost: 380 g
• Rozměry: 241 × 171 × 10 mm
• Rok vydání: 2014

Oblíbené z jiného soudku

---

---

---