loading
Documents

Research.Publish.Connect.

Paper

Authors: Reona Minoda and Shin-ichi Minato

Affiliation: Hokkaido University, Japan

ISBN: 978-989-758-266-0

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.

PDF ImageFull Text

Download
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 54.196.38.114

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 - Volume 1: PEC, (PECCS 2017) ISBN 978-989-758-266-0, 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 - Volume 1: PEC, (PECCS 2017)},
year={2017},
pages={13-21},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006429900130021},
isbn={978-989-758-266-0},
}

TY - CONF

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.