Safe and Automatic Addition of Fault Tolerance for Smart Homes Dedicated to People with Disabilities

Authors :: Abdenour Bouzouane
Bruno Bouchard
Sébastien Guillet
Source :: Trends in Ambient Intelligent Systems ISBN: 9783319301822
Publication Year :: 2016
Publisher :: Springer International Publishing, 2016.
Abstract: In this chapter, we discuss a project of the LIARA laboratory that introduces a methodology to design and control smart homes dedicated to people with disabilities. In this context, this project aims at improving the security of the environment through a design methodology involving formal synthesis techniques.

Subjects :: Engineering
business.industry
05 social sciences
Control (management)
020207 software engineering
Context (language use)
Fault tolerance
02 engineering and technology
Computer security
computer.software_genre
Formal synthesis
Home automation
0202 electrical engineering, electronic engineering, information engineering
0501 psychology and cognitive sciences
business
Design methods
Software engineering
computer
050107 human factors

Full Text Access

Tools