國立虎尾科技大學 |

Model-Based Engineering of Collaborative Embedded Systems = Extensions of the SPES Methodology /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Model-Based Engineering of Collaborative Embedded Systems/ edited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck.
其他題名:	Extensions of the SPES Methodology /
其他作者:	Schröck, Sebastian.
面頁冊數:	XIII, 404 p. 148 illus., 83 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Special Purpose and Application-Based Systems. -
電子資源:	https://doi.org/10.1007/978-3-030-62136-0
ISBN:	9783030621360

Model-Based Engineering of Collaborative Embedded Systems = Extensions of the SPES Methodology /
Model-Based Engineering of Collaborative Embedded SystemsExtensions of the SPES Methodology /[electronic resource] :edited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck. - 1st ed. 2021. - XIII, 404 p. 148 illus., 83 illus. in color.online resource.

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 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.

Open Access

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.

ISBN: 9783030621360

Standard No.: 10.1007/978-3-030-62136-0doiSubjects--Topical Terms:

669833
Special Purpose and Application-Based Systems.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Model-Based Engineering of Collaborative Embedded Systems = Extensions of the SPES Methodology /
LDR:04094nam a22004215i 4500 001 1050722
003 DE-He213
005 20210818150450.0
007 cr nn 008mamaa
008 220103s2021 sz | s |||| 0|eng d
020 $a 9783030621360 $9 978-3-030-62136-0
024 7 $a 10.1007/978-3-030-62136-0 $2 doi
035 $a 978-3-030-62136-0
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Model-Based Engineering of Collaborative Embedded Systems $h [electronic resource] : $b Extensions of the SPES Methodology / $c edited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a XIII, 404 p. 148 illus., 83 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
505 0 $a 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 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 $a Open Access
520 $a 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.
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 2 4 $a Automotive Engineering. $3 683772
650 2 4 $a Software Management. $3 1069200
650 1 4 $a Software Engineering. $3 669632
650 0 $a Special purpose computers. $3 1204562
650 0 $a Automotive engineering. $3 1104081
650 0 $a Management information systems. $3 561123
650 0 $a Software engineering. $3 562952
700 1 $a Schröck, Sebastian. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1355108
700 1 $a Rumpe, Bernhard. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1067791
700 1 $a Pohl, Klaus. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 670292
700 1 $a Klein, Cornel. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1255470
700 1 $a Broy, Manfred. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 670111
700 1 $a Böhm, Wolfgang. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1355107
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030621353
776 0 8 $i Printed edition: $z 9783030621377
776 0 8 $i Printed edition: $z 9783030621384
856 4 0 $u https://doi.org/10.1007/978-3-030-62136-0
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-SOB
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)