Engineering Smart Software Services for Intelligent Pervasive Systems

Pervasive computing systems, envisioned as systems that blend with the physical environment to enhance the quality of life of its users, are rapidly becoming a not so distant reality. However, many challenges must be addressed before realizing the goal of having such computing systems as part of our everyday life. One such challenge is related to the problem of how to develop in a systematic way the software that lies behind pervasive systems, operating them and allowing them to intelligently adapt both to users' changing needs and to variations in the environment. In spite of the important strides done in recent years concerning the engineering of software that places the actual, immediate needs and preferences of users in the center of attention, to the best of our knowledge no work has been devoted to the study of the engineering process for building software for pervasive systems. In this dissertation we focus on the engineering process to build smart software services for pervasive systems. Specifically, we first introduce as our first major contribution a model for the systematic construction of software for pervasive systems, which has been derived using analytical, evidence-based, and empirical methodologies. Then, on the basis of the proposed model, we investigate two essential mechanisms that provide support for the engineering of value-added software services for smart environments, namely the learning of users' daily routines and the continuous identification of users. For the case of learning users' daily routines, we propose what is our second main contribution: a novel approach that discovers periodic-frequent routines in event data from sensors and smart devices deployed at home. For the continuous identification of users we propose what is our third major contribution: a novel approach based on behavioral biometrics which is able to recognize identities without requiring any specific gesture, action, or activity from the users. The two approaches proposed have been extensively evaluated through studies in the lab, based on synthetic data, and in the wild, showing that they can be effectively applied to different scenarios and environments. In sum, the engineering model proposed in this dissertation is expected to serve as a basis to further the research and development efforts in key aspects that are necessary to build value-added smart software services that bring pervasive systems closer to the way they have been envisioned. Furthermore, the approaches proposed for learning users' daily routines and recognizing users' identities in smart environments are aimed at contributing to the investigation and development of the data analytics technology necessary for the smart adaptation and evolution of the software in pervasive systems to users' needs

A Mediation Framework for Mobile Web Service Provisioning

Web Services and mobile data services are the newest trends in information systems engineering in wired and wireless domains, respectively. Web Services have a broad range of service distributions while mobile phones have large and expanding user base. To address the confluence of Web Services and pervasive mobile devices and communication environments, a basic mobile Web Service provider was developed for smart phones. The performance of this Mobile Host was also analyzed in detail. Further analysis of the Mobile Host to provide proper QoS and to check Mobile Host's feasibility in the P2P networks, identified the necessity of a mediation framework. The paper describes the research conducted with the Mobile Host, identifies the tasks of the mediation framework and then discusses the feasible realization details of such a mobile Web Services mediation framework.Comment: Proceedings of 2006 Middleware for Web Services (MWS 2006) Workshop @ 10th International IEEE EDOC Conference "The Enterprise Computing Conference", October 16, 2006, pp. 14-17. IEEE Computer Societ

Introduction to the Selected Papers from ICCPS 2016

Since their inception more than a decade ago, terms such as “cyber-physical systems” (CPS) or “cooperating objects” have come to describe research and engineering efforts that tightly conjoin real-world physical processes and computing systems. The integration of physical processes and computing is not new; embedded computing systems have been in place for decades controlling physical processes. The revolution is steaming from the extensive networking of embedded computing devices and the holistic cyber-physical co-design that integrates sensing, actuation, computation, networking, and physical processes. Such systems pose many broad scientific and technical challenges, ranging from distributed programming paradigms to networking protocols, as well as systems theory that combines physical models and networked embedded systems. Notably, as the physical interactions imply that timing requirements are considered, real-time computing systems methodologies and technologies are also pivotal in many of those systems. Moreover, many of these systems are often safety-critical, and therefore it is fundamental to guarantee other nonfunctional properties (such as safety, security, and reliability), which often interplay among them and with timeliness requirements. CPS is a growing key strategic research, development, and innovation area, and it is becoming pivotal for boosting the development of the future generation of highly complex and automated computing systems, which will be pervasive in virtually all application domains. Notable examples are aeronautics, aerospace and defence systems, robotics, autonomous transportation systems, the Internet of Things, energy-aware and green computing, smart factory automation, smart grids, and advanced medical devices and applications. This special issue contains a selection of extended versions of the best papers presented at the Seventh ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2016), which was held with the Cyber-Physical Systems Week in Vienna, Austria, on 11–14 April 2016. This selection reflects effectively the growing pervasiveness of these systems in various applications domains. These papers excel at describing the diversity of methodologies used to design and verify various non-functional properties of these complex systems.info:eu-repo/semantics/publishedVersio

Development of mobile indoor positioning system application using android and bluetooth low energy with trilateration method

This proceedings volume contains papers presented at the fifth International Conference on Soft Computing, Intelligent System and Information Technology (the 5th ICSIIT) held in Bali, Indonesia, 26-29 September 2017. Main theme of this international conference is �Building Intelligence through IoT and Big Data�, and it was organized and hosted by Informatics Engineering Department, Petra Christian University, Surabaya, Indonesia. The Program Committee received 106 submissions for the conference from across Indonesia and around the world. After peer-review process by at least two reviewers per paper, 64 papers were accepted and included in the proceedings. The papers were divided into ten groups: Classification and Correlation Techniques, Feature Extraction and Image Recognition Methods, Algorithms for Intelligent Computation, Distributed Systems and Computer Networks, Mobile and Pervasive IoT Applications, Assessments of Integrated IS/IT, Simulation and Virtual Reality Applications, Smart Assistive Technologies, Smart Mobile Applications, Case Studies of Knowledge Discovery and Management

Development of Interactive Learning Media for Simulating Human Blood Circulatory System

This proceedings volume contains papers presented at the fifth International Conference on Soft Computing, Intelligent System and Information Technology (the 5th ICSIIT) held in Bali, Indonesia, 26-29 September 2017. Main theme of this international conference is “Building Intelligence through IoT and Big Data”, and it was organized and hosted by Informatics Engineering Department, Petra Christian University, Surabaya, Indonesia. The Program Committee received 106 submissions for the conference from across Indonesia and around the world. After peer-review process by at least two reviewers per paper, 64 papers were accepted and included in the proceedings. The papers were divided into ten groups: Classification and Correlation Techniques, Feature Extraction and Image Recognition Methods, Algorithms for Intelligent Computation, Distributed Systems and Computer Networks, Mobile and Pervasive IoT Applications, Assessments of Integrated IS/IT, Simulation and Virtual Reality Applications, Smart Assistive Technologies, Smart Mobile Applications, Case Studies of Knowledge Discovery and Management

Development of Interactive Learning Media for Simulating Human Digestive System

This proceedings volume contains papers presented at the fifth International Conference on Soft Computing, Intelligent System and Information Technology (the 5th ICSIIT) held in Bali, Indonesia, 26-29 September 2017. Main theme of this international conference is “Building Intelligence through IoT and Big Data”, and it was organized and hosted by Informatics Engineering Department, Petra Christian University, Surabaya, Indonesia. The Program Committee received 106 submissions for the conference from across Indonesia and around the world. After peer-review process by at least two reviewers per paper, 64 papers were accepted and included in the proceedings. The papers were divided into ten groups: Classification and Correlation Techniques, Feature Extraction and Image Recognition Methods, Algorithms for Intelligent Computation, Distributed Systems and Computer Networks, Mobile and Pervasive IoT Applications, Assessments of Integrated IS/IT, Simulation and Virtual Reality Applications, Smart Assistive Technologies, Smart Mobile Applications, Case Studies of Knowledge Discovery and Management

Federated Embedded Systems – a review of the literature in related fields

This report is concerned with the vision of smart interconnected objects, a vision that has attracted much attention lately. In this paper, embedded, interconnected, open, and heterogeneous control systems are in focus, formally referred to as Federated Embedded Systems. To place FES into a context, a review of some related research directions is presented. This review includes such concepts as systems of systems, cyber-physical systems, ubiquitous computing, internet of things, and multi-agent systems. Interestingly, the reviewed fields seem to overlap with each other in an increasing number of ways

Augmented Worlds: a proposal for modelling and engineering pervasive mixed reality smart environments

In recent years, the remarkable technological advancement has revolutionised the ICT panorama offering nowadays the opportunity to exploit several technological convergences to reduce the gulf existing between the physical and the digital matter, between the physical real world and every computational software system or application. Along with Pervasive Computing - entered in the mainstream with the concept of Internet of Things (IoT) - Mixed Reality (MR) is going to be an essential ingredient for the design and development of next future smart environments. In particular, in such environments is feasible to imagine that the computation will drive the augmentation of the physical space, and software will also be executed in a cyber-physical world, eventually populated with of (interactive) holograms. After an initial exploration of the state of the art about augmentation technologies both for humans and the environment, in this dissertation we present the vision of Augmented Worlds (AW), a conceptual and a practical proposal for modelling and engineering next future pervasive mixed reality smart environments as distribute, multi-user and cooperative complex software systems. On the one hand, a meta-model is formalised and opportunely discussed to offer to the literature a conceptual tool for modelling AWs. On the other hand, also a concrete infrastructure - called MiRAgE - is designed and developed to produce a platform for engineering and deploy such innovative smart environments. The work carried out in this dissertation fits into the scientific literature and research of Pervasive Computing and Mixed Reality fields. Furthermore, part of the contribution is related also to the area of Cognitive Agents and Multi-Agent Systems, due to the AWs orientation to be deeply connected to a layer involving autonomous agents able to observe and act proactively in the smart environment