mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A formally assured intelligent ecosystem for enhanced ambient assisted living support
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
2018 (English)In: Proceedings of the ACM Symposium on Applied Computing, 2018, p. 1581-1582Conference paper, Published paper (Refereed)
Abstract [en]

The increasing proportion of elderly adults across the world calls for Ambient Assisted Living (AAL) solutions that can support the elderly in their daily activities, ensure timely resolution of critical scenarios, and help them live independently and without social isolation. However, most of the existing AAL solutions deliver only certain functionalities, that, if used side by side, cannot resolve potentially critical scenarios in a timely manner. A safe mitigation of such situations is possible if all relevant AAL functions are seamlessly integrated, and supported by artificially intelligent decision-making solutions. Moreover, given the safety-critical nature of such systems, evidence of their correctness and quality of service needs to also be provided via formal analysis techniques. This paper addresses such issues by presenting the ongoing Ph.D. research work of the author, aiming at developing a formally assured ecosystem for AAL systems. 

Place, publisher, year, edition, pages
2018. p. 1581-1582
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-40370DOI: 10.1145/3167132.3167456ISI: 000455180700224Scopus ID: 2-s2.0-85050544331ISBN: 9781450351911 (print)OAI: oai:DiVA.org:mdh-40370DiVA, id: diva2:1239589
Conference
33rd Annual ACM Symposium on Applied Computing, SAC 2018, 9 April 2018 through 13 April 2018
Available from: 2018-08-17 Created: 2018-08-17 Last updated: 2019-03-29Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Kunnappilly, Ashalatha

Search in DiVA

By author/editor
Kunnappilly, Ashalatha
By organisation
Embedded Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 761 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf