Book 2016

Advanced Model-Based Engineering of Embedded Systems

Extensions of the SPES 2020 Methodology

ISBN: 978-3-319-48002-2 (Print) 978-3-319-48003-9 (Online)

Table of contents (16 chapters)

  1. Front Matter

    Pages i-xii

  2. Starting Situation

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-9

      Advanced Model-Based Engineering of Embedded Systems

    3. No Access

      Chapter

      Pages 11-25

      Running Examples

  3. Modeling Theory

    1. Front Matter

      Pages 27-27

    2. No Access

      Chapter

      Pages 29-42

      SPES XT Modeling Framework

    3. No Access

      Chapter

      Pages 43-57

      SPES XT Context Modeling Framework

    4. No Access

      Chapter

      Pages 59-71

      SPES XT Systems Engineering Extensions

  4. Application of the SPES XT Modeling Framework

    1. Front Matter

      Pages 73-73

    2. No Access

      Chapter

      Pages 75-103

      Early Validation of Engineering Artifacts

    3. No Access

      Chapter

      Pages 105-117

      Verification of Systems in Physical Contexts

    4. No Access

      Chapter

      Pages 119-144

      System Function Networks

    5. No Access

      Chapter

      Pages 145-168

      Optimal Deployment

    6. No Access

      Chapter

      Pages 169-196

      Modular Safety Assurance

    7. No Access

      Chapter

      Pages 197-222

      Variant Management and Reuse

  5. Evaluation and Technology Transfer

    1. Front Matter

      Pages 223-223

    2. No Access

      Chapter

      Pages 225-239

      Experiences of Application in the Automation Domain

    3. No Access

      Chapter

      Pages 241-250

      Technology Transfer Concepts

    4. No Access

      Chapter

      Pages 251-262

      The SPES XT Tool Platform

    5. No Access

      Chapter

      Pages 263-271

      Evaluation of the SPES XT Modeling Framework

    6. No Access

      Chapter

      Pages 273-276

      Outlook

  6. Back Matter

    Pages 277-303