Abstract:
Safety is a major challenge in developing assistive software for people with special needs in smart houses. INOVUS is an ongoing project about safety issues of cooking ac...Show MoreNotes: As originally published the article author information incorrectly listed the author order as Thibault De Champs, Bessam Abdulrazak, Helen Pigot, Mohammed Ouenzar, Marc Frappier, and Benoit Fraikin. The order is corrected in the metadata to be: Thibault de Champs, Mohammed Ouenzar, Bessam Abdulrazak, Marc Frappier, Helene Pigot, Benoit Fraikin.
Metadata
Abstract:
Safety is a major challenge in developing assistive software for people with special needs in smart houses. INOVUS is an ongoing project about safety issues of cooking activities. This paper presents the INOVUS project and highlights lacks in current software development processes to meet safety requirements in pervasive computing. In the INOVUS project, we propose an approach to introduce model checking using ALLOY as a new layer to strengthen the design and the understanding of specifications in the development process of safety related applications in smart houses. Finally, we illustrate the model checking process with ALLOY and present the initial results of the INOVUS prototype.
Notes: As originally published the article author information incorrectly listed the author order as Thibault De Champs, Bessam Abdulrazak, Helen Pigot, Mohammed Ouenzar, Marc Frappier, and Benoit Fraikin. The order is corrected in the metadata to be: Thibault de Champs, Mohammed Ouenzar, Bessam Abdulrazak, Marc Frappier, Helene Pigot, Benoit Fraikin.
Published in: 2011 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops)
Date of Conference: 21-25 March 2011
Date Added to IEEE Xplore: 12 May 2011
ISBN Information: