# 0723-02 車載網路之智慧應用與資訊安全-林忠緯教授
## 課程重點摘要

### 第一部分：協同式自適應巡航控制系統（CACC）

1. **CACC 模式**
- **間距控制模式**：根據間距、速度和加速度進行調整。
- **碰撞避免模式**：最大減速度減速避免碰撞。
- **速度控制模式**：包括間距閾值的數學建模。
- **優點**：通過更多信息實現更好的跟車，提高道路使用效率。

### 第二部分：智能路口管理

1. **建模與方法**
- 路口單元的不同粒度水平。
- 不同軌跡的預定路線。
- 碰撞區域和衝突區域不能同時被多輛車佔用。
- 目標：安全、效率、避免死鎖和饑餓、低通信和計算複雜性、漸進部署性和協議標準化。
2. **管理器和車輛行為**
- 車輛發送請求並接收路口進入確認。
- 路口管理器解決衝突並分配路口單元。
- 使用不同的消息類型（請求、變更請求、取消、完成）。
3. **集中式與分散式方法**
- **集中式**：單一管理器做出決策。
- **分散式**：每輛車根據其他車輛的信息做出決策。
4. **基於圖的方式**
- 路口管理作為移除循環問題。
- 通過算法和驗證方法確保無碰撞和無死鎖。

### 第三部分：任務分配

1. **軟硬件映射**
- 任務分配到由網絡連接的電子控制單元（ECU）。
- 確保任務和信號的時間約束。
- 任務分配、優先級分配和調度的問題表述。
2. **即插即用系統和OTA更新**
- 通過可下載應用程序自定義車輛。
- OTA更新的安全風險。
- 使用操作系統超級管理程序進行任務分配。

### 第四部分：系統工程

1. **設計和複雜性**
- 軟件和硬件設計的複雜性增加。
- 由於安全性的重要性，軟件的正確性和質量至關重要。
- 使用V模型和基於模型的設計進行驗證和驗證。
2. **形式驗證**
- 使用數學方法證明正確性。
- 演繹驗證和模型檢查方法。

### 第五部分：安全性

1. **安全考量與設計**
- 連網車輛的安全性越來越重要。
- 各層的安全保護：外部網絡、網關、車內網絡和組件。
- 使用形式語言和工具進行安全設計。
2. **入侵檢測**
- 不同攻擊者模型和入侵檢測的位置。
- 檢測方法包括基於物理、主成分分析（PCA）和隱馬爾可夫模型（HMM）。
3. **共識算法**
- 確保車輛、路邊單元、邊緣伺服器和雲伺服器之間的協議。
- 比較不同的共識算法在魯棒性、開銷和可擴展性方面的表現。
4. **交通標誌設計**
- 通過機器學習分類器和條形碼增強交通標誌識別。

### 總結

- **涵蓋範圍**：連網和自動駕駛車輛的重要方面，包括應用、路口管理、任務分配、系統工程和安全性。
- **技術整合**：強調技術、安全和效率的整合，以實現未來的自動駕駛。