嵌入式系統導論：CPS方法

內容簡介

 《嵌入式系統導論：CPS方法》是業界第一本關于CPS的專著，重點論述系統模型與系統實現的關系，以及軟件和硬件與物理環境的相互作用。
　 從CPS的視角，圍繞系統的建模、設計和分析這三個方面，本書分成四大部分。第一部分（第2～6章）分別講述動態建模、離散建模和混合建模，以及狀態機的並發組合與並發計算模型。第二部分（第7～11章）強調嵌入式系統中處理器、存儲器架構、輸入和輸出、多任務處理和實時調度的算法與設計 ，以及這些設計在CPS中的主要作用。第三部分（第12～15章）重點介紹一些系統特性的精確規格、規格之間的比較方法、規格與産品設計的分析方法以及嵌入式軟件特性的定量分析方法。第四部分包括兩個附錄，提供了一些數學和計算機科學的背景知識，有助于讀者加深對文中所介紹知識的理解。本書通過大量實例深入淺出地介紹了設計和實現CPS的整體過程及各階段的細節。
　 《嵌入式系統導論：CPS方法》適合作爲高等院校相關專業“嵌入式系統”課程的教材或教學參考書。“