Model-Based Engineering of Embedded Systems: The Spes 2020 Methodology (Hardcover, 2012)

Part I Starting Situation.- Challenges in Engineering for Software-Intensive Embedded Systems.- Requirements from the Application Domains.- Part II The SPES Modeling Framework.- Introduction to the SPES Modeling Framework.- Requirements Viewpoint.- Functional Viewpoint.- Logical Viewpoint.- Technical Viewpoint.- Modeling Quality Aspects: Safety.- Modeling Quality Aspects: Real-Time.- Part III Application and Evaluation of the SPES Modeling Framework.- Overview of the SPES Evaluation Strategy.- Application and Evaluation in the Automation Domain.- Application and Evaluation in the Automotive Domain.- Application and Evaluation in the Avionics Domain.- Application and Evaluation in the Energy Domain.- Application and Evaluation in the Healthcare Domain.- Evaluation Summary.- Part IV Impact of the SPES Modeling Framework.- Lessons Learned.- Outlook.