Model Checking Indoor Positioning System With Triangulation Positioning Technology

Reliability of two indoor positioning system (IPS) frameworks is studied in this paper. The experimental results show that TPT (Triangulation Positioning Technology) will make an inevitable influence 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).