Enabling correct design and formal analysis of Ambient Assisted Living systems

Using Formal Methods to Guide the Development of an Asthma Management System

“…The Software Engineering (SE) community often uses these methods [9], techniques and tools for verifying systems and software [10] at the earliest stages of their development. However, amongst IE developers these formal methods and tools are rarely used, though there are some exceptions which have started to appear recently [11][12][13][14][15]. Most of these works are isolated efforts which are based on very specific and specialized methods and tools, reason why they are rarely known in practice by the IE community.…”

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

“…Although a series of methodologies have been recently proposed to improve the development and the reliability of IE [5] and related systems, such as Pervasive/Ubiquitous Computing [6][7][8], Ambient Assisted Living (AAL) [9], Multi-Agent [10], and Sense/Compute/Control [11] ones, each of them is generally focused on solving certain development issues and are disconnected from each other [3]. Accordingly, more effort and work is necessary to provide standardized and unified methodologies, techniques and tools that can be collectively adopted by the community involved in the development of these systems.…”

Introduction to the inaugural issue of the Journal of Reliable Intelligent Environments

“…Benghazi et al [10] uses a pre-existing framework MEDISTAM-RT for the design and analysis of real-time systems, which combines an extension of the user-friendly notation UML-RT with the formal language CSP + T, and shows how these methods and tools can be applied to the verification of non-functional requirements in Ambient Assisted Living scenarios.…”