Skip to main content
SpringerLink
Log in

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

  • Chapter
  • First Online:
Trends in Ambient Intelligent Systems

Part of the book series: Studies in Computational Intelligence ((SCI,volume 633))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Or, to be more general, a “quality of service constraint”.

  2. 2.

    http://bzr.inria.fr/pub/bzr-manual.pdf.

  3. 3.

    The state of the switch is itself supposed to be known by the system.

References

  1. Ramos, C., Augusto, J.C., Shapiro, D.: Ambient intelligence: the next step for artificial intelligence. Intell. Syst. IEEE 23 (2008)

    Google Scholar 

  2. Carberry, S.: Techniques for Plan Recognition. User Model. User-Adap. Inter. 11, 31–48 (2001)

    Google Scholar 

  3. Novak, M., Binas, M., Jakab, F.: Unobtrusive anomaly detection in presence of elderly in a smart-home environment. In: ELEKTRO (2012)

    Google Scholar 

  4. Bouchard, B., Giroux, S., Bouzouane, A.: A keyhole plan recognition model for Alzheimer’s patients: first results. J. Appl. Artif. Intell. (AAI) 21, 623–658 (2007)

    Google Scholar 

  5. Fortin-Simard, D., Bouchard, K., Gaboury, S., Bouchard, B., Bouzouane, A.: Accurate passive RFID localization system for smart homes. In: IEEE 3rd International Conference on Networked Embedded Systems for Every Application (NESEA), pp. 1–8 (2012)

    Google Scholar 

  6. Lapointe, J., Bouchard, B., Bouchard, J., Potvin, A., Bouzouane, A.: Smart homes for people with Alzheimer’s disease: adapting prompting strategies to the patient’s cognitive profile. In: Proceedings of the 5th International Conference on Pervasive Technologies Related to Assistive Environments, pp. 30:1–30:8. New York, NY, USA, ACM (2012)

    Google Scholar 

  7. Pigot, H., Mayers, A., Giroux, S.: The intelligent habitat and everyday life activity support. In: 5th International Conference on Simulations in Biomedicine, avril 2003. Slovenie (2003)

    Google Scholar 

  8. Bulow, J.: An economic theory of planned obsolescence. Q. J. Econ. 101, 729–749 (1986)

    Google Scholar 

  9. Chetan, S., Ranganathan, A., Campbell, R.: Towards fault tolerance pervasive computing. Technol. Soc. Mag. 24 (2005)

    Google Scholar 

  10. Ramadge, P.J.G., Wonham, W.M.: The control of discrete event systems. Proc. IEEE 77, 81–98 (1989)

    Google Scholar 

  11. Guillet, S., de Lamotte, F., Le Griguer, N., Rutten, É., Gogniat, G., Diguet, J.P.: Designing formal recon guration control using UML/MARTE. In: 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (Re-CoSoC), pp. 1–8 (2012)

    Google Scholar 

  12. Pigot, H., Lefebvre, B., Meunier, J.G., Kerhervé, B., Mayers, A., Giroux, S.: The role of intelligent habitats in upholding elders in residence. In: 5th International Conference on Simulations in Biomedicine, pp. 497–506 (2003)

    Google Scholar 

  13. Latfi, F., Lefebvre, B., Descheneaux, C.: Ontology-based management of the tele-health smart home, dedicated to elderly in loss of cognitive autonomy. In: Workshop on OWL: Experiences and Directions, pp. 1–10 (2007)

    Google Scholar 

  14. Augusto, J.C., Nugent, C.D.: Smart homes can be smarter. In: In Designing Smart Homes—The Role of Artificial Intelligence (2006)

    Google Scholar 

  15. Patterson, D.J., Kautz, H.A., Fox, D., Liao, L.: Pervasive computing in the home and community. In Bardram, J.E., Mihailidis, A., Wan, D. (eds.) Pervasive Computing in Healthcare, pp. 79–103. CRC Press (2006)

    Google Scholar 

  16. Mihailidis, A., Boger, J., Canido, M., Hoey, J.: The use of an intelligent prompting system for people with dementia. Interactions 14 (2007)

    Google Scholar 

  17. Bouchard, K., Bouchard, B., Bouzouane, A.: Guidelines to efficient smart home design for rapid AI prototyping: a case study. In: Proceedings of the 5th International Conference on Pervasive Technologies Related to Assistive Environments, New York, NY, USA, ACM (2012)

    Google Scholar 

  18. Bouchard, K., Bouchard, B., Bouzouane, A.: Discovery of topological relations for spatial activity recognition. In: Proceedings of the IEEE Symposium Series on Computational Intelligence (SSCI 2013), pp. 1–8 (2013)

    Google Scholar 

  19. Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proc. IEEE 91, 64–83 (2003)

    Google Scholar 

  20. Marchand, H., Bournai, P., Borgne, M.L., Guernic, P.L.: Synthesis of discrete-event controllers based on the signal environment. Discrete Event Dyn. Syst. 10, 325–346 (2000)

    Google Scholar 

  21. Dumitrescu, E., Girault, A., Marchand, H., Rutten, É.: Multicriteria optimal dis-crete controller synthesis for fault-tolerant real-time tasks. In: Workshop on Dis-crete Event Systems, WODES’10, pp. 366–373. Berlin, Germany (2010)

    Google Scholar 

  22. Delaval, G., Marchand, H., Rutten, E.: Contracts for modular discrete controller synthesis. In: Proceedings of the ACM SIGPLAN/SIGBED 2010 Conference on Languages, compilers, and Tools for Embedded Systems, pp. 57–66. New York, NY, USA, ACM (2010)

    Google Scholar 

  23. Kilgore, C., Peitz, M., Schmid, K.: System Requirements Document for Safe Home. Research report, Iowa State University (2004)

    Google Scholar 

  24. Le Lann, G.: The Ariane 5 flight 501 failure—a case study in system engineer-ing for computing systems. Technical report, REFLECS—INRIA Rocquencourt (1996)

    Google Scholar 

  25. Jaygarl, H., Denner, A., Pham, N.: Software requirements and specification document for smart home notification and calendering system. Research report (smart home project, Iowa State University), pp. 1–45 (2008)

    Google Scholar 

  26. Picard, R.W.: A ective computing. Technical report (1995)

    Google Scholar 

  27. Schmidtke, H.R., Woo, W.: Towards ontology-based formal verification methods for context aware systems. In: Proceedings of the 7th International Conference on Pervasive Computing, pp. 309–326. Springer, Berlin, Heidelberg, (2009)

    Google Scholar 

  28. Corno, F., Sanaullah, M.: Formal verification of device state chart models. In: 7th International Conference Intelligent Environments (2011)

    Google Scholar 

  29. Corno, F., Sanaullah, M.: Modeling and formal verification of smart environments. Secur. Commun. Netw. (2013)

    Google Scholar 

  30. Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Comput. (2003)

    Google Scholar 

  31. Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer, Berlin (2006)

    Google Scholar 

  32. Delaval, G., Rutten, E.: Reactive model-based control of reconfiguration in the fractal component-based model. CBSE (2010)

    Google Scholar 

  33. Bouhadiba, T., Sabah, Q., Delaval, G., Rutten, E.: Synchronous control of reconfiguration in fractal component-based systems—a case study. In: Proceedings of the International Conference on Embedded Software. EMSOFT (2011)

    Google Scholar 

  34. Zhao, M., Privat, G., Rutten, É., Alla, H.: Discrete control for the internet of things and smart environments. In: 8th International Workshop on Feedback Computing, In conjunction with ICAC (2013)

    Google Scholar 

  35. Guillet, S., Bouchard, B., Bouzouane, A.: Correct by construction security approach to design fault tolerant smart homes for disabled people. In: EUSPN (2013)

    Google Scholar 

  36. Marchand, H., Samaan, M.: Incremental design of a power transformer station controller using a controller synthesis methodology. IEEE Trans. Softw. Eng. 26(8), 729–741 (2000)

    Google Scholar 

  37. Altisen, K., Clodic, A., Maraninchi, F., Rutten, É.: Using controller-synthesis techniques to build property-enforcing layers. In: Proceedings of the 12th European conference on Programming, pp. 174–188. Springer, Berlin, Heidelberg (2003)

    Google Scholar 

  38. Reisberg, B., Ferris, S.H., Crook, T.: Signs, symptoms and course of age-associated cognitive decline. In Corkin, S., Davis, K.L., Growden, J.H. (eds.) Aging: Alzheimer’s Disease: A Report of Progress, pp. 177–181. Raven Press (1982)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIARA, Université du Québec À Chicoutimi, 555 Blvd Université EST, G7H2B1, Chicoutimi, QC, Canada

    Sébastien Guillet, Bruno Bouchard & Abdenour Bouzouane

Authors
  1. Sébastien Guillet
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bruno Bouchard
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Abdenour Bouzouane
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sébastien Guillet .

Editor information

Editors and Affiliations

  1. School of Engineering & Technology, Sharda University, Greater Noida, India

    Kiran Kumar Ravulakollu

  2. Computing (Ministry of Comm. and IT, Centre for Development of Advanced, Noida, India

    Mohammad Ayoub Khan

  3. (MIR Labs), Machine Intelligence Research Labs, Auburn, Washington, USA

    Ajith Abraham

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Guillet, S., Bouchard, B., Bouzouane, A. (2016). Safe and Automatic Addition of Fault Tolerance for Smart Homes Dedicated to People with Disabilities. In: Ravulakollu, K., Khan, M., Abraham, A. (eds) Trends in Ambient Intelligent Systems. Studies in Computational Intelligence, vol 633. Springer, Cham. https://doi.org/10.1007/978-3-319-30184-6_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-30184-6_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-30182-2

  • Online ISBN: 978-3-319-30184-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation