https://www.mdu.se/

mdu.sePublications
Change search
Link to record
Permanent link

Direct link
Kunnappilly, Ashalatha
Publications (10 of 15) Show all publications
Kunnappilly, A., Backeman, P., Seceleanu, C. & Johanson, M. (2021). 5G Service Orchestration Supported by Model Checking - A Case Study of Health Applications. Västerås: Mälardalens högskola
Open this publication in new window or tab >>5G Service Orchestration Supported by Model Checking - A Case Study of Health Applications
2021 (English)Report (Other academic)
Abstract [en]

With the increased use of 5G wireless technology for communication in e-health systems, it also arises an imperative need to verify if the application requirements in terms of resource capacity, deadlines, etc. are met by the network, especially in cases of real-time critical use cases. A promising aid to address this need lies in frameworks that allow one to model and analyze such systems before they are implemented. In our previous work, we have proposed a UML profile called UML5G-Service Orchestration, backed by model checking, which allows one to verify formally the static and dynamic behavior of 5G communication using network slicing. In this paper, we extend its tool support, called G^5, which generates automatically UPPAAL timed automata models from profile-based object diagrams, to enable automatic verification of service orchestration, including fault-tolerance aspects with respect to crashed hosts or links. We chose an industrial case study of two different e-health applications that use 5G network slicing, for an evaluation of the approach, which lets us identify the factors that impact its scalability.

Place, publisher, year, edition, pages
Västerås: Mälardalens högskola, 2021
Series
MRCT Report
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-55741 (URN)
Available from: 2021-09-03 Created: 2021-09-03 Last updated: 2023-09-01Bibliographically approved
Kunnappilly, A., Backeman, P. & Seceleanu, C. (2021). From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration. In: 7th international Conference on the Engineering of Computer Based Systems ECBS 2021: . Paper presented at 7th international Conference on the Engineering of Computer Based Systems ECBS 2021, 26 May 2021, Online, Sweden.
Open this publication in new window or tab >>From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration
2021 (English)In: 7th international Conference on the Engineering of Computer Based Systems ECBS 2021, 2021Conference paper, Published paper (Refereed)
Abstract [en]

The new 5G technology has the ability to create logical communication networks, called network slices, which are specifically carved to serve particular application domains. Due to the mix of applications criticality, it becomes crucial to verify if the applications' service level agreements are met, especially for the mission-critical scenarios, before the system is up and running. In this paper, we propose a novel framework for modeling and verifying 5G orchestration of dynamic services, which considers simultaneous access of network slices, admission of new requests to slices, virtual network function scheduling, and routing. Due to the dynamic nature of the problem such verification becomes a challenging issue. By combining the benefits of modeling in user-friendly UML, with model checking using UPPAAL, our framework helps to address the issue by enabling both modeling and formal verification at design stage. We demonstrate our approach on a case study that involves: (i) a mission-critical 5G-assisted robot surgery e-health application, accomplished by using a health slice that is simultaneously accessed by various health professionals using a 5G-enabled camera, and (ii) a less critical video streaming application using a video slice, accessed via various 5G-enabled mobile phones, within the same area as the robotic application. By employing our approach, one can verify that the critical health application meets its timeliness requirements, but also that all slices are eventually served in the system.

Keywords
5G, Service Orchestration, Network Slicing, UML, Model Checking
National Category
Engineering and Technology Computer Systems
Identifiers
urn:nbn:se:mdh:diva-53977 (URN)10.1145/3459960.3459965 (DOI)2-s2.0-85107219450 (Scopus ID)
Conference
7th international Conference on the Engineering of Computer Based Systems ECBS 2021, 26 May 2021, Online, Sweden
Projects
Health5G: Future eHealth powered by 5G
Available from: 2021-05-24 Created: 2021-05-24 Last updated: 2022-11-02Bibliographically approved
Kunnappilly, A. (2021). Modeling and Formal Analysis of e-Health Systems. (Doctoral dissertation). Västerås: Mälardalen University
Open this publication in new window or tab >>Modeling and Formal Analysis of e-Health Systems
2021 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

With the healthcare practice being increasingly dependent on digital processes and electronic communication, there is a need to support a variety of e-Health applications of different requirements, with respect to connectivity, low latency, and high reliability. The focus of this thesis is on providing formal assurance to systems supporting e-Health applications. Among such systems, this thesis considers: a) Ambient Assisted Living (AAL) Systems, aimed to assist the elderly in their independent and safe living within their homes, and b) healthcare assistance systems that include home, hospital, or emergency e-Health applications, where simultaneous access and communication is critical.

In order to provide formal assurance, one needs to  capture both the structure and behavior of the targeted e-Health systems within models that can be formalized and analyzed by formal methods. Due to only few existing initiatives in the AAL domain that integrate common AAL functionalities such as pulse monitoring, fall detection, as well as fire detection, and remote communication with care-givers, within a generic framework, in this thesis, we propose, as a first contribution, two different categories of AAL architecture frameworks onto which different functionalities, chosen based on user preferences, can be integrated. The first solution follows a centralized approach, using an intelligent Decision Support System, and the second employs a distributed architectural approach, involving multiple intelligent agents. Although centralized solutions are easy to develop, scalability, flexibility, multiple user accesses and potential self-healing are easier to achieve with the distributed, agent-based architecture.  To formally assure these solutions against functional, timing and reliability requirements, as a second contribution, we model the architectures in one of the architecture description languages, namely Architecture Analysis and Design Language, to which we assign semantics in terms of various flavors of transition systems. Consequently, we employ corresponding model checking techniques, such as exhaustive model checking in UPPAAL, statistical model checking in UPPAAL SMC, and probabilistic Model Checking in PRISM, to provide the necessary design-time assurance. 

Our AAL formal frameworks abstract away the communication media and assume communication protocols with fixed delays only. Moreover, their scope is limited to home-based assistance with with no simultaneous/parallel user access. 

Hence, we model next the communication media and expand our scope to target generic e-Health systems supporting home, hospital, and emergency use cases. For such systems, networking capabilities with real-time and reliable communication schemes are essential for service-user connectivity, and resource sharing.

One communication scheme employed in such e-Health applications is the fifth generation of cellular wireless technology, namely, 5G, which offers the possibility of creating network slices that provide independent logical networks, to serve a variety of applications characterized by certain quality-of-service requirements. The network slicing is enabled by the underlying 5G service orchestration capabilities that deal with virtual network function placement, implicit resource assignment, and traffic routing.In this work, we study in detail the service orchestration problem in 5G. As the third contribution, we propose a UML-based framework consisting of: (a) a UML5G Service Orchestration Profile (UML5G-SO) that facilitates modeling service orchestration and network slicing for such 5G-based systems, and (b) associated analysis techniques that back the profile, namely logic-based analysis using the USE tool, and exhaustive model checking via UPPAAL. 

As a final contribution, we propose a tool that integrates UML5G-SO models with UPPAAL, and apply our framework on real use cases of e-Health systems, to provide some experimental evaluation by which we gather useful insights with respect to the framework's practical strengths and weaknesses.

Our work in this thesis paves the way towards the development of healthcare assistance systems with assured quality of service.

Place, publisher, year, edition, pages
Västerås: Mälardalen University, 2021
Series
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 341
National Category
Engineering and Technology Computer Systems
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-55742 (URN)978-91-7485-520-3 (ISBN)
Public defence
2021-11-05, Gamma, Mälardalens högskola, Västerås, 13:30 (English)
Opponent
Supervisors
Available from: 2021-09-20 Created: 2021-09-18 Last updated: 2021-10-15Bibliographically approved
Kunnappilly, A., Backeman, P. & Seceleanu, C. (2020). UML-based modeling and analysis of 5G service orchestration. In: Proceedings - Asia-Pacific Software Engineering Conference, APSEC: . Paper presented at 27th Asia-Pacific Software Engineering Conference, APSEC 2020, 1 December 2020 through 4 December 2020 (pp. 129-138). IEEE Computer Society
Open this publication in new window or tab >>UML-based modeling and analysis of 5G service orchestration
2020 (English)In: Proceedings - Asia-Pacific Software Engineering Conference, APSEC, IEEE Computer Society , 2020, p. 129-138Conference paper, Published paper (Refereed)
Abstract [en]

The fifth generation of cellular wireless technol- ogy, 5G, bears the promise to transform the future network connectivity by providing seamless, low-latency and reliable interconnections between devices. In this paper, we focus on modeling and analyzing 5G service orchestration that deals with virtual network function placement, resource assignment and traffic routing, which are the building blocks of generating network slices catering to various application requirements. In order to ensure that a particular network slice works as stated by the application's service level agreement, it is essential that the constituent virtual network functions are placed in proper hosts, allocated adequate resources in terms of processing power, memory, bandwidth, and routed such that the constraints of the hosts and the network are met. This is a complex problem to solve if one considers the diverse set of requirements of 5G services. We tackle this problem by proposing a UML-based modeling and analysis framework, called UML5G Service Orchestration Profile, which allows one to describe 5G network slices and service orchestration via a specialized profile, and analyze as-sociated quality-of-service requirements by checking constraints expressed in Object Constraint Language. Our framework allows a designer to model any candidate orchestration scheme for 5G networks and verify if the network function placement, resource assignment, and routing guarantee the application's quality-of-service requirements, at design time. We evaluate the framework on a prototype implementation of an orchestration algorithm that generates a multitude of allocation configurations that we automatically check against requirements formalized in Object Constraint Language. Our contribution facilitates modeling and design-time evaluation of network slicing and service orchestration schemes in 5G-based solutions.

Place, publisher, year, edition, pages
IEEE Computer Society, 2020
Keywords
5G, Network Slicing, Service Orchestration, UML 2.0, UML5G Service Orchestration profile, Function evaluation, Modeling languages, Network function virtualization, Network routing, Quality control, Quality of service, Queueing networks, Software engineering, Telecommunication services, Transfer functions, Application requirements, Model and analysis, Network functions, Object Constraint Language, Prototype implementations, Resource assignment, Service Level Agreements, 5G mobile communication systems
National Category
Computer Sciences
Identifiers
urn:nbn:se:mdh:diva-53699 (URN)10.1109/APSEC51365.2020.00021 (DOI)000662668700014 ()2-s2.0-85102337419 (Scopus ID)9781728195537 (ISBN)
Conference
27th Asia-Pacific Software Engineering Conference, APSEC 2020, 1 December 2020 through 4 December 2020
Available from: 2021-03-25 Created: 2021-03-25 Last updated: 2021-09-18Bibliographically approved
Kunnappilly, A., Marinescu, R. & Seceleanu, C. (2019). A Model-Checking-Based Framework For Analyzing Ambient Assisted Living Solutions. Sweden
Open this publication in new window or tab >>A Model-Checking-Based Framework For Analyzing Ambient Assisted Living Solutions
2019 (English)Report (Refereed)
Place, publisher, year, edition, pages
Sweden: , 2019
National Category
Embedded Systems
Identifiers
urn:nbn:se:mdh:diva-42920 (URN)
Note

Since modern ambient assisted living solutions integrate a multitude of assisted-living functionalities within a common design framework, some are safety-critical, it is desirable that these systems are analyzed already at their design stage to detect possible errors. To achieve this, one needs suitable architectures that support the seamless design of the integrated assisted-living functions, as well as capabilities for the formal modeling and analysis of the architecture. In this paper, we attempt to address this need, by proposing a generic integrated ambient assisted living system architecture, consisting of sensors, data-collector, local and cloud processing schemes, and an intelligent decision support system, which can be easily extended to suite specific architecture categories. Our solution is customizable, therefore, we show three instantiations of the generic model, as simple, intermediate and complex configuration, respectively, and show how to analyze the first and third categories by model checking. Our approach starts by specifying the architecture, using an architecture description language, in our case, the Architecture Analysis and Design Language that can also account for the probabilistic behavior of such systems. To enable formal analysis, we describe the semantics of the simple and complex categories as stochastic timed automata. The former we model check exhaustively with UPPAAL, whereas for the latter we employ statistical model checking using UPPAAL SMC, the statistical extension of UPPAAL, for scalability reasons.

Available from: 2019-03-14 Created: 2019-03-14 Last updated: 2019-06-11Bibliographically approved
Kunnappilly, A., Marinescu, R. & Seceleanu, C. (2019). A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions. Sensors, 19(22)
Open this publication in new window or tab >>A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions
2019 (English)In: Sensors, E-ISSN 1424-8220, Vol. 19, no 22Article in journal (Refereed) Published
Abstract [en]

Since modern ambient assisted living solutions integrate a multitude of assisted-living functionalities, out of which some are safety critical, it is desirable that these systems are analyzed at their design stage to detect possible errors. To achieve this, one needs suitable architectures that support the seamless design of the integrated assisted-living functions, as well as capabilities for the formal modeling and analysis of the architecture. In this paper, we attempt to address this need, by proposing a generic integrated ambient assisted living system architecture, consisting of sensors, data collection, local and cloud processing schemes, and an intelligent decision support system, which can be easily extended to suit specific architecture categories. Our solution is customizable, therefore, we show three instantiations of the generic model, as simple, intermediate, and complex configurations, respectively, and show how to analyze the first and third categories by model checking. Our approach starts by specifying the architecture, using an architecture description language, in our case, the Architecture Analysis and Design Language, which can also account for the probabilistic behavior of such systems, and captures the possibility of component failure. To enable formal analysis, we describe the semantics of the simple and complex architectures within the framework of timed automata. We show that the simple architecture is amenable to exhaustive model checking by employing the UPPAAL tool, whereas for the complex architecture we resort to statistical model checking for scalability reasons. In this case, we apply the statistical extension of UPPAAL, namely UPPAAL SMC. Our work paves the way for the development of formally assured future ambient assisted living solutions.

Place, publisher, year, edition, pages
NLM (Medline), 2019
Keywords
ambient assisted living, Architecture Analysis and Design Language, statistical model checking, UPPAAL SMC
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-46214 (URN)10.3390/s19225057 (DOI)000503381500235 ()31752450 (PubMedID)2-s2.0-85075442718 (Scopus ID)
Available from: 2019-12-02 Created: 2019-12-02 Last updated: 2022-02-10Bibliographically approved
Kunnappilly, A. (2019). Formally Assured Intelligent Systems for Enhanced Ambient Assisted Living Support. (Licentiate dissertation). Västerås: Mälardalen University
Open this publication in new window or tab >>Formally Assured Intelligent Systems for Enhanced Ambient Assisted Living Support
2019 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

Ambient Assisted Living (AAL) solutions are aimed to assist the elderly in their independent and safe living. During the last decade, the AAL field has witnessed a significant development due to advancements in Information and Communication Technologies, Ubiquitous Computing and Internet of Things. However, a closer look at the existing AAL solutions shows that these improvements are used mostly to deliver one or a few functions mainly of the same type (e.g. health monitoring functions). There are comparatively fewer initiatives that integrate different kinds of AAL functionalities, such as fall detection, reminders, fire alarms, etc., besides health monitoring, into a common framework, with intelligent decision-making that can thereby offer enhanced reasoning by combining multiple events. 

 

To address this shortage, in this thesis, we propose two different categories of AAL architecture frameworks onto which different functionalities, chosen based on user preferences, can be integrated. One of them follows a centralized approach, using an intelligent Decision Support System (DSS), and the other, follows a truly distributed approach, involving multiple intelligent agents. The centralized architecture is our initial choice, due to its ease of development by combining multiple functionalities with a centralized DSS that can assess the dependency between multiple events in real time. While easy to develop, our centralized solution suffers from the well-known single point of failure, which we remove by adding a redundant DSS. Nevertheless, the scalability, flexibility, multiple user accesses, and potential self-healing capability of the centralized solution are hard to achieve, therefore we also propose a distributed, agent-based architecture as a second solution, to provide the community with two different AAL solutions that can be applied depending on needs and available resources. Both solutions are to be used in safety-critical applications, therefore their design-time assurance, that is, providing a guarantee that they meet functional requirements and deliver the needed quality-of-service, is beneficial. 

 

Our first solution is a generic architecture that follows the design of many commercial AAL solutions with sensors, a data collector, DSS, security and privacy, database (DB) systems, user interfaces (UI), and cloud computing support. We represent this architecture in the Architecture Analysis and Design Language (AADL) via a set of component patterns that we propose. The advantage of using patterns is that they are easily re-usable when building specific AAL architectures. Our patterns describe the behavior of the components in the Behavioral Annex of AADL, and the error behavior in AADL's Error Annex. We also show various instantiations of our generic model that can be developed based on user requirements. To formally assure these solutions against functional, timing and reliability requirements, we show how we can employ exhaustive model checking using the state-of-art model checker, UPPAAL, and also statistical model-checking techniques with UPPAAL SMC, an extension of the UPPAAL model checker for stochastic systems, which can be employed in cases when exhaustive verification does not scale. The second proposed architecture is an agent-based architecture for AAL systems, where agents are intelligent entities capable of communicating with each other in order to decide on an action to take. Therefore, the decision support is now distributed among agents and can be used by multiple users distributed across multiple locations. Due to the fact that this solution requires describing agents and their interaction, the existing core AADL does not suffice as an architectural framework. Hence, we propose an extension to the core AADL language - The Agent Annex, with formal semantics as Stochastic Transition Systems, which allows us to specify probabilistic, non-deterministic and real-time AAL system behaviors. In order to formally assure our multi-agent system, we employ the state-of-art probabilistic model checker PRISM, which allows us to perform probabilistic yet exhaustive verification.

 

As a final contribution, we also present a small-scale validation of an architecture of the first category, with end users from three countries (Romania, Poland, Denmark). This work has been carried out with partners from the mentioned countries. 

 

Our work in this thesis paves the way towards the development of user-centered, intelligent ambient assisted living solutions with ensured quality of service.

Place, publisher, year, edition, pages
Västerås: Mälardalen University, 2019
Series
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 278
National Category
Embedded Systems
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-42922 (URN)978-91-7485-425-1 (ISBN)
Presentation
2019-04-15, Milos, Mälardalens högskola, Västerås, 13:30 (English)
Opponent
Supervisors
Available from: 2019-03-19 Created: 2019-03-14 Last updated: 2019-04-01Bibliographically approved
Kunnappilly, A. (2018). A formally assured intelligent ecosystem for enhanced ambient assisted living support. In: Proceedings of the ACM Symposium on Applied Computing: . Paper presented at 33rd Annual ACM Symposium on Applied Computing, SAC 2018, 9 April 2018 through 13 April 2018 (pp. 1581-1582).
Open this publication in new window or tab >>A formally assured intelligent ecosystem for enhanced ambient assisted living support
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. 

National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-40370 (URN)10.1145/3167132.3167456 (DOI)000455180700224 ()2-s2.0-85050544331 (Scopus ID)9781450351911 (ISBN)
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
Danielsson, J., Tsog, N. & Kunnappilly, A. (2018). A systematic mapping study on real-Time cloud services. In: Proceedings - 11th IEEE/ACM International Conference on Utility and Cloud Computing Companion, UCC Companion 2018: . Paper presented at 11th IEEE/ACM International Conference on Utility and Cloud Computing Companion, UCC Companion 2018; Zurich; Switzerland; 17 December 2018 through 20 December 2018 (pp. 245-251). Institute of Electrical and Electronics Engineers Inc., Article ID 8605787.
Open this publication in new window or tab >>A systematic mapping study on real-Time cloud services
2018 (English)In: Proceedings - 11th IEEE/ACM International Conference on Utility and Cloud Computing Companion, UCC Companion 2018, Institute of Electrical and Electronics Engineers Inc. , 2018, p. 245-251, article id 8605787Conference paper, Published paper (Refereed)
Abstract [en]

Cloud computing is relatively a new technique to host and use the services and applications from the internet. Although it offers a multitude of advantages like scalability, low operating cost, accessibility and maintainability, etc., they are often not utilized to the fullest due to the lack of timeliness property associated with the cloud. Cloud services are mainly designed to maximize throughput and utilization of resources and hence incorporating predictable execution time properties in to the cloud is arduous. Nevertheless, cloud still remains a highly attractive platform for hosting real-Time applications and services owing to features like elasticity, multi-Tenancy, ability to survive hardware failures, virtualization support and abstraction layer support which provides flexibility and portability. In order for real-Time safety-critical applications to exploit the potential of cloud computing, it is essential to ensure the predictable real-Time behavior of cloud services. In this paper, we perform a systematic mapping study on real-Time cloud services to identify the current research directions and potential research gaps. Our study focuses on analyzing the current architectures and software techniques that are available at present to incorporate real-Time property of the cloud services. We also aim at investigating the current challenges involved in realizing a predictable real-Time behavior of cloud services. 

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers Inc., 2018
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-42812 (URN)10.1109/UCC-Companion.2018.00063 (DOI)000458720100047 ()2-s2.0-85061834817 (Scopus ID)9781728103594 (ISBN)
Conference
11th IEEE/ACM International Conference on Utility and Cloud Computing Companion, UCC Companion 2018; Zurich; Switzerland; 17 December 2018 through 20 December 2018
Available from: 2019-02-28 Created: 2019-02-28 Last updated: 2022-11-08Bibliographically approved
Awada, I. A., Cramariuc, O., Mocanu, I., Seceleanu, C., Kunnappilly, A. & Florea, A. M. (2018). An end- user perspective on the CAMI Ambient and Assisted Living Project. In: INTED2018 Proceedings: . Paper presented at 12th annual International Technology, Education and Development Conference INTED 2018, 05 Mar 2018, Valencia, Spain (pp. 6776-6785).
Open this publication in new window or tab >>An end- user perspective on the CAMI Ambient and Assisted Living Project
Show others...
2018 (English)In: INTED2018 Proceedings, 2018, p. 6776-6785Conference paper, Published paper (Refereed)
Abstract [en]

In this paper, we present the outcomes and conclusions obtained by involving seniors from three countries (Denmark, Poland and Romania) in an innovative project funded under the European Ambient Assisted Living (ALL) program. CAMI stands for "Companion with Autonomously Mobile Interface" in "Artificially intelligent ecosystem for self-management and sustainable quality of life in AAL". The CAMI solution enables flexible, scalable and individualised services that support elderly to self-manage their daily life and prolong their involvement in the society (sharing knowledge, continue working, etc). This also allows their informal caregivers (family and friends) to continue working and participating in society while caring for their loved ones. The solution is designed as an innovative architecture that allows for individualized, intelligent self-management which can be tailored to an individual's preferences and needs. A user-centred approach has ranked health monitoring, computer supervised physical exercises and voice based interaction among the top favoured CAMI functionalities. Respondents from three countries (Poland, Romania and Denmark) participated in a multinational survey and a conjoint analysis study.

Keywords
user-centred design, artificial intelligence, fall detection, exergames, vocal interface
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-38958 (URN)10.21125/inted.2018.1596 (DOI)000448704001118 ()978-84-697-9480-7 (ISBN)
Conference
12th annual International Technology, Education and Development Conference INTED 2018, 05 Mar 2018, Valencia, Spain
Projects
CAMI - Artificially intelligent ecosystem for self-management and sustainable quality of life in AAL (Ambient Assisted Living)
Available from: 2018-05-15 Created: 2018-05-15 Last updated: 2020-11-16Bibliographically approved
Organisations

Search in DiVA

Show all publications