2023-08-012024-05-17https://scholars.lib.ntu.edu.tw/handle/123456789/670610隨著車輛技術的進步，先進駕駛輔助系統已經越來越普遍，這些系統將會隨著車輛智慧化繼續扮演重要的角色或者成為智慧型汽車的一部分。但是，即使是同一種先進駕駛輔助系統，不同車廠（或其供應商）會有不同且各自獨立的開發與設計，因此無法確認這些系統是否相容，意即無法確認這些系統同時一起運作時是否能夠正常運作。當車輛是由駕駛人駕駛時，相容性的問題可能可以透過駕駛人的判斷得到解決，但是對於智慧型汽車來說，相容性的問題可能導致系統無法正常運作。為了解決這個問題，研究團隊計畫針對三項具有代表性的智慧型汽車應用，線道變換系統、智慧型路口管理、軟體更新與任務配置，進行相容性的正規驗證、需求工程、運行監控。最終目標為提出一個通用於智慧型汽車、考慮相容性的設計方法學。智慧型汽車;相容性;正規驗證;需求工程;運行監控;線道變換系統;智慧型路口管理;軟體更新;任務配置。;Intelligent Vehicles; Compatibility; Formal Verification; Requirements Engineering; Runtime Monitoring; Lane-Changing Systems; Intelligent Intersection Management; Software Update; Task Allocation.