Open Access
Open access
Lecture Notes in Computer Science, pages 508-519

Formal Specification for Ambient Assisted Living Scenarios

Publication type: Book Chapter
Publication date: 2017-10-06
Q2
SJR: 0.606
CiteScore: 2.6
Impact factor: —
ISSN: 03029743, 16113349, 18612075, 18612083
Abstract
Formal specifications are used to prove software correctness in a critical system. Ambient Assisted Living (AAL) technologies require unambiguous and precise requirements as they provide critical services for home monitoring. Several AAL technologies have already been designed using scenario-driven approach. But most of them do not precise how to ensure the correctness and conformity of the scenario related to end-user specifications. The multidisciplinary requirements brought by the design team and the assistance to the elderly need a rigorous mechanism for validating and specifying assistance scenarios. In this article, we propose a formal specification approach for scenario construction in the context of AAL technologies. We explain how to instantiate any scenario from the modeled specification, and give some results obtained by using the Alloy language and its validation module. We present a case study applied to nighttime wandering scenario.
Found 
Found 

Top-30

Publishers

1
Springer Nature
Springer Nature, 1, 50%
Springer Nature
1 publication, 50%
Institute of Electrical and Electronics Engineers (IEEE)
Institute of Electrical and Electronics Engineers (IEEE), 1, 50%
Institute of Electrical and Electronics Engineers (IEEE)
1 publication, 50%
1
  • We do not take into account publications without a DOI.
  • Statistics recalculated only for publications connected to researchers, organizations and labs registered on the platform.
  • Statistics recalculated weekly.

Are you a researcher?

Create a profile to get free access to personal recommendations for colleagues and new articles.
Metrics
Share
Cite this
GOST |
Cite this
GOST Copy
Kenfack Ngankam H. et al. Formal Specification for Ambient Assisted Living Scenarios // Lecture Notes in Computer Science. 2017. pp. 508-519.
GOST all authors (up to 50) Copy
Kenfack Ngankam H., Pigot H., Frappier M., Oliveira C. H., Giroux S. Formal Specification for Ambient Assisted Living Scenarios // Lecture Notes in Computer Science. 2017. pp. 508-519.
RIS |
Cite this
RIS Copy
TY - GENERIC
DO - 10.1007/978-3-319-67585-5_51
UR - https://doi.org/10.1007/978-3-319-67585-5_51
TI - Formal Specification for Ambient Assisted Living Scenarios
T2 - Lecture Notes in Computer Science
AU - Kenfack Ngankam, Hubert
AU - Pigot, Hélène
AU - Frappier, Marc
AU - Oliveira, Camila H.
AU - Giroux, Sylvain
PY - 2017
DA - 2017/10/06
PB - Springer Nature
SP - 508-519
SN - 0302-9743
SN - 1611-3349
SN - 1861-2075
SN - 1861-2083
ER -
BibTex
Cite this
BibTex (up to 50 authors) Copy
@incollection{2017_Kenfack Ngankam,
author = {Hubert Kenfack Ngankam and Hélène Pigot and Marc Frappier and Camila H. Oliveira and Sylvain Giroux},
title = {Formal Specification for Ambient Assisted Living Scenarios},
publisher = {Springer Nature},
year = {2017},
pages = {508--519},
month = {oct}
}
Found error?