NDLI: Design-time formal verification for smart environments: an exploratory perspective

Content Provider	Springer Nature Link
Author	Corno, Fulvio Sanaullah, Muhammad
Copyright Year	2013
Abstract	Smart environments (SmE) are richly integrated with multiple heterogeneous devices; they perform the operations in intelligent manner by considering the context and actions/behaviors of the users. Their major objective is to enable the environment to provide ease and comfort to the users. The reliance on these systems demands consistent behavior. The versatility of devices, user behavior and intricacy of communication complicate the modeling and verification of SmE’s reliable behavior. Of the many available modeling and verification techniques, formal methods appear to be the most promising. Due to a large variety of implementation scenarios and support for conditional behavior/processing, the concept of SmE is applicable to diverse areas which calls for focused research. As a result, a number of modeling and verification techniques have been made available for designers. This paper explores and puts into perspective the modeling and verification techniques based on an extended literature survey. These techniques mainly focus on some specific aspects, with a few overlapping scenarios (such as user interaction, devices interaction and control, context awareness, etc.), which were of the interest to the researchers based on their specialized competencies. The techniques are categorized on the basis of various factors and formalisms considered for the modeling and verification and later analyzed. The results show that no surveyed technique maintains a holistic perspective; each technique is used for the modeling and verification of specific SmE aspects. The results further help the designers select appropriate modeling and verification techniques under given requirements and stress for more R&D effort into SmE modeling and verification research.
Starting Page	581
Ending Page	599
Page Count	19
File Format	PDF
ISSN	18685137
Journal	Journal of Ambient Intelligence and Humanized Computing
Volume Number	5
Issue Number	4
e-ISSN	18685145
Language	English
Publisher	Springer Berlin Heidelberg
Publisher Date	2013-10-16
Publisher Place	Berlin, Heidelberg
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Smart environments Formal modeling Formal verification Design-time verification Computational Intelligence Artificial Intelligence (incl. Robotics) Robotics and Automation User Interfaces and Human Computer Interaction
Content Type	Text
Resource Type	Article
Subject	Computer Science

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Special issue on “Personalization and situation awareness in smart environments”

A cyber-physical approach to secret key generation in smart environments

Learning movement patterns of the occupant in smart home environments: an unsupervised learning approach

Preface for a special issue on “Smart environments and collective computational intelligence for disaster management”

Ambient and smartphone sensor assisted ADL recognition in multi-inhabitant smart environments

A new DSS based on situation awareness for smart commerce environments

Assisted energy management in smart microgrids

Building a smart campus to support ubiquitous learning

A review of smart homes in healthcare

Design-time formal verification for smart environments: an exploratory perspective

Similar Documents

Special issue on “Personalization and situation awareness in smart environments”

A cyber-physical approach to secret key generation in smart environments

Learning movement patterns of the occupant in smart home environments: an unsupervised learning approach

Preface for a special issue on “Smart environments and collective computational intelligence for disaster management”

Ambient and smartphone sensor assisted ADL recognition in multi-inhabitant smart environments

A new DSS based on situation awareness for smart commerce environments

Assisted energy management in smart microgrids

Building a smart campus to support ubiquitous learning

A review of smart homes in healthcare

Design-time formal verification for smart environments: an exploratory perspective