Sisäänkirjautuminen

Broy, Manfred

Advanced Model-Based Engineering of Embedded Systems

Broy, Manfred - Advanced Model-Based Engineering of Embedded Systems, e-kirja

81,85€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9783319480039
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

Table of contents

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
 
 
 
Julkaisija
Springer
Julkaisuvuosi
2016
Kieli
en
Painos
1
Kategoria
Tietotekniikka, tietoliikenne
Tiedostomuoto
E-kirja
eISBN (PDF)
9783319480039
Painetun ISBN
978-3-319-48002-2

Samankaltaisia e-kirjoja