Toward Sustainable Smart Mobility Information Infrastructure Platform: Project Overview

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.

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

[2]  Akira Fukuda,et al.  A formal semantics of extended hierarchical state transition matrices using CSP# , 2013, Formal Aspects of Computing.

[3]  Gerard J. Holzmann,et al.  Model checking with bounded context switching , 2010, Formal Aspects of Computing.

[4]  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).

[5]  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).

[6]  Tsunenori Mine,et al.  Automatic Classification of Complaint Reports about City Park , 2015 .

[7]  Akira Fukuda,et al.  On-demand Indoor Location-Based Service Using Ad-hoc Wireless Positioning Network , 2015, 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems.

[8]  Akira Fukuda,et al.  Toward impact analysis for uncertain software project , 2015, TENCON 2015 - 2015 IEEE Region 10 Conference.

[9]  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).

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

[11]  Akira Fukuda,et al.  Design of Simple Vehicle Counter using Sidewalk Microphones , 2016 .

[12]  Akira Fukuda,et al.  Toward sensor localization using WiFi-AP anchors: realtime AP-RSS monitoring using sensor nodes , 2015 .

[13]  Akira Fukuda,et al.  Garakabu2: An SMT-based Bounded Model Checker for HSTM Designs in ZIPC , 2015, 2015 2nd International Symposium on Dependable Computing and Internet of Things (DCIT).

[14]  Akira Fukuda,et al.  clooca : Web based tool for Domain Specific Modeling , 2013, Demos/Posters/StudentResearch@MoDELS.

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

[16]  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).

[17]  Akira Fukuda,et al.  Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration , 2015, Comput. J..

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