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

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

4.11 - 1251 ratings - Source



Die Entwicklung eingebetteter Systeme wird aufgrund der immer anspruchsvolleren Anwendungen sowie der Verwendung von leistungsfAchigeren Hardware-Architekturen (z.B. Multicore-, Hybrid-Systeme) immer komplexer. Modellgetriebene Methoden reduzieren die KomplexitAct des Systems mittels angemessenen Abstraktionsniveaus. Diese Arbeit stellt die modellgetriebene Entwicklungsmethodik DMOSES (Determi-nistische Modelle fA¼r die signalverarbeitenden eingebetteten Systeme) vor. Diese Methodik strebt die Verbesserung der Entwicklung hybrider eingebetteten Systeme (z.B. CPUs und FPGAs) hinsichtlich der KomplexitAct 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. AuAŸerdem werden Sicherheitsanforderungen durch die Integration von Analysetechniken (Formale Verifikation, AusfA¼hrungszeit-Analyse und Software-VertrAcgen) in die Entwicklungsmethodik verifiziert.In future works, the contract-based modeling approach has to be extended for FPGAs and hybrid systems. ... In addition to the improvement of the UML interfaces using contracts, the DMOSES method provides a library management system that facilitates and makes the reuse of ... A limited number of development methods support the code generation of software languages and hardware description.


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
Publisher:kassel university press GmbH - 2014
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA