TY - GEN
T1 - Model Checking Indoor Positioning System With Triangulation Positioning Technology
AU - Yuan, Dengpan
AU - Ning, Maizhen
AU - Xu, Runguo
AU - Zhou, Shuming
AU - Shi, Wentao
AU - Zheng, Kai
AU - Huang, Xin
N1 - Publisher Copyright:
© 2018 IEEE.
PY - 2018/12/26
Y1 - 2018/12/26
N2 - 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.
AB - 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.
KW - Indoor Positioning System
KW - Internet of things (IoT)
KW - Model Checking: PRISM
KW - Triangulation Positioning Technology
UR - http://www.scopus.com/inward/record.url?scp=85061315572&partnerID=8YFLogxK
U2 - 10.1109/ITME.2018.00193
DO - 10.1109/ITME.2018.00193
M3 - Conference Proceeding
AN - SCOPUS:85061315572
T3 - Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018
SP - 862
EP - 866
BT - Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 9th International Conference on Information Technology in Medicine and Education, ITME 2018
Y2 - 19 October 2018 through 21 October 2018
ER -