| Budget Amount *help |
¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2017: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2016: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2015: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
|
|---|
| Outline of Final Research Achievements |
We realized a wireless sensor network named Reconfigurable Sensor Network (RSN), in which behavior can be redefined by downloading a new program to sensor nodes remotely using wireless communication. To define RSN behavior, dedicated behavior description language Funclet+ was designed. A language translator was also developed. It generates an input description to a formal verification tool, and C description. Both generated descriptions represent the behavior described using Funclet+. Thus, by validating the generated input description using the formal verification tool, we can ensure that the generated C description properly represents the behavior described using Funclet+. We described some typical sensor node behaviors using Funclet+, and confirmed that the generated C descriptions can run on real sensor nodes properly after verifying the behaviors using the formal verification tool.
|
