vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments
| Autor: | Nikos Gorogiannis, Rosario Culmone, Flavio Corradini, Claudia Vannucchi, Diletta Cacciagrano, Michelangelo Diamanti, Gianmarco Mazzante, Franco Raimondi, Leonardo Mostarda |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Computer science
business.industry 020207 software engineering Ranging 02 engineering and technology computer.software_genre Satisfiability Automaton Set (abstract data type) Software Home automation 0202 electrical engineering electronic engineering information engineering Key (cryptography) Code (cryptography) 020201 artificial intelligence & image processing Data mining Software engineering business computer |
| Zdroj: | Intelligent Environments |
| DOI: | 10.1109/ie.2017.32 |
| Popis: | Intelligent Environments (IE) are a very active area of research and a number of applications are currently being deployed in domains ranging from smart home to e-health and autonomous vehicles. In a number of cases, IE operate together with (or to support) humans, and it is therefore fundamental that IE are thoroughly verified. In this paper we present how a set of techniques and tools developed for the verification of software code can be employed in the verification of IE described by means of event-condition-action rules. In particular, 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 SMT solvers and program analysers. We introduce a tool called vIRONy that implements these techniques and we validate our approach against a number of case studies from the literature. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|