Broy, Manfred
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
Avainsanat: Computer Science, Software Engineering, Special Purpose and Application-Based Systems, Automotive Engineering, Aerospace Technology and Astronautics
- Toimittaja
- Broy, Manfred
- Daembkes, Heinrich
- Hönninger, Harald
- Pohl, Klaus
- Julkaisija
- Springer
- Julkaisuvuosi
- 2016
- Kieli
- en
- Painos
- 1
- Kategoria
- Tietotekniikka, tietoliikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9783319480039
- Painetun ISBN
- 978-3-319-48002-2