Analysis and verification of ECA rules in intelligent environments
Article
Cacciagrano, D., Corradini, F., Culmone, R., Gorogiannis, N., Mostarda, L., Raimondi, F. and Vannucchi, C. 2018. Analysis and verification of ECA rules in intelligent environments. Journal of Ambient Intelligence and Smart Environments. 10 (3), pp. 261-273. https://doi.org/10.3233/ais-180487
Type | Article |
---|---|
Title | Analysis and verification of ECA rules in intelligent environments |
Authors | Cacciagrano, D., Corradini, F., Culmone, R., Gorogiannis, N., Mostarda, L., Raimondi, F. and Vannucchi, C. |
Abstract | Intelligent Environments (IEs) are physical spaces where Information Technology (IT) and other pervasive computing technologies are combined in order to achieve specific goals for the users and the environment. IEs have the goal of enriching user experience, increasing awareness of the environment. A number of applications are currently being deployed in domains ranging from smart homes to e-health and autonomous vehicles. Quite often IE support human activities, thus essential requirements to be ensured are correctness, reliability, safety and security. In this paper we present how a set of techniques and tools that have been developed for the verification of software can be employed in the verification of IE described by means of event-condition-action rules. More precisely, we reduce the problem of verifying key properties of these rules to satisfiability and termination problems that can be addressed using state-of-the-art Satisfiability Modulo Theory (SMT) solvers and program analysers. Our approach has been implemented in a tool called vIRONy. Our approach has been validated on a number of case studies from the literature. |
Keywords | Software |
Publisher | IOS Press |
Journal | Journal of Ambient Intelligence and Smart Environments |
ISSN | 1876-1364 |
Electronic | 1876-1372 |
Publication dates | |
21 Jun 2018 | |
Publication process dates | |
Deposited | 03 Jul 2018 |
Accepted | 22 May 2018 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | The final publication is available at IOS Press through http://dx.doi.org/10.3233/ais-180487 |
Digital Object Identifier (DOI) | https://doi.org/10.3233/ais-180487 |
Language | English |
https://repository.mdx.ac.uk/item/87v44
Download files
49
total views10
total downloads2
views this month1
downloads this month