Model-based engineering of collaborative embedded systems : (Record no. 89867)

000 -LEADER
fixed length control field 05001cam a2200529 i 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250324090200.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr |n|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 250321b ||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783030621360
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3030621367
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783030621377
Qualifying information (print)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3030621375
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783030621384
Qualifying information (print)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3030621383
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 3030621359
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 9783030621353
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-030-62136-0
Source of number or code doi
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)1228887251
Canceled/invalid control number (OCoLC)1228844996
-- (OCoLC)1231611166
-- (OCoLC)1233070482
-- (OCoLC)1237026736
-- (OCoLC)1240531682
-- (OCoLC)1241065797
-- (OCoLC)1249944149
040 ## - CATALOGING SOURCE
Original cataloging agency YDX
Language of cataloging eng
Description conventions pn
-- rda
Transcribing agency YDX
Modifying agency GW5XE
-- OCLCO
-- UKBTH
-- EBLCP
-- UPM
-- OCLCF
-- LVT
-- VT2
-- LEATE
-- OCL
-- OCLCQ
-- OCLCO
-- COM
-- OCLCO
-- OCLCQ
-- EQO
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number TK7895.E42
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051230
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source thema
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.2/2
Edition number 23
245 00 - TITLE STATEMENT
Title Model-based engineering of collaborative embedded systems :
Remainder of title extensions of the SPES methodology /
Statement of responsibility, etc Wolfgang Bohm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schrock, editors.
264 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Cham :
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc 2021.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource.
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent.
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia.
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references.
505 0# - CONTENTS
Formatted contents note 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.
520 ## - SUMMARY, ETC.
Summary, etc 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.
540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE
Terms governing use and reproduction Creative commons
Use and reproduction rights by/4.0/
Uniform Resource Identifier http://creativecommons.org/licenses/by/4.0/
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Embedded computer systems.
Authority record control number https://id.loc.gov/authorities/subjects/sh87006632.
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Bohm, Wolfgang
Fuller form of name (Wolfgang J.),
Authority record control number https://id.loc.gov/authorities/names/no2023049523
Relator term editor.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Broy, M.,
Dates associated with a name 1949-
Authority record control number https://id.loc.gov/authorities/names/n79060851
Relator term editor.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Klein, Cornel,
Authority record control number https://id.loc.gov/authorities/names/nb2016003700
Relator term editor.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Pohl, Klaus,
Authority record control number https://id.loc.gov/authorities/names/n83200846
Relator term editor.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Rumpe, Bernhard,
Authority record control number https://id.loc.gov/authorities/names/n98097443
Relator term editor.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Schrock, Sebastian,
Dates associated with a name 1987-
Authority record control number https://id.loc.gov/authorities/names/nb2016018443
Relator term editor.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier https://directory.doabooks.org/handle/20.500.12854/38403
Link text Full text available at OAPEN CLick here to view
942 ## - ADDED ENTRY ELEMENTS
Source of classification or shelving scheme
Item type EBOOK/OPEN ACCESS
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Permanent Location Current Location Date acquired Full call number Date last seen Price effective from Item type
          COLLEGE LIBRARY COLLEGE LIBRARY 2025-03-21 006.22 M7201 2021 2025-03-21 2025-03-21 EBOOK/OPEN ACCESS