loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Reona Minoda and Shin-ichi Minato

Affiliation: Hokkaido University, Japan

Keyword(s): Ubiquitous Computing, Catalytic Reaction Network, Formal Verification, Symbolic Model Checking, Smart Object.

Related Ontology Subjects/Areas/Topics: Context ; Context-Aware Applications ; Mobile and Pervasive Computing ; Paradigm Trends ; Software Engineering ; Telecommunications ; Ubiquitous Computing Systems and Services

Abstract: Verification of ubiquitous computing (UC) scenarios enables us to detect design-related faults of UC applications before we actually implement them. In this paper, we propose a verification framework of context catalytic reaction network (CCRN), which is a description model of UC scenarios, as a new application field of symbolic model checking. To do so, we illustrate a method how to transform a scenario written in CCRN into a symbolic model checking problem. We also show experimentally that our framework makes it possible to verify large scale UC scenarios which could not be verified in realistic time by our previous method. Additionally, we show experimentally the usefulness of fault detections using bounded model checking in the same framework.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.209.230.60

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Minoda, R. and Minato, S. (2017). Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking. In Proceedings of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2017) - PEC; ISBN 978-989-758-266-0; ISSN 2184-2817, SciTePress, pages 13-21. DOI: 10.5220/0006429900130021

@conference{pec17,
author={Reona Minoda. and Shin{-}ichi Minato.},
title={Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking},
booktitle={Proceedings of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2017) - PEC},
year={2017},
pages={13-21},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006429900130021},
isbn={978-989-758-266-0},
issn={2184-2817},
}

TY - CONF

JO - Proceedings of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2017) - PEC
TI - Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking
SN - 978-989-758-266-0
IS - 2184-2817
AU - Minoda, R.
AU - Minato, S.
PY - 2017
SP - 13
EP - 21
DO - 10.5220/0006429900130021
PB - SciTePress