Performance Analysis and Design Verification for IoT based Systems
| Project/Area Number |
16K12418
|
|---|
| Research Category |
Grant-in-Aid for Challenging Exploratory Research
|
| Allocation Type | Multi-year Fund |
|---|
| Research Field |
Information network
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2016-04-01 – 2018-03-31
|
| Project Status |
Completed (Fiscal Year 2017)
|
| 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)
|
|---|
| Keywords | モノのインターネット(IoT) / モビリティ / 設計検証 / ITS / 群衆センシング / モノのインターネット |
|---|
| 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).
|
Report
(3 results)
Research Products
(10 results)
