location: Current position: Home >> Scientific Research >> Paper Publications

Toward Sustainable Smart Mobility Information Infrastructure Platform: Project Overview

Hits:

Indexed by:会议论文

Date of Publication:2018-01-01

Included Journals:CPCI-S

Volume:742

Page Number:35-46

Abstract:Smart mobility systems, which include Intelligent Transportation Systems (ITS) and smart energy ones, become more important. There is, however, lack of its platform studies. This paper proposes a sustainable information infrastructure project for smart mobility systems. The project pursues issues that establish an information infrastructure architecture and a seamless development method chain for it. The project has mainly two features: (1) applying life-cycle-oriented methods, which are a cycle from system development phase to operation phase. In addition, these methods are applied to real world applications, and (2) dealing with an uncertainty that occurs in system development upper phase. This paper describes an overview of the project.

Pre One:Analysis of Interrupt Behavior Based on Probabilistic Model Checking

Next One:A Survey of Formal Techniques for Hardware/Software Co-Verification