Design Automation of Cyber-Physical Systems

Part 1. Design and Engineering.- Chapter 1. Concept Design: Modeling and Synthesis from Requirements to Functional Models and Simulation.- Chapter 2. Platform-Based Design for Automotive and Transportation Cyber-Physical Systems.- Chapter 3. An Hourglass-Shaped Architecture for Model-Based Development of Networked Cyber-Physical Systems.- Part 2. Testing and Operation.- Chapter 4. Formal Techniques for Verification and Testing of Cyber-Physical Systems.- Chapter 5. Data-driven Safety Verification of Complex Cyber-Physical Systems.- Chapter 6. System Assurance in the Design of Resilient Cyber-Physical Systems.- Part 3. Application-Specific Design Automation Methodologies and Tools.- Chapter 7. Optimal Design of Distributed Controllers for Large-Scale Cyber-Physical Systems.- Chapter 8. Model-driven Software Design Automation for Complex Rehabilitation.- Chapter 9. Design Automation using Structural Graph Convolutional Neural Networks.- Chapter 10. Design Automation for Energy Storage Systems.

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

"The case studies, as well as the diagrams, graphs, and tables, are particularly useful for illustrating the numerical data resulting from the implementation of the presented algorithms and methods, and they help clarify the analyzed concepts. ... Design automation of cyber-physical systems is excellent for researchers, academics, and practitioners who want a deeper understanding of both basic and advanced topics ... . The wide range of interesting topics, combined with the depth of each chapter, makes it an essential book." (Eugen Petac, Computing Reviews, September 17, 2021)