Linked e-resources
Details
Table of Contents
Preface; Table of Contents; Part I Starting Situation; 1 Advanced model-Based Engineering of Embedded Systems; 1.1 Challenges in Embedded System Development ; 1.2 The SPES Engineering Methodology ; 1.3 Vision and Mission of SPES XT ; 1.4 Topics not Addressed ; 1.5 Key Contributors of the SPES XT Approach ; 1.6 The Future of embedded Systems ; 1.7 References ; 2 Running Examples ; 2.1 Introduction ; 2.2 Automotive Exampl: Exterior Lighting and Speed Control ; 2.3 Automation Example: Desalination Plant ; 2.4 Summary ; 2.5 References ; Part II Modeling Theory ; 3 SPES XT Modeling Framework
3.1 Introduction 3.2 Structure of the SPES XT Modeling Framework ; 3.3 SPES Process Building Block Framework ; 3.4 Specific Extensions of the SPES XT Modeling Framework ; 3.5 Summary ; 3.6 References ; 4 SPES XT Context Modeling Framework ; 4.1 Introduction ; 4.2 The SPES XT Context Modeling Framework ; 4.3 Applying Context Models ; 4.4 Summary ; 4.5 References ; 5 SPES XT Systems Engineering Extensions ; 5.1 Introduction ; 5.2 Standard Engineering Processes ; 5.3 Integrating Systems and Software Engineering ; 5.4 Summary ; 5.5 References
Part III Application of the SPES XT Modeling Framework 6 Early Validation of Engineering Artifacts ; 6.1 Introduction ; 6.2 Supporting Artifacts for Validation ; 6.3 Validation Techniques ; 6.4 Summary ; 6.5 References ; 7 Verification of Systems in Physical Contexts ; 7.1 Introduction ; 7.2 Extensions to the SPES Modeling Framework ; 7.3 Methodological Building Blocks ; 7.4 Summary ; 7.5 References ; 8 System Function Networks ; 8.1 Introduction ; 8.2 Extension to the SPES Modeling Framework ; 8.3 Methodological Process Building Blocks ; 8.4 Summary ; 8.5 References ; 9 Optimal Deployment
9.1 Introduction 9.2 Extensions to the SPES Modeling Framework ; 9.3 Methodological Process Building Blocks ; 9.4 Application to the Automotive Example ; 9.5 Summary ; 9.6 References ; 10 Modular Safety Assurance ; 10.1 Introduction ; 10.2 Integrated Safety Framework ; 10.3 Methodological Building Blocks ; 10.4 Summary ; 10.5 References ; 11 Variant Management and Reuse ; 11.1 Introduction ; 11.2 Variabilty Extension to the SPES Modeling Framework ; 11.3 Methodological Building Blocks ; 11.4 Summary ; 11.5 References ; Part IV Evaluation and Technology Transfer
12 Experiences of Application in the Automation Domain 12.1 Introduction ; 12.2 Today's Process ; 12.3 Technological Hierarchy ; 12.4 Applying the SPES Viewpoints in the Automation Domain ; 12.5 Implication for Engineering Tools Used Today ; 12.6 Summary ; 12.7 References ; 13 Technology Transfer Concepts ; 13.1 Introduction ; 13.2 Technology Transfer in SPES XT ; 13.3 Guideline Concepts ; 13.4 Artifact Quality Assessment Framework ; 13.5 Summary ; 13.6 References ; 14 The SPES XT Tool Platform ; 14.1 Introduction ; 14.2 Interoperability and Tool Intrgration Concepts
3.1 Introduction 3.2 Structure of the SPES XT Modeling Framework ; 3.3 SPES Process Building Block Framework ; 3.4 Specific Extensions of the SPES XT Modeling Framework ; 3.5 Summary ; 3.6 References ; 4 SPES XT Context Modeling Framework ; 4.1 Introduction ; 4.2 The SPES XT Context Modeling Framework ; 4.3 Applying Context Models ; 4.4 Summary ; 4.5 References ; 5 SPES XT Systems Engineering Extensions ; 5.1 Introduction ; 5.2 Standard Engineering Processes ; 5.3 Integrating Systems and Software Engineering ; 5.4 Summary ; 5.5 References
Part III Application of the SPES XT Modeling Framework 6 Early Validation of Engineering Artifacts ; 6.1 Introduction ; 6.2 Supporting Artifacts for Validation ; 6.3 Validation Techniques ; 6.4 Summary ; 6.5 References ; 7 Verification of Systems in Physical Contexts ; 7.1 Introduction ; 7.2 Extensions to the SPES Modeling Framework ; 7.3 Methodological Building Blocks ; 7.4 Summary ; 7.5 References ; 8 System Function Networks ; 8.1 Introduction ; 8.2 Extension to the SPES Modeling Framework ; 8.3 Methodological Process Building Blocks ; 8.4 Summary ; 8.5 References ; 9 Optimal Deployment
9.1 Introduction 9.2 Extensions to the SPES Modeling Framework ; 9.3 Methodological Process Building Blocks ; 9.4 Application to the Automotive Example ; 9.5 Summary ; 9.6 References ; 10 Modular Safety Assurance ; 10.1 Introduction ; 10.2 Integrated Safety Framework ; 10.3 Methodological Building Blocks ; 10.4 Summary ; 10.5 References ; 11 Variant Management and Reuse ; 11.1 Introduction ; 11.2 Variabilty Extension to the SPES Modeling Framework ; 11.3 Methodological Building Blocks ; 11.4 Summary ; 11.5 References ; Part IV Evaluation and Technology Transfer
12 Experiences of Application in the Automation Domain 12.1 Introduction ; 12.2 Today's Process ; 12.3 Technological Hierarchy ; 12.4 Applying the SPES Viewpoints in the Automation Domain ; 12.5 Implication for Engineering Tools Used Today ; 12.6 Summary ; 12.7 References ; 13 Technology Transfer Concepts ; 13.1 Introduction ; 13.2 Technology Transfer in SPES XT ; 13.3 Guideline Concepts ; 13.4 Artifact Quality Assessment Framework ; 13.5 Summary ; 13.6 References ; 14 The SPES XT Tool Platform ; 14.1 Introduction ; 14.2 Interoperability and Tool Intrgration Concepts