Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -

Smart mobility systems, which include Intelligent Transportation Systems(ITS) and smart energy systems, become more important. There is, however, lack of its platform studies. We started a sustainable information infrastructure project for smart mobility systems. The project pursues issues that establish an information infrastructure architecture and 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 to operations, to a real world, and 2) dealing with an uncertainty in system design phase. This paper describes current status of the project.

[1]  Yutaka Arakawa.  Empirical research on human behavior change and digital intervention through maintaining one-way car-sharing , 2017 .

[2]  Akira Fukuda,et al.  Formal semantics of extended hierarchical state transition matrix by CSP , 2012, ACM SIGSOFT Softw. Eng. Notes.

[3]  Kunihiko Kaneko.  Map Database Design for Route Finding and Natural Disaster Risk Evaluation , 2016, 2016 IEEE International Conference on Agents (ICA).

[4]  Akira Fukuda,et al.  Design of WiFi-AP operating channel estimation scheme for sensor node , 2016, 2016 Ninth International Conference on Mobile Computing and Ubiquitous Networking (ICMU).

[5]  Tian He,et al.  Free Side-Channel Cross-Technology Communication in Wireless Networks , 2017, IEEE/ACM Transactions on Networking.

[6]  Tsunenori Mine,et al.  Personalized Recommendation for Public Transportation Using User Context , 2016, 2016 5th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI).

[7]  Akira Fukuda,et al.  Towards Sustainable Information Infrastructure Platform for Smart Mobility - Project Overview , 2016, 2016 5th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI).

[8]  Akira Fukuda,et al.  Dynamic SPL and Derivative Development with Uncertainty Management for DevOps , 2016, 2016 5th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI).

[9]  Akira Fukuda,et al.  A traceability tool for model based development dealing with uncertainties , 2016 .

[10]  Akira Fukuda,et al.  Establishing Traceability between Requirements, Design and Operation Information in Lifecycle-Oriented Architecture , 2016, 2016 5th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI).

[11]  Akira Fukuda,et al.  Operation Phase Metrics for Smart Mobility Platform , 2016, 2016 IEEE International Conference on Agents (ICA).

[12]  Akira Fukuda,et al.  Design of Acoustic Vehicle Count System using DTW , 2016 .

[13]  Weiyi Shang.  Bridging the divide between software developers and operators using logs , 2012, 2012 34th International Conference on Software Engineering (ICSE).

[14]  Masaki Ogino,et al.  A Footprint Matching Method for Walking Users in Privacy-Aware User Tracking System Using Pressure Sensor Sheets , 2016, 2016 IEEE International Conference on Agents (ICA).

[15]  Kenji Hisazumi,et al.  Translation rules of SysML state machine diagrams into CSP# toward formal model checking , 2014, Int. J. Web Inf. Syst..