Items related to Collaborative Design for Embedded Systems: Co-modelling...

Collaborative Design for Embedded Systems: Co-modelling and Co-simulation - Hardcover

 
9783642541179: Collaborative Design for Embedded Systems: Co-modelling and Co-simulation

Synopsis

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.

"synopsis" may belong to another edition of this title.

About the Author

John Fitzgerald is a specialist in the engineering of embedded systems and systems-of-systems. He has worked in and with the aerospace and embedded processor industries to develop formal model-based methods for software development that are supported by tools and deployed in commercial practice, notably the VDM and Overture framework. He is now Professor of Computing Science at Newcastle University, where he is Director of the Centre for Software Reliability.

Peter Gorm Larsen has been a specialist in the development of tool support for VDM for more than twenty years. He was the main architect behind the commercial VDMTools and is now Convener of the Overture open source initiative, and has experience of applying VDM in many different industrial contexts. He is now a professor at the Department of Engineering at Aarhus University in Denmark, where he leads the Software Engineering group.

Marcel Verhoef is an embedded systems architect at Chess EmbeddedTechnology International B.V. (Haarlem, The Netherlands) where has worked on the development of complex mission-critical embedded systems for clients in the aerospace and automotive industries. He holds a PhD from the Radboud University Nijmegen on multi-disciplinary design methodologies for systems engineering.

From the Back Cover

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.

"About this title" may belong to another edition of this title.

Buy Used

Condition: Fine
Zustand: Sehr gut - Gepflegter,...
View this item

£ 7.47 shipping from Germany to United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9783662524442: Collaborative Design for Embedded Systems: Co-modelling and Co-simulation

Featured Edition

ISBN 10:  3662524449 ISBN 13:  9783662524442
Publisher: Springer, 2016
Softcover

Search results for Collaborative Design for Embedded Systems: Co-modelling...

Stock Image

Unbekannt
Published by Springer Berlin Heidelberg, 2014
ISBN 10: 3642541178 ISBN 13: 9783642541179
Used Hardcover

Seller: Buchpark, Trebbin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. | Seiten: 408 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 24527477/2

Contact seller

Buy Used

£ 9.51
Convert currency
Shipping: £ 7.47
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Fitzgerald, John; et al
Published by Heidelberg, Springer., 2014
ISBN 10: 3642541178 ISBN 13: 9783642541179
Used Hardcover

Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

XIX, 385p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Stamped. Sprache: Englisch. Seller Inventory # 30994AB

Contact seller

Buy Used

£ 10.38
Convert currency
Shipping: £ 10.07
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2014
ISBN 10: 3642541178 ISBN 13: 9783642541179
New Hardcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783642541179_new

Contact seller

Buy New

£ 50.82
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

John Fitzgerald
ISBN 10: 3642541178 ISBN 13: 9783642541179
New Hardcover
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 408 pp. Englisch. Seller Inventory # 9783642541179

Contact seller

Buy New

£ 46.25
Convert currency
Shipping: £ 9.24
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

John Fitzgerald
Published by Springer Berlin Heidelberg, 2014
ISBN 10: 3642541178 ISBN 13: 9783642541179
New Hardcover

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering. Seller Inventory # 9783642541179

Contact seller

Buy New

£ 46.25
Convert currency
Shipping: £ 11.75
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Fitzgerald, John|Larsen, Peter Gorm|Verhoef, Marcel
Published by Springer Berlin Heidelberg, 2014
ISBN 10: 3642541178 ISBN 13: 9783642541179
New Hardcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents a novel approach for the co-design and co-simulation of embedded and cyber-physical systemsCombines theoretical foundations with several case studies of industrial applicationsComplemented by a web site offering tools, examples, video. Seller Inventory # 5063998

Contact seller

Buy New

£ 42.15
Convert currency
Shipping: £ 20.98
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2014
ISBN 10: 3642541178 ISBN 13: 9783642541179
New Hardcover

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # I-9783642541179

Contact seller

Buy New

£ 56.19
Convert currency
Shipping: £ 7.37
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Fitzgerald, John (Editor)/ Larsen, Peter Gorm (Editor)/ Verhoef, Marcel (Editor)
Published by Springer-Verlag New York Inc, 2014
ISBN 10: 3642541178 ISBN 13: 9783642541179
New Hardcover

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: Brand New. 350 pages. 9.00x6.25x1.00 inches. In Stock. Seller Inventory # x-3642541178

Contact seller

Buy New

£ 68.52
Convert currency
Shipping: £ 6.99
Within United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

John Fitzgerald
ISBN 10: 3642541178 ISBN 13: 9783642541179
New Hardcover

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Buch. Condition: Neu. Neuware -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 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch. Seller Inventory # 9783642541179

Contact seller

Buy New

£ 46.25
Convert currency
Shipping: £ 29.38
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2014
ISBN 10: 3642541178 ISBN 13: 9783642541179
Used Hardcover

Seller: Mispah books, Redhill, SURRE, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA77336425411786

Contact seller

Buy Used

£ 84
Convert currency
Shipping: £ 8
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

There are 1 more copies of this book

View all search results for this book