Evaluation the Redundancy of the IoT System Based on Individual Sensing Probability

Ryuichi TAKAHASHI  

Publication
IEICE TRANSACTIONS on Information and Systems   Vol.E103-D   No.8   pp.1783-1793
Publication Date: 2020/08/01
Online ISSN: 1745-1361
DOI: 10.1587/transinf.2019FOP0001
Type of Manuscript: Special Section PAPER (Special Section on Formal Approaches)
Category: Formal Approaches
Keyword: 
IoT system,  autonomous driving system,  sensing probability,  PRISM model checker,  

Full Text: PDF(779KB)>>
Buy this Article




Summary: 
In IoT systems, data acquired by many sensors are required. However, since sensor operation depends on the actual environment, it is important to ensure sensor redundancy to improve system reliability in IoT systems. To evaluate the safety of the system, it is important to estimate the achievement probability of the function based on the sensing probability. In this research, we proposed a method to automatically generate a PRISM model from the sensor configuration of the target system and calculate and verify the function achievement probability in the assumed environment. By designing and evaluating iteratively until the target achievement probability is reached, the reliability of the system can be estimated at the initial design phase. This method reduces the possibility that the lack of reliability will be found after implementation and the redesign accompanying it will occur.