---
# System prepended metadata

title: 0723-02  車載網路之智慧應用與資訊安全-林忠緯教授

---

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

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

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

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

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

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

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

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

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

### 第五部分：安全性

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

### 總結

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