Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirements
データ種別 | 電子ブック |
---|---|
出版情報 | [Place of publication not identified] : Kassel University Press GmbH , 2014 |
本文言語 | 英語 |
大きさ | 1 online resource |
書誌詳細を非表示
資料種別 | 機械可読データファイル |
---|---|
内容注記 | 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 Vendor-supplied metadata |
著者標目 | *Daw Pérez, Zamira A. |
件 名 | LCSH:Electronic books BSH:Electronic books LCSH:Embedded computer systems BISACSH:COMPUTERS -- Computer Literacy 全ての件名で検索 BISACSH:COMPUTERS -- Computer Science 全ての件名で検索 BISACSH:COMPUTERS -- Data Processing 全ての件名で検索 BISACSH:COMPUTERS -- Hardware -- General 全ての件名で検索 BISACSH:COMPUTERS -- Information Technology 全ての件名で検索 BISACSH:COMPUTERS -- Machine Theory 全ての件名で検索 BISACSH:COMPUTERS -- Reference 全ての件名で検索 FREE:Embedded computer systems FREE:Eingebettetes System FREE:Hybrides System FREE:Sicherheitskritisches System FREE:Modellgetriebene Entwicklung FREE:Codegenerierung FREE:Spezifikationstechnik FREE:Modelltransformation FREE:Verifikation FREE:Zuverlässigkeit FREE:UML |
分 類 | DC:004 |
書誌ID | ED00003520 |
ISBN | 9783862197750 |