| Budget Amount *help |
¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2017: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2016: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
|
|---|
| Outline of Final Research Achievements |
We have modeled the IoT base system as a distributed cooperative system in which multiple modules (terminals and edge servers) work in cooperation, so that I / O constraints and time constraints of each module can be designated by assertions. Next, in order to analyze the performance and reliability of the IoT system depending on the mobility of vehicles and people, we develop a random mobility generation method that can dynamically change the density distribution of nodes for targeted cells. By reproducing the density distribution and its time variation of those cells, we have developed a passive testing method that can evaluate whether given assertions hold by simulation. The proposed method was presented at the 3rd IEEE International Conference on Smart Computing (SMARTCOMP 2017) (as a keynote speech) and the 38th IEEE International Conference on Distributed Computing Systems (ICDCS 2018) (as a main conference paper).
|
