Authentication and authorisation in entrusted unions

This paper reports on the status of a project whose aim is to implement and demonstrate in a real-life environment an integrated eAuthentication and eAuthorisation framework to enable trusted collaborations and delivery of services across different organisational/governmental jurisdictions. This aim will be achieved by designing a framework with assurance of claims, trust indicators, policy enforcement mechanisms and processing under encryption to address the security and confidentiality requirements of large distributed infrastructures. The framework supports collaborative secure distributed storage, secure data processing and management in both the cloud and offline scenarios and is intended to be deployed and tested in two pilot studies in two different domains, viz, Bio-security incident management and Ambient Assisted Living (eHealth). Interim results in terms of security requirements, privacy preserving authentication, and authorisation are reported

Fine-tuning a context-aware system application by using user-centred design methods

Context-Aware Systems in the home environment can provide an effective solution for supporting wellbeing and autonomy for the elderly. The definition and implementation of the system architecture for a particular assisted living healthcare application entail both technological and usability challenges. If issues regarding users’ concerns and desires are taken into account in the early stages of the system development users can benefit substantially more from this technology. In this paper, we describe our initial experiences with different user-centred design methods, as they are applied in the process of fine-tuning a context-aware system architecture to improve quality of life for elderly THR patients (Total Hip Replacement). The insights resulting from this approach result in a clearer functional specification towards a better fit with the user needs regarding information need of the patient as well as the physiotherapist. Important system requirements as timing and content of the feedback are much more fruitful in an earlier phase of the development process. User-centred design methods help to better understand the needed functional features of a context-aware system, thereby saving time and helping developers to improve adoption of the system by the users

Surveying human habit modeling and mining techniques in smart spaces

A smart space is an environment, mainly equipped with Internet-of-Things (IoT) technologies, able to provide services to humans, helping them to perform daily tasks by monitoring the space and autonomously executing actions, giving suggestions and sending alarms. Approaches suggested in the literature may differ in terms of required facilities, possible applications, amount of human intervention required, ability to support multiple users at the same time adapting to changing needs. In this paper, we propose a Systematic Literature Review (SLR) that classifies most influential approaches in the area of smart spaces according to a set of dimensions identified by answering a set of research questions. These dimensions allow to choose a specific method or approach according to available sensors, amount of labeled data, need for visual analysis, requirements in terms of enactment and decision-making on the environment. Additionally, the paper identifies a set of challenges to be addressed by future research in the field

Early Analysis of Ambient Systems SysML Properties using OMEGA2-IFx

International audienceFormal methods provide tools to verify the consistency and correctness of a specification with respect to the desired properties of the system. This verification is important as the development of an AAL (Ambient Assisted Living) system involves different technologies (medical services, surveillance cameras, intelligent devices, etc.) requiring a strong consistency checking between models. We illustrate in this paper how we prove some of the properties of the system before the development even starts. To model the AAL system, we use the SysML language. In terms of tools, we used Rational Rhapsody in combination with the OMEGA2 profile which is an executable Uml/SysML profile used for the formal specification and validation of critical real-time systems. This profile is supported by the IFx toolset which provides mechanisms for the model simulation and properties verification of the AAL system

Achieving Adaptive Augmented Reality through Ontological Context-Awareness applied to AAL Scenarios

This paper presents a proposal for supporting daily user needs by simple interactions with the environment through an augmented-reality perspective that applies proactive adaptation through knowledge representation using ontologies. The proposed architecture (i-ARA) uses principles of the Semantic Web that endow context-awareness and user personalization. In addition, these types of services allow the supervision and management of what is happening in the environment and, consequently, improve the information offered to users. The architecture has been used to implement applications using iPhone technology and has been applied to illustrative scenarios, including Ambient Assisted Living.This paper presents a proposal for supporting daily user needs by simple interactions with the environment through an augmented-reality perspective that applies proactive adaptation through knowledge representation using ontologies. The proposed architecture (i-ARA) uses principles of the Semantic Web that endow context-awareness and user personalization. In addition, these types of services allow the supervision and management of what is happening in the environment and, consequently, improve the information offered to users. The architecture has been used to implement applications using iPhone technology and has been applied to illustrative scenarios, including Ambient Assisted Living

The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility

The Distributed Ontology Language (DOL) is currently being standardized within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37/SC 3. It aims at providing a unified framework for (1) ontologies formalized in heterogeneous logics, (2) modular ontologies, (3) links between ontologies, and (4) annotation of ontologies. This paper presents the current state of DOL's standardization. It focuses on use cases where distributed ontologies enable interoperability and reusability. We demonstrate relevant features of the DOL syntax and semantics and explain how these integrate into existing knowledge engineering environments.Comment: Terminology and Knowledge Engineering Conference (TKE) 2012-06-20 to 2012-06-21 Madrid, Spai

Design-time formal verification for smart environments: an exploratory perspective

Smart environments (SmE) are richly integrated with multiple heterogeneous devices; they perform the operations in intelligent manner by considering the context and actions/behaviors of the users. Their major objective is to enable the environment to provide ease and comfort to the users. The reliance on these systems demands consistent behavior. The versatility of devices, user behavior and intricacy of communication complicate the modeling and verification of SmE's reliable behavior. Of the many available modeling and verification techniques, formal methods appear to be the most promising. Due to a large variety of implementation scenarios and support for conditional behavior/processing, the concept of SmE is applicable to diverse areas which calls for focused research. As a result, a number of modeling and verification techniques have been made available for designers. This paper explores and puts into perspective the modeling and verification techniques based on an extended literature survey. These techniques mainly focus on some specific aspects, with a few overlapping scenarios (such as user interaction, devices interaction and control, context awareness, etc.), which were of the interest to the researchers based on their specialized competencies. The techniques are categorized on the basis of various factors and formalisms considered for the modeling and verification and later analyzed. The results show that no surveyed technique maintains a holistic perspective; each technique is used for the modeling and verification of specific SmE aspects. The results further help the designers select appropriate modeling and verification techniques under given requirements and stress for more R&D effort into SmE modeling and verification researc

An ontology for human-machine computation workflow specification

Lately, a focus has been given to the re-usability of workflow defini-tions and to flexible and re-usable workflow components, culminating with ap-proaches that harness the benefits of the enriched semantics provided by ontol-ogies. Following this trend and the needs of multiple application domains, such as micro-task crowdsourcing and ambient assisted living, of incorporating co-operation between the efforts of human and machine entities, this paper propos-es an ontology and process for the definition, instantiation and execution of se-mantically enriched workflows.This work is partially funded by FEDER Funds and by the ERDF (European Regional Development Fund) through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT (Portuguese Foundation for Science and Technology) under the projects AAL4ALL (QREN13852) and FCOMP-01-0124-FEDER-028980 (PTDC/EEI-SII/1386/2012)