Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Model-based engineering of collabora...
~
Bohm, Wolfgang.
Model-based engineering of collaborative embedded systemsextensions of the SPES methodology /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Model-based engineering of collaborative embedded systemsedited by Wolfgang Bohm ... [et al.].
Reminder of title:
extensions of the SPES methodology /
other author:
Bohm, Wolfgang.
Published:
Cham :Springer International Publishing :2021.
Description:
xiii, 404 p. :ill., digital ;24 cm.
Contained By:
Springer Nature eBook
Subject:
Embedded computer systems.
Online resource:
https://doi.org/10.1007/978-3-030-62136-0
ISBN:
9783030621360$q(electronic bk.)
Model-based engineering of collaborative embedded systemsextensions of the SPES methodology /
Model-based engineering of collaborative embedded systems
extensions of the SPES methodology /[electronic resource] :edited by Wolfgang Bohm ... [et al.]. - Cham :Springer International Publishing :2021. - xiii, 404 p. :ill., digital ;24 cm.
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$q(electronic bk.)
Standard No.: 10.1007/978-3-030-62136-0doiSubjects--Topical Terms:
184402
Embedded computer systems.
LC Class. No.: TK7895.E42
Dewey Class. No.: 006.22
Model-based engineering of collaborative embedded systemsextensions of the SPES methodology /
LDR
:03627nmm a2200337 a 4500
001
596299
003
DE-He213
005
20201214130547.0
006
m d
007
cr nn 008maaau
008
211013s2021 sz s 0 eng d
020
$a
9783030621360$q(electronic bk.)
020
$a
9783030621353$q(paper)
024
7
$a
10.1007/978-3-030-62136-0
$2
doi
035
$a
978-3-030-62136-0
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
TK7895.E42
072
7
$a
UMZ
$2
bicssc
072
7
$a
COM051230
$2
bisacsh
072
7
$a
UMZ
$2
thema
082
0 4
$a
006.22
$2
23
090
$a
TK7895.E42
$b
M689 2021
245
0 0
$a
Model-based engineering of collaborative embedded systems
$h
[electronic resource] :
$b
extensions of the SPES methodology /
$c
edited by Wolfgang Bohm ... [et al.].
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2021.
300
$a
xiii, 404 p. :
$b
ill., digital ;
$c
24 cm.
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
$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
0
$a
Embedded computer systems.
$3
184402
650
1 4
$a
Software Engineering.
$3
274511
650
2 4
$a
Software Management.
$3
715554
650
2 4
$a
Automotive Engineering.
$3
308930
650
2 4
$a
Special Purpose and Application-Based Systems.
$3
274487
700
1
$a
Bohm, Wolfgang.
$3
889042
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer Nature eBook
856
4 0
$u
https://doi.org/10.1007/978-3-030-62136-0
950
$a
Computer Science (SpringerNature-11645)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000193997
電子館藏
1圖書
電子書
EB TK7895.E42 M689 2021 2021
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
https://doi.org/10.1007/978-3-030-62136-0
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login