Design Automation of Cyber-Physical Systems
暫譯: 網路物理系統的設計自動化

Al Faruque, Mohammad Abdullah, Canedo, Arquimedes

Design Automation of Cyber-Physical Systems
  • 出版商: Springer
  • 出版日期: 2019-05-17
  • 售價: $6,000
  • 貴賓價: 9.5 折 $5,700
  • 語言: 英文
  • 頁數: 288
  • 裝訂: Hardcover - also called cloth, retail trade, or trade
  • ISBN: 3030130495
  • ISBN-13: 9783030130497

    • 海外代購書籍(需單獨結帳)

商品描述

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.

商品描述(中文翻譯)

本書介紹了在網路物理系統設計自動化方面的最新技術和突破性創新。作者討論了網路物理系統設計的各個方面，包括建模、共同設計、優化、工具、形式方法、驗證、確認以及案例研究。內容涵蓋了各種現有的網路物理系統功能設計方法論和相關工具的調查，將為讀者提供對網路物理系統概念設計的獨特見解。

作者簡介

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.


作者簡介(中文翻譯)

穆罕默德·阿爾法魯克目前任職於加州大學爾灣分校（UCI），擔任終身副教授並負責網路物理系統實驗室。 阿爾法魯克教授是2018年IEEE網路物理系統技術委員會早期職業獎的獲得者，以及2016年IEEE CEDA厄尼斯特·S·庫赫早期職業獎的得主。他還獲得了2017年UCI學術參議院傑出早期職業教職員研究獎和2017年工程學院早期職業教職員研究獎。他曾於2012年10月至2015年7月擔任Emulex職業發展主席。在此之前，他曾在新澤西州普林斯頓的西門子企業研究與技術部門工作。他目前的研究專注於嵌入式系統和網路物理系統（CPS）的系統級設計，特別關注基於模型的設計、多核心系統、CPS安全性等。

阿爾法魯克教授於2002年獲得孟加拉工程與技術大學（BUET）計算機科學與工程（CSE）學士學位，並於2004年和2009年分別在德國亞琛工業大學和卡爾斯魯厄理工學院獲得計算機科學碩士和博士學位。阿爾法魯克教授於2016年獲得愛迪生基金會的托馬斯·阿爾瓦·愛迪生專利獎、2016年DATE最佳論文獎、2015年DAC最佳論文獎、2009年IEEE/ACM威廉·J·麥卡拉ICCAD最佳論文獎、2016年NDSS傑出海報獎、2008年HiPEAC論文獎、2015年赫爾曼獎學金、2015年凱恩·金獎學金、2017年ICCAD最佳論文獎提名、2017年DAC最佳論文獎提名、2012年DATE最佳IP獎提名、2005年DAC最佳論文獎提名、2015-16年度EECS年度教授獎，以及2015年UCI校長卓越獎以促進本科研究。除了在頂尖期刊和會議上發表80多篇IEEE/ACM論文外，阿爾法魯克教授還擁有7項美國專利。阿爾法魯克教授目前擔任《ACM電子與系統設計自動化期刊》的副編輯以及《IEEE設計與測試》的出版編輯。他是IEEE高級會員和ACM高級會員。

阿基米德·卡內多是西門子企業技術部的首席關鍵專家科學家，工作地點在新澤西州普林斯頓。

類似商品