Model-Based Engineering of Embedded Systems

The SPES 2020 Methodology

By Klaus Pohl , Harald Hönninger , Reinhold Achatz , Manfred Broy

Model-Based Engineering of Embedded Systems Cover Image

This book offers a comprehensive guide to model-based engineering of embedded systems, with sections titled Starting Point, SPES Modeling Theory, Application and Evaluation of the SPES Methodology and Impact of the SPES Methodology.

Full Description

  • ISBN13: 978-3-6423-4613-2
  • 316 Pages
  • User Level: Professionals
  • Publication Date: November 8, 2012
  • Available eBook Formats: PDF
  • eBook Price: $69.95
Buy eBook Buy Print Book Add to Wishlist
Full Description
Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult and challenging because of their overall system complexity, their tighter and cross-functional integration, the increasing requirements concerning safety and real-time behavior, and the need to reduce development and operation costs.This book provides a comprehensive overview of the Software Platform Embedded Systems (SPES) modeling framework and demonstrates its applicability in embedded system development in various industry domains such as automation, automotive, avionics, energy, and healthcare. In SPES 2020, twenty-one partners from academia and industry have joined forces in order to develop and evaluate in different industrial domains a modeling framework that reflects the current state of the art in embedded systems engineering.The content of this book is structured in four parts. Part I “Starting Point” discusses the status quo of embedded systems development and model-based engineering, and summarizes the key requirements faced when developing embedded systems in different application domains. Part II “The SPES Modeling Framework” describes the SPES modeling framework. Part III “Application and Evaluation of the SPES Modeling Framework” reports on the validation steps taken to ensure that the framework met the requirements discussed in Part I. Finally, Part IV “Impact of the SPES Modeling Framework” summarizes the results achieved and provides an outlook on future work.The book is mainly aimed at professionals and practitioners who deal with the development of embedded systems on a daily basis. Researchers in academia and industry may use it as a compendium for the requirements and state-of-the-art solution concepts for embedded systems development.
Table of Contents

Table of Contents

  1. Part I Starting Situation.
  2. Challenges in Engineering for Software
  3. Intensive Embedded Systems.
  4. Requirements from the Application Domains.
  5. Part II The SPES Modeling Framework.
  6. Introduction to the SPES Modeling Framework.
  7. Requirements Viewpoint.
  8. Functional Viewpoint.
  9. Logical Viewpoint.
  10. Technical Viewpoint.
  11. Modeling Quality Aspects: Safety.
  12. Modeling Quality Aspects: Real
  13. Time.
  14. Part III Application and Evaluation of the SPES Modeling Framework.
  15. Overview of the SPES Evaluation Strategy.
  16. Application and Evaluation in the Automation Domain.
  17. Application and Evaluation in the Automotive Domain.
  18. Application and Evaluation in the Avionics Domain.
  19. Application and Evaluation in the Energy Domain.
  20. Application and Evaluation in the Healthcare Domain.
  21. Evaluation Summary.
  22. Part IV Impact of the SPES Modeling Framework.
  23. Lessons Learned.
  24. Outlook.
Errata

Please Login to submit errata.

No errata are currently published