Cyber-Physical Systems (SEI Series in Software Engineering)

Raj Rajkumar, Dionisio de Niz, Mark Klein

  • 出版商: Addison Wesley
  • 出版日期: 2016-12-30
  • 售價: $2,450
  • 貴賓價: 9.5$2,328
  • 語言: 英文
  • 頁數: 416
  • 裝訂: Hardcover
  • ISBN: 032192696X
  • ISBN-13: 9780321926968
  • 相關分類: 軟體工程
  • 立即出貨 (庫存=1)

買這商品的人也買了...

商品描述

Learn the State of the Art in Embedded Systems and Embrace the Internet of Things

 

The next generation of mission-critical and embedded systems will be “cyber physical”: They will demand the precisely synchronized and seamless integration of complex sets of computational algorithms and physical components. Cyber-Physical Systems is the definitive guide to building cyber-physical systems (CPS) for a wide spectrum of engineering and computing applications.

 

Three pioneering experts have brought together the field’s most significant work in one volume that will be indispensable for all practitioners, researchers, and advanced students. This guide addresses CPS from multiple perspectives, drawing on extensive contributions from leading researchers.

 

The authors and contributors review key CPS challenges and innovations in multiple application domains. Next, they describe the technical foundations underlying modern CPS solutions—both what we know and what we still need to learn. Throughout, the authors offer guiding principles for every facet of CPS development, from design and analysis to planning future innovations.

 

Comprehensive coverage includes

  • Understanding CPS drivers, challenges, foundations, and emerging directions
  • Building life-critical, context-aware, networked systems of medical devices
  • Creating energy grid systems that reduce costs and fully integrate renewable energy sources
  • Modeling complex interactions across cyber and physical domains
  • Synthesizing algorithms to enforce CPS control
  • Addressing space, time, energy, and reliability issues in CPS sensor networks
  • Applying advanced approaches to real-time scheduling
  • Securing CPS: preventing “man-in-the-middle” and other attacks
  • Ensuring logical correctness and simplifying verification
  • Enforcing synchronized communication between distributed agents
  • Using model-integration languages to define formal semantics for CPS models

 

 

 

Register your product at informit.com/register for convenient access to downloads, updates, and corrections as they become available.

 

商品描述(中文翻譯)

學習嵌入式系統的最新技術,並擁抱物聯網

下一代的關鍵任務和嵌入式系統將是「網絡物理」的:它們將要求精確同步和無縫集成複雜的計算算法和物理組件。《網絡物理系統》是構建廣泛的工程和計算應用的網絡物理系統(CPS)的權威指南。

三位先驅專家匯集了該領域最重要的工作,這本書對於所有從業人員、研究人員和高級學生來說都是必不可少的。本指南從多個角度討論了CPS,並借鑒了領先研究人員的廣泛貢獻。

作者和貢獻者回顧了多個應用領域中CPS的關鍵挑戰和創新。接下來,他們描述了現代CPS解決方案的技術基礎,包括我們所知道的和我們仍然需要學習的內容。在整個過程中,作者提供了CPS開發的指導原則,從設計和分析到規劃未來的創新。

全面的內容包括:

- 理解CPS的驅動因素、挑戰、基礎和新興方向
- 構建生命關鍵、上下文感知、網絡化的醫療設備系統
- 創建能夠降低成本並完全整合可再生能源的能源網絡系統
- 建模跨網絡和物理領域的複雜交互作用
- 合成算法以實現CPS控制
- 解決CPS傳感器網絡中的空間、時間、能源和可靠性問題
- 應用先進方法進行實時調度
- 保護CPS:防止「中間人」和其他攻擊
- 確保邏輯的正確性並簡化驗證
- 強制分布式代理之間的同步通信
- 使用模型集成語言為CPS模型定義形式語義

請在informit.com/register上註冊您的產品,以便在可用時方便地獲取下載、更新和更正。