LEADER 06635nam 22008295 450 001 9910299049903321 005 20210830191402.0 010 $a3-642-54118-6 024 7 $a10.1007/978-3-642-54118-6 035 $a(CKB)3710000000105708 035 $a(EBL)1731246 035 $a(OCoLC)883571022 035 $a(SSID)ssj0001199737 035 $a(PQKBManifestationID)11767481 035 $a(PQKBTitleCode)TC0001199737 035 $a(PQKBWorkID)11205170 035 $a(PQKB)10078219 035 $a(MiAaPQ)EBC1731246 035 $a(DE-He213)978-3-642-54118-6 035 $a(PPN)178317217 035 $a(EXLCZ)993710000000105708 100 $a20140423d2014 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aCollaborative Design for Embedded Systems $eCo-modelling and Co-simulation /$fedited by John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef 205 $a1st ed. 2014. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014. 215 $a1 online resource (393 p.) 300 $aDescription based upon print version of record. 311 $a1-322-04109-1 311 $a3-642-54117-8 320 $aIncludes bibliographical references and index. 327 $aPart I Co-modelling and Co-simulation: the Technical Basis -- Collaborative Development of Embedded Systems -- Co-modelling and Co-simulation in Embedded Systems Design -- Continuous-Time Modelling in 20-sim -- Discrete-Event Modelling in VDM -- Support for Co-modelling and Co-simulation: the Crescendo Tool -- Co-model Structuring and Design Patterns -- Part II Methods and Applications: the Pragmatics of Co-modelling and Co-simulation -- Case Studies in Co-modelling and Co-simulation -- Methods for Creating Co-models of Embedded Systems -- Co-modelling of Faults and Fault Tolerance Mechanisms -- Design Space Exploration for Embedded Systems using Co-simulation -- Industrial Application of Co-modelling and Co-simulation Technology -- Part III Advanced Topics -- Deploying Co-modelling in Commercial Practice -- Semantics of Co-simulation -- From Embedded to Cyber-Physical Systems: Challenges and Future Directions -- Appendix A 20-sim Summary -- Appendix B VDM-RT Language Summary -- Appendix C Design Patterns for Use in Co-modelling -- Appendix D Abstract Modelling of ChessWay Safety. 330 $aOne of the most significant challenges in the development of embedded and cyber-physical systems is the gap between the disciplines of software and control engineering. In a marketplace, where rapid innovation is essential, engineers from both disciplines need to be able to explore system designs collaboratively, allocating responsibilities to software and physical elements, and analyzing trade-offs between them. To this end, this book presents a framework that allows the very different kinds of design models ? discrete-event (DE) models of software and continuous time (CT) models of the physical environment ? to be analyzed and simulated jointly, based on common scenarios. The individual chapters provide introductions to both sides of this co-simulation technology, and give a step-by-step guide to the methodology for designing and analyzing co-models. They are grouped into three parts: Part I introduces the technical basis for collaborative modeling and simulation with the Crescendo technology. Part II continues with different methodological guidelines for creating co-models and analyzing them in different ways using case studies. Part III then delves into more advanced topics and looks into the potential future of this technology in the area of cyber-physical systems. Finally various appendices provide summaries of the VDM and 20-sim technologies, a number of valuable design patterns applicable for co-models, and an acronym list along with indices and references to other literature. By combining descriptions of the underlying theory with records of real engineers? experience in using the framework on a series of case studies the book appeals to scientists and practitioners alike. It is complemented by tools, examples, videos, and other material on www.crescendotool.org. Scientists/researchers and graduate students working in embedded and cyber-physical systems will learn the semantic foundations for collaborative modeling and simulation, as well as the current capabilities and limitations of methods and tools in this field. Practitioners will be able to develop an appreciation of the capabilities of the co-modeling techniques, to assess the benefits of more collaborative approaches to modeling and simulation, and will benefit from the included guidelines and modeling patterns. 606 $aSpecial purpose computers 606 $aSoftware engineering 606 $aComputer logic 606 $aComputer simulation 606 $aComputer engineering 606 $aElectronic circuits 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aComputer Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I27000 606 $aCircuits and Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/T24068 615 0$aSpecial purpose computers. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aComputer simulation. 615 0$aComputer engineering. 615 0$aElectronic circuits. 615 14$aSpecial Purpose and Application-Based Systems. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aSimulation and Modeling. 615 24$aComputer Engineering. 615 24$aCircuits and Systems. 676 $a003.3 676 $a004 676 $a004.6 676 $a005.1 702 $aFitzgerald$b John$f1965-$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLarsen$b Peter Gorm$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVerhoef$b Marcel$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910299049903321 996 $aCollaborative Design for Embedded Systems$92138009 997 $aUNINA