Application of Software Engineering techniques to improve the reliability of Intelligent Environments

Intelligent environments with entangled quality properties

“…The development of an IE that can be successfully delivered to the society is a complex challenge. So much so that it requires a multidisciplinary team that has to be not only capable of applying a combination of techniques and methods coming from Software Engineering to improve its reliability [ 7 ], but also from other Computer Science disciplines, such as artificial intelligence, ubiquitous/pervasive computing and human–computer interaction, among others, that make the resulting IE less intrusive, while being smarter, more proactive and usable for the user. All this with the ultimate goal of increasing user confidence in the IE developed [ 8 , 9 ].…”

Increasing user confidence in intelligent environments

“…Consequently, the application of formal and/or semiformal methods and techniques, such as the ones coming from Software Engineering [9] (e.g., specification, modelling, verification, validation, simulation, testing, etc. ), is needed to analyze and establish the correctness of IE, which are complex and error-prone systems, with the aim of improving their reliability, safety, and/or security, and, therefore, increasing the user confidence in these systems.…”