000			05001cam a2200529 i 4500
999			_c89867 _d89867
005			20250324090200.0
006			m o d
007			cr |n|||||||||
008			250321b ||||| |||| 00| 0 eng d
020			_a9783030621360 _q(electronic bk.)
020			_a3030621367 _q(electronic bk.)
020			_a9783030621377 _q(print)
020			_a3030621375
020			_a9783030621384 _q(print)
020			_a3030621383
020			_z3030621359
020			_z9783030621353
024	7		_a10.1007/978-3-030-62136-0 _2doi
035			_a(OCoLC)1228887251 _z(OCoLC)1228844996 _z(OCoLC)1231611166 _z(OCoLC)1233070482 _z(OCoLC)1237026736 _z(OCoLC)1240531682 _z(OCoLC)1241065797 _z(OCoLC)1249944149
040			_aYDX _beng _epn _erda _cYDX _dGW5XE _dOCLCO _dUKBTH _dEBLCP _dUPM _dOCLCF _dLVT _dVT2 _dLEATE _dOCL _dOCLCQ _dOCLCO _dCOM _dOCLCO _dOCLCQ _dEQO
041			_aeng
050		4	_aTK7895.E42
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
072		7	_aUMZ _2thema
082	0	4	_a006.2/2 _223
245	0	0	_aModel-based engineering of collaborative embedded systems : _bextensions of the SPES methodology / _cWolfgang Bohm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schrock, editors.
264		1	_aCham : _bSpringer, _c2021.
300			_a1 online resource.
336			_atext _btxt _2rdacontent.
337			_acomputer _bc _2rdamedia.
338			_aonline resource _bcr _2rdacarrier.
504			_aIncludes bibliographical references.
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.
520			_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.
540			_aCreative commons _fby/4.0/ _uhttp://creativecommons.org/licenses/by/4.0/
650		0	_aEmbedded computer systems. _0https://id.loc.gov/authorities/subjects/sh87006632.
655		4	_aElectronic books.
700	1		_aBohm, Wolfgang _q(Wolfgang J.), _0https://id.loc.gov/authorities/names/no2023049523 _eeditor.
700	1		_aBroy, M., _d1949- _0https://id.loc.gov/authorities/names/n79060851 _eeditor.
700	1		_aKlein, Cornel, _0https://id.loc.gov/authorities/names/nb2016003700 _eeditor.
700	1		_aPohl, Klaus, _0https://id.loc.gov/authorities/names/n83200846 _eeditor.
700	1		_aRumpe, Bernhard, _0https://id.loc.gov/authorities/names/n98097443 _eeditor.
700	1		_aSchrock, Sebastian, _d1987- _0https://id.loc.gov/authorities/names/nb2016018443 _eeditor.
856	4	0	_uhttps://directory.doabooks.org/handle/20.500.12854/38403 _y Full text available at OAPEN CLick here to view
942			_2ddc _cOA