2012

Model-Based Engineering of Embedded Systems

The SPES 2020 Methodology

Editors:

ISBN: 978-3-642-34613-2 (Print) 978-3-642-34614-9 (Online)

Table of contents (18 chapters)

  1. Front Matter

    Pages i-xii

  2. Starting Situation

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-14

      Challenges in Engineering for Software-Intensive Embedded Systems

    3. No Access

      Book Chapter

      Pages 15-28

      Requirements from the Application Domains

  3. The SPES Modeling Framework

    1. Front Matter

      Pages 29-29

    2. No Access

      Book Chapter

      Pages 31-49

      Introduction to the SPES Modeling Framework

    3. No Access

      Book Chapter

      Pages 51-68

      Requirements Viewpoint

    4. No Access

      Book Chapter

      Pages 69-83

      Functional Viewpoint

    5. No Access

      Book Chapter

      Pages 85-93

      Logical Viewpoint

    6. No Access

      Book Chapter

      Pages 95-106

      Technical Viewpoint

    7. No Access

      Book Chapter

      Pages 107-118

      Modeling Quality Aspects: Safety

    8. No Access

      Book Chapter

      Pages 119-128

      Modeling Quality Aspects: Real-Time

  4. Application and Evaluation of the SPES Modeling Framework

    1. Front Matter

      Pages 129-129

    2. No Access

      Book Chapter

      Pages 131-135

      Overview of the SPES Evaluation Strategy

    3. No Access

      Book Chapter

      Pages 137-155

      Application and Evaluation in the Automation Domain

    4. No Access

      Book Chapter

      Pages 157-175

      Application and Evaluation in the Automotive Domain

    5. No Access

      Book Chapter

      Pages 177-196

      Application and Evaluation in the Avionics Domain

    6. No Access

      Book Chapter

      Pages 197-214

      Application and Evaluation in the Energy Domain

    7. No Access

      Book Chapter

      Pages 215-230

      Application and Evaluation in the Healthcare Domain

    8. No Access

      Book Chapter

      Pages 231-239

      Evaluation Summary

  5. Impact of the SPES Modeling Framework

    1. Front Matter

      Pages 241-241

    2. No Access

      Book Chapter

      Pages 243-249

      Lessons Learned

    3. No Access

      Book Chapter

      Pages 251-254

      Outlook

  6. Back Matter

    Pages 255-301