Home PURPOSE OF THE CENTER: To develop the center to address state-of-the-art research, create innovating educational programs, and support technology transfers using commercially viable results to assist the Army Research Laboratory to develop the next generation Future Combat System in the telecommunications sector that assures prevention of perceived threats, and Non Line of Sight/Beyond Line of Sight lethal support.

How to… home page

The Internet of Things is a paradigm where everyday objects can be equipped with identifying, sensing, networking and processing capabilities that will allow them to communicate with one another and with other devices and services over the Internet to accomplish some objective. Ultimately, IoT devices will be ubiquitous, context-aware and will enable ambient intelligence. This article reports on the current state of research on the Internet of Things by examining the literature, identifying current trends, describing challenges that threaten IoT diffusion, presenting open research questions and future directions and compiling a comprehensive reference list to assist researchers.

The Internet of Things--A survey of topics and trends

An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness. In addition, a translator is provided to automatically generate a complete, robust software application based on the validated formal specification, including user-interface code and error handling code.

Automatic software production system

Review: An overview of the Internet of Things for people with disabilities

Published research on smart homes and their users is growing exponentially, yet a clear understanding of who these users are and how they might use smart home technologies is missing from a field being overwhelmingly pushed by technology developers. Through a systematic analysis of peer-reviewed literature on smart homes and their users, this paper takes stock of the dominant research themes and the linkages and disconnects between them. Key findings within each of nine themes are analysed, grouped into three: (1) views of the smart home--functional, instrumental, socio-technical; (2) users and the use of the smart home--prospective users, interactions and decisions, using technologies in the home; and (3) challenges for realising the smart home--hardware and software, design, domestication. These themes are integrated into an organising framework for future research that identifies the presence or absence of cross-cutting relationships between different understandings of smart homes and their users. The usefulness of the organising framework is illustrated in relation to two major concerns--privacy and control--that have been narrowly interpreted to date, precluding deeper insights and potential solutions. Future research on smart homes and their users can benefit by exploring and developing cross-cutting relationships between the research themes identified.

Smart homes and their users: a systematic analysis and key challenges

Our research shows that autonomic behavior can be achieved by leveraging variability models at runtime. In this way, the modeling effort made at design time is not only useful for producing the system but also provides a richer semantic base for autonomic behavior during execution. The use of variability models at runtime brings new opportunities for autonomic capabilities by reutilizing the efforts invested at design time. Our proposed approach has two aspects: reuse of design knowledge to achieve AC and reuse of existing model-management technologies at runtime. We developed the Model-Based Reconfiguration Engine (MoRE) to implement model-management operations. Our research demonstrates the approach's feasibility for smart homes, especially for self-healing and -configuring capabilities.

Autonomic Computing through Reuse of Variability Models at Run-Time: The Case of Smart Homes.

Autonomic Computing through Reuse of Variability Models at Runtime: The Case of Smart Homes

This work presents an OO software production method that defines a systematic process for conceptual modelling of web applications. The paper discusses a set of minimum primitives to capture the essentials of dynamic web applications and it discusses how to introduce them in a classical model-centered OO method that provides systematic code generation. Finally, the paper presents some ideas to extend this generation process for developing web solutions taking as an input these web enhanced conceptual schemas.

Development of Web applications from Web enhanced conceptual schemas

Development of Web Applications from Web Enhanced Conceptual Schemas

Increasingly, software needs to dynamically adapt its behavior at run-time in response to changing conditions in the supporting computing infrastructure and in the surrounding physical environment. This paper introduces an approach for the design of pervasive SPLs that is based on model driven development (MDD) and Variability Modeling principles. Variability models are interpreted at run-time to reconfigure pervasive systems according to fluctuations in the environment. This approach helps to improve Pervasive SPLs to produce software that adapts itself in an autonomic way. We have developed an adaptive pervasive system for smart homes to validate this approach.

/pdf/applying-software-product-lines-to-build-autonomic-pervasive-16nwa6lbyd.pdf

Joan Fons

Papers

Autonomic Computing through Reuse of Variability Models at Run-Time: The Case of Smart Homes.

Autonomic Computing through Reuse of Variability Models at Runtime: The Case of Smart Homes

Development of Web applications from Web enhanced conceptual schemas

Development of Web Applications from Web Enhanced Conceptual Schemas

Applying Software Product Lines to Build Autonomic Pervasive Systems