Advanced Model-Based Engineering of Embedded Systems

Part I. Starting Situation

1. Advanced Model-Based Engineering of Embedded Systems
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

2. Running Examples
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

Part II. Modeling Theory

3. SPES XT Modeling Framework
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

4. SPES XT Context Modeling Framework
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

5. SPES XT Systems Engineering Extensions
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

Part III. Application of the SPES XT Modeling Framework

6. Early Validation of Engineering Artifacts
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

7. Verification of Systems in Physical Contexts
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

8. System Function Networks
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

9. Optimal Development
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

10. Modular Safety Assurance
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

11. Variant Management and Reuse
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

Part IV. Evaluation and Technology Transfer

12. Experiences of Application in the Automation Domain
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

13. Technology Transfer Concepts
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

14. The SPES XT Tool Platform
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

15. Evaluation of the SPES XT Modeling Framework
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

16. Outlook
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

Nyckelord: Computer Science, Software Engineering, Special Purpose and Application-Based Systems, Automotive Engineering, Aerospace Technology and Astronautics