IEICE TRANSACTIONS on Information
Evaluation the Redundancy of the IoT System Based on Individual Sensing Probability
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.
- Publication
- IEICE TRANSACTIONS on Information Vol.E103-D No.8 pp.1783-1793
- Publication Date
- 2020/08/01
- Publicized
- 2020/05/14
- Online ISSN
- 1745-1361
- DOI
- 10.1587/transinf.2019FOP0001
- Type of Manuscript
- Special Section PAPER (Special Section on Formal Approaches)
- Category
- Formal Approaches
Authors
Ryuichi TAKAHASHI
Ibaraki University
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Ryuichi TAKAHASHI, "Evaluation the Redundancy of the IoT System Based on Individual Sensing Probability" in IEICE TRANSACTIONS on Information,
vol. E103-D, no. 8, pp. 1783-1793, August 2020, doi: 10.1587/transinf.2019FOP0001.
Abstract: 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.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.2019FOP0001/_p
Copy
@ARTICLE{e103-d_8_1783,
author={Ryuichi TAKAHASHI, },
journal={IEICE TRANSACTIONS on Information},
title={Evaluation the Redundancy of the IoT System Based on Individual Sensing Probability},
year={2020},
volume={E103-D},
number={8},
pages={1783-1793},
abstract={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.},
keywords={},
doi={10.1587/transinf.2019FOP0001},
ISSN={1745-1361},
month={August},}
Copy
TY - JOUR
TI - Evaluation the Redundancy of the IoT System Based on Individual Sensing Probability
T2 - IEICE TRANSACTIONS on Information
SP - 1783
EP - 1793
AU - Ryuichi TAKAHASHI
PY - 2020
DO - 10.1587/transinf.2019FOP0001
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E103-D
IS - 8
JA - IEICE TRANSACTIONS on Information
Y1 - August 2020
AB - 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.
ER -
English
