Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology

Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology

This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) ba...

Descripción completa

Detalles Bibliográficos
Otros Autores: Böhm, Wolfgang (Editor), Böhm, Wolfgang (Wolfgang J.) editor (editor), Broy, Manfred. editor, Klein, Cornel. editor, Pohl, Klaus. editor, Rumpe, Bernhard. editor, Schröck, Sebastian. editor
Formato: Libro electrónico
Idioma:Inglés
Publicado: Cham : Springer Nature 2021
2021.
Edición:1st ed. 2021.
Materias:
Software engineering.
Management information systems.
Automotive engineering.
Special purpose computers.
Software Engineering.
Software Management.
Automotive Engineering.
Special Purpose and Application-Based Systems.
Software Engineering
Software Management
Automotive Engineering
Special Purpose and Application-Based Systems
IT in Business
Model-Driven Software Development
Requirements Engineering
Automotive Software Engineering
Embedded Systems
Open Access
SPES Methodology
Simulation
Co-Design of Systems
Business mathematics & systems
Business applications
Automotive technology & trades
Automotive (motor mechanic) skills
Expert systems / knowledge-based systems
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009430293806719
Tabla de Contenidos:
  • 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.

Ejemplares similares