000			04704nam a2200457 i 4500
999			_c334678 _d334678 _x1
001			334678
003			ES-MaUEC
005			20230102114735.0
006			a|||| o|||| 00| 0
007			cr nn nnnaamaa
008			201214s2021 gw a o |||| 0|eng d
020			_a9783030621360
024	7		_a10.1007/978-3-030-62136-0 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050		4	_aQA76.758 _b2021 EB
245		0	_aModel-Based Engineering of Collaborative Embedded Systems : _bExtensions of the SPES Methodology _cedited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck
250			_aFirst edition 2021
264		1	_aCham, Switzerland _bSpringer International Publising _c2021
300			_a1 recurso en línea (XIII, 404 páginas) _b148 ilustraciones, 83 ilustraciones a color
336			_2rdacontent _aTexto _btxt
337			_2rdamedia _aelectrónico _bc
338			_2rdacarrier _arecurso electrónico _bcr
347			_atext file _bPDF _2rda
505	0		_a1. 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.
506	0		_aOpen Access
520	3		_aThis 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.
988			_aSpringer_Computer_2021
650		7	_2embne _aIngeniería del software _9152630
700	1		_aBöhm, Wolfgang _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aBroy, Manfred _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aKlein, Cornel _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aPohl, Klaus _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aRumpe, Bernhard _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aSchröck, Sebastian _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-62136-0 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b05/2021 _dz _eb _zSI