Markov Decision Processes: Discrete Stochastic Dynamic Programming
Markov Decision Processes: Discrete Stochastic Dynamic Programming
A Probabilistic Extension of UML Statecharts
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
A Framework for Connecting Home Computing Middleware
ICDCSW '02 Proceedings of the 22nd International Conference on Distributed Computing Systems
MavHome: An Agent-Based Smart Home
PERCOM '03 Proceedings of the First IEEE International Conference on Pervasive Computing and Communications
Digital Ground: Architecture, Pervasive Computing, and Environmental Knowing
Digital Ground: Architecture, Pervasive Computing, and Environmental Knowing
Proceedings of the 2006 ACM symposium on Applied computing
A validation methodology for agent-based simulations
Proceedings of the 2008 ACM symposium on Applied computing
Aspect-oriented software development
Aspect-oriented software development
Task Model-Based Usability Evaluation for Smart Environments
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
DogOnt - Ontology Modeling for Intelligent Domotic Environments
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
CMC-UMC: a framework for the verification of abstract service-oriented properties
Proceedings of the 2009 ACM symposium on Applied Computing
Review: Ambient intelligence: Technologies, applications, and opportunities
Pervasive and Mobile Computing
Domotic technologies incompatibility becomes user transparent
Communications of the ACM - Amir Pnueli: Ahead of His Time
Ubiquitous Computing: Smart Devices, Environments and Interactions
Ubiquitous Computing: Smart Devices, Environments and Interactions
Formal Verification of Device State Chart Models
IE '11 Proceedings of the 2011 Seventh International Conference on Intelligent Environments
Contextualised ambient intelligence through case-based reasoning
ECCBR'06 Proceedings of the 8th European conference on Advances in Case-Based Reasoning
An open standard solution for domotic interoperability
IEEE Transactions on Consumer Electronics
The DOG gateway: enabling ontology-based intelligent domotic environments
IEEE Transactions on Consumer Electronics
| Hi-index | 0.00 |
Ambient Intelligence and Smart Home Automation systems are currently emerging as feasible and ready to exploit solutions to support more intelligent features inside future and current homes. Thanks to increased availability of off-the-shelf components and to relatively easy to implement solutions we are experiencing a steady evolution of households, causing an ever-increasing users' awareness of the capabilities of such innovative environments. To foster effective adoption of Smart Home Automation technologies in our home environments, traditional architectural and plant design must be complemented by sound design methodologies and tools, supporting the whole environment design cycle, including for example modeling, simulation and emulation, as well as, when feasible, formal model-checking and verification. Several research efforts have already addressed the design of expressive modeling tools, mostly based on Semantic Web technologies, as well as of suitable platforms for adding interoperation and rule-based intelligence to home environments. This paper proposes a new modeling methodology designed to fit the different phases of Intelligent Environments design, with a particular focus on validation and verification of the whole system. Carefully designed separation of modeled entities permits to exploit the DoMAIns framework during all phases of the environment design, from early abstract conception to the final in-field deployment. The DoMAIns design methodology is applied to a sample use case that involves comprehensive modeling and simulation of a Bank Security Booth, including the environment, the control algorithms, the automation devices and the user. Results show that the approach is feasible and that can easily handle different types of environment modeling, required in the different design phases, and for each of them it may support simulation, emulation, or other verification techniques.