000 05050nam a22006135i 4500
001 978-3-030-62136-0
003 DE-He213
005 20240507154520.0
007 cr nn 008mamaa
008 201214s2021 sz | s |||| 0|eng d
020 _a9783030621360
_9978-3-030-62136-0
024 7 _a10.1007/978-3-030-62136-0
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aModel-Based Engineering of Collaborative Embedded Systems
_h[electronic resource] :
_bExtensions of the SPES Methodology /
_cedited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck.
250 _a1st ed. 2021.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2021.
300 _aXIII, 404 p. 148 illus., 83 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
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 andTheorem 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 _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.
650 0 _aSoftware engineering.
650 0 _aSoftware engineering
_xManagement.
650 0 _aAutomotive engineering.
650 0 _aComputers, Special purpose.
650 1 4 _aSoftware Engineering.
650 2 4 _aSoftware Management.
650 2 4 _aAutomotive Engineering.
650 2 4 _aSpecial Purpose and Application-Based Systems.
700 1 _aBöhm, Wolfgang.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aBroy, Manfred.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aKlein, Cornel.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aPohl, Klaus.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aRumpe, Bernhard.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSchröck, Sebastian.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030621353
776 0 8 _iPrinted edition:
_z9783030621377
776 0 8 _iPrinted edition:
_z9783030621384
856 4 0 _uhttps://doi.org/10.1007/978-3-030-62136-0
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-SOB
999 _c37391
_d37391