Login

Broy, Manfred

Advanced Model-Based Engineering of Embedded Systems

Broy, Manfred - Advanced Model-Based Engineering of Embedded Systems, ebook

81,85€

Ebook, PDF with Adobe DRM
ISBN: 9783319480039
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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

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

Editor
 
 
 
Publisher
Springer
Publication year
2016
Language
en
Edition
1
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783319480039
Printed ISBN
978-3-319-48002-2

Similar titles