Towards Sustainable Information Infrastructure Platform for Smart Mobility - Project Overview

Smart mobility systems, which include Intelligent Transportation System (ITS) and smart energy systems, 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 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 the real world, and (2) dealing with uncertainties when a system begins to be designed. This paper describes an overview of the project.

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

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

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

[4]  Kenji Hisazumi,et al.  A Framework to Manage Uncertainty in System Development , 2014 .

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

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

[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.  clooca : Web based tool for Domain Specific Modeling , 2013, Demos/Posters/StudentResearch@MoDELS.

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

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

[11]  福田 晃,et al.  Requirement, Deployment, and Design Model Including Uncertainty , 2013 .

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

[13]  Brian Wynne,et al.  Managing and Communicating Scientific Uncertainty in Public Policy , 2011 .

[14]  福田 晃,et al.  A Framework to Manage Uncertainty in System Development , 2014 .

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