Model-Based Engineering of Collaborative Embedded Systems / Böhm, Wolfgang ; Broy, Manfred ; Klein, Cornel ; Pohl, Klaus ; Rumpe, Bernhard ; Schröck, Sebastian  

Público ISBD Ningún comentario para este registro. 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. Idioma : Inglés (eng) 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 Clasificación: 005.1 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. Tipo de medio : Computadora Summary : 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) based on the SPES development methodology. In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime. The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany's economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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. Idioma : Inglés (eng) 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 Clasificación: 005.1 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. Tipo de medio : Computadora Summary : 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) based on the SPES development methodology. In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime. The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany's economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200