Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology Paperback / softback
Edited by Wolfgang B?hm, Manfred Broy, Cornel Klein
Paperback / softback
Description
1. Use Cases.- 2. Engineering of Collaborative Embedded Systems.- 3. Architectures for Flexible Collaborative Systems.- 4.
Function Modeling for Collaborative Embedded Systems.- 5.
Architectures for Dynamically Coupled Systems.- 6. Modeling and Analyzing Context-Sensitive Changes during Runtime.- 7. Handling Uncertainty in Collaborative Embedded Systems Engineering.- 8.
Dynamic Safety Certification for Collaborative Embedded Systems at Runtime.- 9.
Goal-Based Strategy Exploration.- 10. Creating Trust in Collaborative Embedded Systems.- 11.
Language Engineering for Heterogeneous Collaborative Embedded Systems.- 12.
Development and Evaluation of Collaborative Systems using Simulation.- 13.
Tool Support for Co-Simulation-Based Analysis.- 14. Supporting the Creation of Digital Twins for CESs.- 15.
Online Experiment-Driven Learning and Adaption.- 16.
Compositional Verification using Model Checking and Theorem Proving.- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems.- 18.
Variant and Product Line Co-Evolution.- 19. Advanced Systems Engineering.
Information
-
Out of stock
- Format:Paperback / softback
- Pages:420 pages, Illustrations
- Publisher:Springer
- Publication Date:26/12/2021
- Category:
- ISBN:9783030621384
Information
-
Out of stock
- Format:Paperback / softback
- Pages:420 pages, Illustrations
- Publisher:Springer
- Publication Date:26/12/2021
- Category:
- ISBN:9783030621384