| TÃtulo : |
Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology |
| Tipo de documento: |
documento electrónico |
| Autores: |
Böhm, Wolfgang, ; Broy, Manfred, ; Klein, Cornel, ; Pohl, Klaus, ; Rumpe, Bernhard, ; Schröck, Sebastian, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2021 |
| Número de páginas: |
XIII, 404 p. 148 ilustraciones, 83 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-62136-0 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
IngenierÃa de software IngenierÃa automotriz Computadoras Propósitos especiales Gestión de software Sistemas de propósito especial y basados ​​en aplicaciones |
| Ãndice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
Este libro de acceso abierto presenta los resultados del proyecto "Collaborative Embedded Systems" (CrESt), cuyo objetivo es adaptar y complementar la metodologÃa subyacente a las técnicas de modelado desarrolladas para hacer frente a los desafÃos de las estructuras dinámicas de los sistemas colaborativos integrados (CES) basados ​​en el SPES. MetodologÃa de desarrollo. Para gestionar la alta complejidad de los sistemas individuales y las estructuras de interacción formadas dinámicamente en tiempo de ejecución, se necesitan métodos de desarrollo avanzados y potentes que amplÃen los últimos avances en el desarrollo de sistemas integrados y sistemas ciberfÃsicos. Las contribuciones metodológicas del proyecto apoyan el desarrollo efectivo y eficiente de CES en contextos dinámicos e inciertos, con especial énfasis en la confiabilidad y variabilidad de los sistemas individuales y la creación de redes de dichos sistemas en tiempo de ejecución. El proyecto fue financiado por el Ministerio Federal Alemán de Educación e Investigación (BMBF), por lo que los estudios de caso se seleccionan de áreas muy relevantes para la economÃa alemana (automoción, producción industrial, generación de energÃa y robótica). También apoya la digitalización de plantas industriales complejas y transformables en el contexto de la iniciativa "Industria 4.0" del gobierno alemán, y los resultados del proyecto proporcionan una base sólida para implementar la estrategia de alta tecnologÃa del gobierno alemán "Innovaciones para Alemania" en los próximos años. . |
| Nota de contenido: |
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 andTheorem Proving -- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems -- 18. Variant and Product Line Co-Evolution -- 19. Advanced Systems Engineering. |
| En lÃnea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology [documento electrónico] / Böhm, Wolfgang, ; Broy, Manfred, ; Klein, Cornel, ; Pohl, Klaus, ; Rumpe, Bernhard, ; Schröck, Sebastian, . - 1 ed. . - [s.l.] : Springer, 2021 . - XIII, 404 p. 148 ilustraciones, 83 ilustraciones en color. ISBN : 978-3-030-62136-0 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
IngenierÃa de software IngenierÃa automotriz Computadoras Propósitos especiales Gestión de software Sistemas de propósito especial y basados ​​en aplicaciones |
| Ãndice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
Este libro de acceso abierto presenta los resultados del proyecto "Collaborative Embedded Systems" (CrESt), cuyo objetivo es adaptar y complementar la metodologÃa subyacente a las técnicas de modelado desarrolladas para hacer frente a los desafÃos de las estructuras dinámicas de los sistemas colaborativos integrados (CES) basados ​​en el SPES. MetodologÃa de desarrollo. Para gestionar la alta complejidad de los sistemas individuales y las estructuras de interacción formadas dinámicamente en tiempo de ejecución, se necesitan métodos de desarrollo avanzados y potentes que amplÃen los últimos avances en el desarrollo de sistemas integrados y sistemas ciberfÃsicos. Las contribuciones metodológicas del proyecto apoyan el desarrollo efectivo y eficiente de CES en contextos dinámicos e inciertos, con especial énfasis en la confiabilidad y variabilidad de los sistemas individuales y la creación de redes de dichos sistemas en tiempo de ejecución. El proyecto fue financiado por el Ministerio Federal Alemán de Educación e Investigación (BMBF), por lo que los estudios de caso se seleccionan de áreas muy relevantes para la economÃa alemana (automoción, producción industrial, generación de energÃa y robótica). También apoya la digitalización de plantas industriales complejas y transformables en el contexto de la iniciativa "Industria 4.0" del gobierno alemán, y los resultados del proyecto proporcionan una base sólida para implementar la estrategia de alta tecnologÃa del gobierno alemán "Innovaciones para Alemania" en los próximos años. . |
| Nota de contenido: |
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 andTheorem Proving -- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems -- 18. Variant and Product Line Co-Evolution -- 19. Advanced Systems Engineering. |
| En lÃnea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |