Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Design Automation of Cyber-Physical Systems

Editors: Al Faruque, Mohammad, Canedo, Arquimedes (Eds.)

Free Preview
  • Provides a single-source reference on design automation of cyber-physical systems
  • Serves as a practical guide to managing complexity during the CPS development process with design automation tools and methodologies
  • Discusses modeling cyber-physical systems at various abstraction levels
  • Includes coverage of high-level synthesis for cyber-physical systems
  • Discusses design for performance/energy-efficiency/security, as well as various tools for validation and verification
  • Includes case studies in manufacturing and critical infrastructure systems
see more benefits

Buy this book

eBook $109.00
price for USA in USD
  • ISBN 978-3-030-13050-3
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $149.99
price for USA in USD
  • ISBN 978-3-030-13049-7
  • Free shipping for individuals worldwide. COVID-19 shipping restrictions apply.
  • Immediate ebook access, if available*, with your print order
  • Usually ready to be dispatched within 3 to 5 business days.
Softcover $109.99
price for USA in USD
  • ISBN 978-3-030-13052-7
  • Free shipping for individuals worldwide. COVID-19 shipping restrictions apply.
  • Immediate ebook access, if available*, with your print order
  • Usually ready to be dispatched within 3 to 5 business days.
About this book

This book presents the state-of-the-art and breakthrough innovations in design automation for cyber-physical systems.The authors discuss various aspects of cyber-physical systems design, including modeling, co-design, optimization, tools, formal methods, validation, verification, and case studies. Coverage includes a survey of the various existing cyber-physical systems functional design methodologies and related tools will provide the reader unique insights into the conceptual design of cyber-physical systems.



        



            

About the authors

Mohammad Al Faruque is currently with the University Of California Irvine (UCI), where he is an associate professor (with tenure) and directing the Cyber-Physical Systems Lab.

Prof. Al Faruque is the recipient of the IEEE Technical Committee on Cyber-Physical Systems Early-Career Award 2018 and the IEEE CEDA Ernest S. Kuh Early Career Award 2016. He is also the recipient of the UCI Academic Senate Distinguished Early-Career Faculty Award for Research 2017 and the School of Engineering Early-Career Faculty Award for Research 2017. He served as an Emulex Career Development Chair during October 2012 till July 2015. Before, he was with Siemens Corporate Research and Technology in Princeton, NJ. His current research is focused on system-level design of embedded systems and Cyber-Physical-Systems (CPS) with special interest on model-based design, multi-core systems, CPS security, etc.

Prof. Al Faruque received his B.Sc. degree in Computer Science and Engineering (CSE) from Bangladesh University of Engineering and Technology (BUET) in 2002, and M.Sc. and Ph.D. degrees in Computer Science from Aachen Technical University and Karlsruhe Institute of Technology, Germany in 2004 and 2009, respectively. Prof. Al Faruque received the Thomas Alva Edison Patent Award 2016 from the Edison foundation, the 2016 DATE Best Paper Award, the 2015 DAC Best Paper Award, the 2009 IEEE/ACM William J. McCalla ICCAD Best Paper Award, the 2016 NDSS Distinguished Poster Award, the 2008 HiPEAC Paper Award, the 2015 Hellman Fellow Award, the 2015 Kane Kim Fellowship Award, the 2017 ICCAD Best Paper Award Nomination, the 2017 DAC Best Paper Award Nomination, the 2012 DATE Best IP Award Nomination, the 2005 DAC Best Paper Award Nomination, the EECS Professor of the year 2015-16 Award, and the 2015 UCI Chancellor’s Award for Excellence in Fostering Undergraduate Research. Besides 80+ IEEE/ACM publications in the premier journals and conferences, Prof. Al Faruque holds 7 US patents. Prof. Al Faruque is currently serving as the associate editor of the ACM Transactions on Design Automation on Electronics and Systems and publication editor of the IEEE Design & Test. He is an IEEE senior member and an ACM senior member.

 Arquimedes Canedo is Principal Key Expert Scientist at Siemens Corporate Technology in Princeton, NJ.


Table of contents (10 chapters)

Table of contents (10 chapters)
  • Concept Design: Modeling and Synthesis from Requirements to Functional Models and Simulation

    Pages 3-20

    Wan, Jiang (et al.)

  • Platform-Based Design for Automotive and Transportation Cyber-Physical Systems

    Pages 21-40

    Lin, Chung-Wei (et al.)

  • An Hourglass-Shaped Architecture for Model-Based Development of Networked Cyber-Physical Systems

    Pages 41-66

    Tariq, Muhammad Umer (et al.)

  • Formal Techniques for Verification and Testing of Cyber-Physical Systems

    Pages 69-105

    Deshmukh, Jyotirmoy V. (et al.)

  • Data-Driven Safety Verification of Complex Cyber-Physical Systems

    Pages 107-142

    Fan, Chuchu (et al.)

Buy this book

eBook $109.00
price for USA in USD
  • ISBN 978-3-030-13050-3
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $149.99
price for USA in USD
  • ISBN 978-3-030-13049-7
  • Free shipping for individuals worldwide. COVID-19 shipping restrictions apply.
  • Immediate ebook access, if available*, with your print order
  • Usually ready to be dispatched within 3 to 5 business days.
Softcover $109.99
price for USA in USD
  • ISBN 978-3-030-13052-7
  • Free shipping for individuals worldwide. COVID-19 shipping restrictions apply.
  • Immediate ebook access, if available*, with your print order
  • Usually ready to be dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Design Automation of Cyber-Physical Systems
Editors
  • Mohammad Al Faruque
  • Arquimedes Canedo
Copyright
2019
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-13050-3
DOI
10.1007/978-3-030-13050-3
Hardcover ISBN
978-3-030-13049-7
Softcover ISBN
978-3-030-13052-7
Edition Number
1
Number of Pages
X, 288
Number of Illustrations
22 b/w illustrations, 80 illustrations in colour
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.