Proceedings of the 2012 Workshop on Ambient Intelligence Infrastructures (WAmIi)

This is a technical report including the papers presented at the Workshop on Ambient Intelligence Infrastructures (WAmIi) that took place in conjunction with the International Joint Conference on Ambient Intelligence (AmI) in Pisa, Italy on November 13, 2012. The motivation for organizing the workshop was the wish to learn from past experience on Ambient Intelligence systems, and in particular, on the lessons learned on the system architecture of such systems. A significant number of European projects and other research have been performed, often with the goal of developing AmI technology to showcase AmI scenarios. We believe that for AmI to become further successfully accepted the system architecture is essential

Proceedings of the 2012 Workshop on Ambient Intelligence Infrastructures (WAmIi)

This is a technical report including the papers presented at the Workshop on Ambient Intelligence Infrastructures (WAmIi) that took place in conjunction with the International Joint Conference on Ambient Intelligence (AmI) in Pisa, Italy on November 13, 2012. The motivation for organizing the workshop was the wish to learn from past experience on Ambient Intelligence systems, and in particular, on the lessons learned on the system architecture of such systems. A significant number of European projects and other research have been performed, often with the goal of developing AmI technology to showcase AmI scenarios. We believe that for AmI to become further successfully accepted the system architecture is essential

Design of Cloud Robotic Services for Senior Citizens to Improve Independent Living and Personal Health Management

A cloud robotics solution was designed and initially tested with a mobile robotic platform and a smart environment, in order to provide health-care management services to senior citizens and improve their independent living. The solution was evaluated in terms of Quality of Service (QoS) and tested in the realistic scenario of the DomoCasa Living Lab, Peccioli, Italy. In particular, a medication reminding service, a remote home monitoring and a user indoor localization algorithm were outsourced in the cloud and provided to the robots, users and carers. The system acquired data from a smart environment and addressed the robot to the user for service delivery. Experiments showed a service's Reliability of Response at least of the 0.04 % and a Time of Response of the same order of magnitude of the processing time required by the user localization algorithm

A Planner for Ambient Assisted Living: From High-Level Reasoning to Low-Level Robot Execution and Back

Robot ecologies are a growing paradigm in which one or several robotic systems are integrated into a smart environment. Robotic ecologies hold great promises for elderly assistance. Planning the activities of these systems, however, is not trivial, and requires consideration of issues like temporal and information dependencies among different parts of the ecology, exogenous actions, and multiple, dynamic goals. We describe a planner able to cope with the above challenges. We show in particular how this planner has been incorporated in closed-loop into a full robotic system that performs daily tasks in support of elderly people. The full robot ecology is deployed in a test apartment inside a real residential building, and it is currently undergoing an extensive user evaluation

A probablistic analysis of the Game of the Goose

We analyse the traditional board game the Game of the Goose. We are particularly interested in the probability of the different players to win. We show that we can determine these probabilities for up to six players. Our original motivation to investigate this game came from progress in stochastic process theories which prompted us to ask ourselves whether those methods are capable of dealing with well known probabilistic games. As these games have large state spaces, this is not trivial. As a side effect we found that common wisdom about this game is not true

Development of a Socially Believable Multi-Robot Solution from Town to Home

Technological advances in the robotic and ICT fields represent an effective solution to address specific societal problems to support ageing and independent life. One of the key factors for these technologies is that they have to be socially acceptable and believable to the end-users. This paper aimed to present some technological aspects that have been faced to develop the Robot-Era system, a multi-robotic system that is able to act in a socially believable way in the environments daily inhabited by humans, such as urban areas, buildings and homes. In particular, this paper focuses on two services—shopping delivery and garbage collection—showing preliminary results on experiments conducted with 35 elderly people. The analysis adopts an end-user-oriented perspective, considering some of the main attributes of acceptability: usability, attitude, anxiety, trust and quality of life

Software engineering : redundancy is key

Software engineers are humans and so they make lots of mistakes. Typically 1 out of 10 to 100 tasks go wrong. The only way to avoid these mistakes is to introduce redundancy in the software engineering process. This article is a plea to consciously introduce several levels of redundancy for each programming task. Depending on the required level of correctness, expressed in a residual error probability (typically 10-3 to 10-10), each programming task must be carried out redundantly 4 to 8 times. This number is hardly influenced by the size of a programming endeavour. Training software engineers does have some effect as non trained software engineers require a double amount of redundant tasks to deliver software of a desired quality. More compact programming, for instance by using domain specific languages, only reduces the number of redundant tasks by a small constant

Ontologies in domain specific languages : a systematic literature review

The systematic literature review conducted in this paper explores the current techniques employed to leverage the development of DSLs using ontologies. Similarities and differences between ontologies and DSLs, techniques to combine DSLs with ontologies, the rationale of these techniques and challenges in the DSL approaches addressed by the used techniques have been investigated. Details about these topics have been provided for each relevant research paper that we were able to investigate in the limited amount of time of one month. At the same time, a synthesis describing the main trends in all the topics mentioned above has been done

Improving the performance of trickle-based data dissemination in low-power networks

Trickle is a polite gossip algorithm for managing communication traffic. It is of particular interest in low-power wireless networks for reducing the amount of control traffic, as in routing protocols (RPL), or reducing network congestion, as in multicast protocols (MPL). Trickle is used at the network or application level, and relies on up-to-date information on the activity of neighbors. This makes it vulnerable to interference from the media access control layer, which we explore in this paper. We present several scenarios how the MAC layer in low-power radios violates Trickle timing. As a case study, we analyze the impact of CSMA/CA with ContikiMAC on Trickle's performance. Additionally, we propose a solution called Cleansing that resolves these issues

Evolution specification evaluation in industrial MDSE ecosystems

Domain-specific languages (DSLs) allow users to model systems using concepts from a specific domain. Evolution of DSLs triggers co-evolution of models developed in these languages. When the number of models that needs to co-evolve increases, so does the required effort to do so. This is called the co-evolution problem. We have investigated the extent of the co-evolution problem at ASML [1], provider of lithography equipment for the semiconductor industry. Here we have described the structure and evolution of a large-scale ecosystem of DSLs. We have observed that due to the large number of artifacts that require coevolutionary activity, manual solutions have become unfeasible, and an automated approach is required. A popular approach for automating co-evolution is the operator-based approach. In this paper we have evaluated the operator-based approach on a large-scale industrial case-study of twenty-two DSLs and 95 model-to-model transformations with a revision history of over three years, and have revealed deficiencies in existing operator libraries. To address these deficiencies we have presented a topdown methodology to derive a complete set of operators