Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology, Paperback / softback Book

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

Out of stock

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

£34.99

Out of stock
Add to Basket
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information