Title :
Intelligent Transportation System (ITS) Information Fusion: Concept, Analysis and Implementation
Author :
Wang, Zhengyou ; Guan, Chunhua
Author_Institution :
Inst. of Intelligent Inf. Process., Jiangxi Univ. of Finance & Econ., Nanchang
Abstract :
As to ITS information fusion (ITSIF), the paper studies from three aspects: concept, analysis and implementation. Firstly on the basis of present research and practice, the paper gives ITSIF concept and content. Secondly, the paper uses formal approach to ITSIF analysis. The approach is based on category theory and object-oriented method and Specare. With the support of Specware, the formal specification can be refined into final excutable code step by step. On the basis of analysis, an information fusion system model is developed. Lastly, the paper introduces ITSIF implementation
Keywords :
automated highways; category theory; formal specification; object-oriented methods; sensor fusion; traffic engineering computing; Specware; category theory; formal specification; information fusion; intelligent transportation system; object-oriented method; urban traffic congestion; Communication system traffic control; Environmental economics; Finance; Information analysis; Information processing; Information technology; Intelligent transportation systems; Intelligent vehicles; Power generation economics; Road vehicles; Category theory; Formal method; Information fusion; Intelligent Transportation System; Object-oriented; Specware;
Conference_Titel :
Service Operations and Logistics, and Informatics, 2006. SOLI '06. IEEE International Conference on
Conference_Location :
Shanghai
Print_ISBN :
1-4244-0317-0
Electronic_ISBN :
1-4244-0318-9
DOI :
10.1109/SOLI.2006.328887
