Home // UBICOMM 2017, The Eleventh International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies // View article
Authors:
Reona Minoda
Masakazu Ishihata
Shin-ichi Minato
Keywords: Ubiquitous Computing, Catalytic Reaction Network, Probabilistic Model Checking, Smart Object
Abstract:
This paper proposes the method of reliability analysis of ubiquitous computing (UC) scenarios. In UC scenarios, various devices communicate with each other through wireless network, and this kind of communications sometimes break due to external interferences. To discuss the reliability in such situation, we introduce the notion of probability into context catalytic reaction network (CCRN), which is a description model of UC scenarios. This enables us to conduct quantitative analyses such as considerations of a trade-off between the reliability of UC scenarios and the costs which may be necessary for their implementations. To conduct a reliability analysis of UC scenarios, we use the technique of probabilistic model checking. We also evaluate our method experimentally by conducting a case study using a practical example assuming a museum.
Pages: 85 to 91
Copyright: Copyright (c) IARIA, 2017
Publication date: November 12, 2017
Published in: conference
ISSN: 2308-4278
ISBN: 978-1-61208-598-2
Location: Barcelona, Spain
Dates: from November 12, 2017 to November 16, 2017