1. Model Checking Indoor Positioning System With Triangulation Positioning Technology
- Author
-
Xin Huang, Kai Zheng, Maizhen Ning, Shuming Zhou, Wentao Shi, Dengpan Yuan, and Runguo Xu
- Subjects
Model checking ,Positioning system ,business.industry ,Computer science ,020208 electrical & electronic engineering ,05 social sciences ,050301 education ,Triangulation (social science) ,Failure rate ,02 engineering and technology ,Positioning technology ,Indoor positioning system ,0202 electrical engineering, electronic engineering, information engineering ,Antenna (radio) ,business ,0503 education ,Computer hardware ,Reliability (statistics) - Abstract
IoT (Internet of things) has penetrated every corner of personal life. IPS (Indoor positioning system) is such an exact example which needs the assistance of IoT technology. With the intricate architecture of IPS consisting of multiple components, the reliability of IPS appears essentially. However, besides the component limits the reliability of integral system reliability, there is one more restriction – TPT (Triangulation Positioning Technology). Therefore, in this paper, several experimental results are aimed at exploring the IPS reliability under different influence factors with the restriction of TPT. Experiments are primarily conducted with the form of contrast experiment of two frameworks, which includes the different number and failure rate antennas of framwork1, failure trending of the positioning system of framework1 and framwork2, overall reliability of those two frameworks. The experimental results show that IPS with more antennas and the less failure rate is more stable, framework1 is more reliable than framework2 generally. To conclude, TPT will make an inevitable consequence to the system reliability due to the number restriction of the positioning antenna; positioning processors could also affect the system reliability as a result of the connection method of the antenna. Finally, the last conclusion could be extracted from the connection method between the positioning antennas and positioning processors, experiment shows that separate connection (one antenna to one processor) is much more stable than multiple connection (several antennas to one processor), thus, framwork1 is of more stability than framework2.
- Published
- 2018