Amazon cover image
Image from Amazon.com
Image from Google Jackets
Image from OpenLibrary

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

By: Material type: TextPublisher: [Place of publication not identified] : Kassel University Press GmbH, 2014Description: 1 online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783862197750
  • 3862197751
Subject(s): Genre/Form: Additional physical formats: Erscheint auch als:: Daw P�erez, Zamira A. Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirementsDDC classification:
  • 004
LOC classification:
  • TK7895.E42 -- D39 2014eb
Online resources:
Contents:
Front Cover; Title Page; Imprint; Dedication; Acknowledgements; Zusammenfassung; Contents; List of Figures; List of Tables; Listings; Abstract; 1. Introduction; 1.1 Problem statement and proposed approach; 1.2 Thesis Outline; 2. Background and Related Work; 2.1 Safety-related hybrid embedded systems; 2.2 Model-driven development methods; 2.3 Modelling languages; 2.4 Contract-based design; 2.5 Formal Verification; 2.6 Timing analysis; 3. The DMOSES Approach; 4. Modeling; 4.1 DMOSES Profile; 4.2 Behavior description; 4.2.1 Extended Activities; 4.2.2 Extended State Machines.
4.2.3 Atomic elements4.2.4 Hierarchical Modeling; 4.2.5 Parallel Modeling; 4.2.6 Dependable concurrent state machines; 4.2.7 Interconnected Activities and State Machines; 4.2.8 Instantiation of system behavior; 4.3 Hardware description; 4.3.1 Hybrid Systems; 4.4 Contract-based modeling; 4.4.1 Contracts into the MDD method; 4.4.2 Specification of contracts; 4.4.3 Fault-tolerant system modeling; 4.4.4 Hierarchical exception mechanism; 4.5 Formalization of extended UML models; 4.5.1 Pre-formalization; 4.5.2 Formal semantics using Timed Automata; 4.5.3 Formal semantics using NuSMV; 4.6 Summary.
5. Code Generation5.1 Meta-Object Facility of the DMOSES methodology; 5.2 Generation Process; 5.3 Implementation of UML models; 5.3.1 C++ Implementation; 5.3.2 VHDL Implementation; 5.3.3 Hybrid Systems; 5.4 Summary; 6. Verification; 6.1 Process verification; 6.1.1 UML semantics; 6.1.2 DMOSES semantics; 6.2 System verification; 6.2.1 Components' compatibility; 6.2.2 Timing analysis; 6.2.3 Formal verification; 6.3 Summary; 7. Case Studies; 7.1 Low-density parity-check Decoder; 7.2 Infusion Pump; 7.3 Hybrid Systems; 7.3.1 Configurable Audio Loop; 7.3.2 Active Voice; 8. Results.
8.1 Requirements of safety-related hybrid embedded systems8.2 Comparison with other MDD methods; 8.2.1 Evaluation method; 8.2.2 Modeling language; 8.2.3 Description of embedded systems; 8.2.4 Tool support; 8.2.5 Development of hybrid safety-related embedded systems; 8.3 LDPC Decoder; 8.4 Performance Evaluation of the Formalization of UML activities; 8.5 Infusion Pump; 8.5.1 Verification of System requirements; 9. DMOSES Tool; 9.1 User Interface; 9.1.1 Code generation; 9.1.2 Verification; 9.1.3 Libraries management; 9.2 Summary; 10. Discussion; 11. Conclusion; Appendices; A. DMOSES Metamodel.
B. Implementation in oAW-LanguagesExamples of a M2M Transformation; Examples of a M2T Transformation; Examples of model verification; Bibliography; Back Cover.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Vendor-supplied metadata.

Front Cover; Title Page; Imprint; Dedication; Acknowledgements; Zusammenfassung; Contents; List of Figures; List of Tables; Listings; Abstract; 1. Introduction; 1.1 Problem statement and proposed approach; 1.2 Thesis Outline; 2. Background and Related Work; 2.1 Safety-related hybrid embedded systems; 2.2 Model-driven development methods; 2.3 Modelling languages; 2.4 Contract-based design; 2.5 Formal Verification; 2.6 Timing analysis; 3. The DMOSES Approach; 4. Modeling; 4.1 DMOSES Profile; 4.2 Behavior description; 4.2.1 Extended Activities; 4.2.2 Extended State Machines.

4.2.3 Atomic elements4.2.4 Hierarchical Modeling; 4.2.5 Parallel Modeling; 4.2.6 Dependable concurrent state machines; 4.2.7 Interconnected Activities and State Machines; 4.2.8 Instantiation of system behavior; 4.3 Hardware description; 4.3.1 Hybrid Systems; 4.4 Contract-based modeling; 4.4.1 Contracts into the MDD method; 4.4.2 Specification of contracts; 4.4.3 Fault-tolerant system modeling; 4.4.4 Hierarchical exception mechanism; 4.5 Formalization of extended UML models; 4.5.1 Pre-formalization; 4.5.2 Formal semantics using Timed Automata; 4.5.3 Formal semantics using NuSMV; 4.6 Summary.

5. Code Generation5.1 Meta-Object Facility of the DMOSES methodology; 5.2 Generation Process; 5.3 Implementation of UML models; 5.3.1 C++ Implementation; 5.3.2 VHDL Implementation; 5.3.3 Hybrid Systems; 5.4 Summary; 6. Verification; 6.1 Process verification; 6.1.1 UML semantics; 6.1.2 DMOSES semantics; 6.2 System verification; 6.2.1 Components' compatibility; 6.2.2 Timing analysis; 6.2.3 Formal verification; 6.3 Summary; 7. Case Studies; 7.1 Low-density parity-check Decoder; 7.2 Infusion Pump; 7.3 Hybrid Systems; 7.3.1 Configurable Audio Loop; 7.3.2 Active Voice; 8. Results.

8.1 Requirements of safety-related hybrid embedded systems8.2 Comparison with other MDD methods; 8.2.1 Evaluation method; 8.2.2 Modeling language; 8.2.3 Description of embedded systems; 8.2.4 Tool support; 8.2.5 Development of hybrid safety-related embedded systems; 8.3 LDPC Decoder; 8.4 Performance Evaluation of the Formalization of UML activities; 8.5 Infusion Pump; 8.5.1 Verification of System requirements; 9. DMOSES Tool; 9.1 User Interface; 9.1.1 Code generation; 9.1.2 Verification; 9.1.3 Libraries management; 9.2 Summary; 10. Discussion; 11. Conclusion; Appendices; A. DMOSES Metamodel.

B. Implementation in oAW-LanguagesExamples of a M2M Transformation; Examples of a M2T Transformation; Examples of model verification; Bibliography; Back Cover.

Open Access EbpS

There are no comments on this title.

to post a comment.
Share

Powered by the ICTS Department