The Resource Collaborative Design for Embedded Systems : Co-modelling and Co-simulation, edited by John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef, (electronic resource)

Collaborative Design for Embedded Systems : Co-modelling and Co-simulation, edited by John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef, (electronic resource)

Label
Collaborative Design for Embedded Systems : Co-modelling and Co-simulation
Title
Collaborative Design for Embedded Systems
Title remainder
Co-modelling and Co-simulation
Statement of responsibility
edited by John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef
Contributor
Editor
Editor
Subject
Language
  • eng
  • eng
Summary
One 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
Dewey number
  • 003.3
  • 004
  • 004.6
  • 005.1
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsedt
  • Vr9yZFllvmw
  • Xg88Xwj11Eo
  • k12b4F_N3Vc
Language note
English
LC call number
TK7874.6
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
  • Fitzgerald, John.
  • Larsen, Peter Gorm.
  • Verhoef, Marcel.
http://library.link/vocab/subjectName
  • Software engineering
  • Logic design
  • Computer simulation
  • Systems engineering
  • Special Purpose and Application-Based Systems
  • Software Engineering
  • Logics and Meanings of Programs
  • Simulation and Modeling
  • Computer Engineering
  • Circuits and Systems
Label
Collaborative Design for Embedded Systems : Co-modelling and Co-simulation, edited by John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef, (electronic resource)
Instantiates
Publication
Note
Description based upon print version of record
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Content category
text
Content type code
  • txt
Contents
Part 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
Dimensions
unknown
Edition
1st ed. 2014.
Extent
1 online resource (393 p.)
Form of item
online
Isbn
9783642541186
Media category
computer
Media type code
  • c
Other control number
10.1007/978-3-642-54118-6
Specific material designation
remote
System control number
  • (CKB)3710000000105708
  • (EBL)1731246
  • (OCoLC)883571022
  • (SSID)ssj0001199737
  • (PQKBManifestationID)11767481
  • (PQKBTitleCode)TC0001199737
  • (PQKBWorkID)11205170
  • (PQKB)10078219
  • (MiAaPQ)EBC1731246
  • (DE-He213)978-3-642-54118-6
  • (EXLCZ)993710000000105708
Label
Collaborative Design for Embedded Systems : Co-modelling and Co-simulation, edited by John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef, (electronic resource)
Publication
Note
Description based upon print version of record
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Content category
text
Content type code
  • txt
Contents
Part 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
Dimensions
unknown
Edition
1st ed. 2014.
Extent
1 online resource (393 p.)
Form of item
online
Isbn
9783642541186
Media category
computer
Media type code
  • c
Other control number
10.1007/978-3-642-54118-6
Specific material designation
remote
System control number
  • (CKB)3710000000105708
  • (EBL)1731246
  • (OCoLC)883571022
  • (SSID)ssj0001199737
  • (PQKBManifestationID)11767481
  • (PQKBTitleCode)TC0001199737
  • (PQKBWorkID)11205170
  • (PQKB)10078219
  • (MiAaPQ)EBC1731246
  • (DE-He213)978-3-642-54118-6
  • (EXLCZ)993710000000105708

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...