Summary: Increasing Reliability in the
Development of Intelligent Environments
Juan Carlos AUGUSTO a;1
a University of Ulster and Computer Science Research Institute, UK
Abstract. Little is reported in the literature on the methodology used to develop In-
telligent Environments. These are inherently complex systems as they are the prod-
uct of a multidisciplinary approach. Their main purpose is to help people directly,
which leads to these environments to take on enormous responsibilities of safety
and well being of the users of the environment. We illustrate in this paper how
techniques and tools developed in other areas of Computer Science to increase the
reliability of software can be applied at design and modelling stages to guide the
engineering and developing team to reduce the potential for future malfunctioning.
Keywords. Intelligent Environments, Model Checking, Reliability of Software.
Intelligent Environments (IEs) is a new and thriving area which have emerged in the last
decade [1,2,3] from the combination of several pre-existing disciplines like networking,
Human-Computer Interaction, sensing devices, Pervasive Computing, AI, etc. .
IEs can be defined as "a digital environment that proactively, but sensibly, supports
people in their daily lives." . Some recent applications include assisting drivers and
monitoring vulnerable people in such a way the system alerts designated carers when