2020-08-012024-05-15https://scholars.lib.ntu.edu.tw/handle/123456789/662285Due to the advance of connected and autonomous technology, the design of intelligent vehicles has become more complicated than ever. This complexity has made traditional design processes less effective and less efficient. Furthermore, as the safety-critical nature, the correctness of design is also challenged by the complexity. To address this problem, "Model-Based Design" (MBD) is an approach to guarantee correctness of design, improve design quality, and make the whole design process more efficiently. There are usually three categories in the domain of MBD: (1) modeling with models of computation, including finite state machines, timed-automata, continuous dynamics, hybrid systems, synchronous reactive models, and dataflow, (2) design including synthesis, optimization, and semantics preservation, and (3) analysis including property specification languages, formal verification, simulation, and testing. In the third year (until 2019/08/31), the main focus of this project is to continue three topics: (1) Petri-net-based verification, (2) plug-and-play systems, and (3) mapping systems. For the first topic, we will follow our results of intersection management and analyze the deadlock property for motorcycles in an intersection. For the second topic, we will consider upcoming environments of vehicles, select software programs, and perform program allocation and scheduling for the programs. For the third topic, we will also consider upcoming environments of vehicles and decide the resolutions of dynamic maps and the corresponding delivery approaches.智慧型汽車網宇實體系統基於模型之設計佩特里網隨插即用系統地圖系統。Intelligent VehiclesCyber-Physical SystemsModel-Based DesignPetri NetsPlug-and-Play SystemsMapping Systems.