內容簡介
嵌入式系統導論：cps方法本書是業界第一本關於CPS的專著，重點論述系統模型與系統實現的關係，以及軟體和硬體與物理環境的相互作用。
從CPS的視角，圍繞系統的建模、設計和分析這三個方面，本書分成四大部分。第一部分（第2～6章）分別講述動態建模、離散建模和混合建模，以及狀態機的並發組合與並發計算模型。第二部分（第7～11章）強調嵌入式系統中處理器、存儲器架構、輸入和輸出、多任務處理和實時調度的算法與設計，以及這些設計在CPS中的主要作用。第三部分（第12～15章）重點介紹一些系統特性的精確規格、規格之間的比較方法、規格與產品設計的分析方法以及嵌入式軟體特性的定量分析方法。第四部分包括兩個附錄，提供了一些數學和計算機科學的背景知識，有助於讀者加深對文中所介紹知識的理解。本書通過大量實例深入淺出地介紹了設計和實現CPS的整體過程及各階段的細節。
本書適合作為高等院校相關專業“嵌入式系統”課程的教材或教學參考書。
作者簡介
Edward Ashford Lee 擁有加州大學伯克利分校博士學位，曾為加州大學伯克利分校電子工程與計算機科學系主任，現為該系Robert S. Pepper特聘教授。他的主要研究方向是嵌入式與實時計算系統的設計、建模和模擬。Lee教授是IEEE會員，於1997年獲得工程教育領域的Frederick Emmons Terman獎。
Sanjit Arunkumar Seshia擁有卡內基-梅隆大學計算機科學專業博士學位，現為美國加州大學伯克利分校電子工程與計算機科學系副教授。他的主要研究方向是可信計算和計算邏輯。他獲得了科學和工程領域的總統早期職業生涯獎（PECASE）和Alfred P. Sloan研究獎金。
目錄
Introduction to Embedded Systems—A Cyber?Physical Systems
Approach
出版者的話
譯者序
前言
符號
第1章 緒論
1.1 套用
1.2 一個實例
1.3 設計過程
1.3.1 建模
1.3.2 設計
1.3.3 分析
1.4 小結
第一部分 動態行為建模
第2章 連續動態
