• Aucun résultat trouvé

Experimentation with Self-configuring Systems

N/A
N/A
Protected

Academic year: 2022

Partager "Experimentation with Self-configuring Systems"

Copied!
2
0
0

Texte intégral

(1)

Experimentation with Self-configuring Systems

Erik Kamsties1 and Fabian Kneer1

1University of Applied Science and Arts Dortmund, Emil-Figge-Strasse 42, 44227 Dortmund, Germany [email protected],[email protected]

1 Introduction

The Internet of Things (IoT) has received increased interest over the last years.

Objects of the real world (e.g., cars, traffic lights, buildings, mobile phones, etc.) become connected to the Internet. It is expected that self-configuration becomes an increasingly important subject with the IoT.

Self-configuring systems (SCS) adapt their behavior to changes in the envi- ronment by dynamically change properties, deploying components, or removing them for instance. For this purpose, SCS use policies provided by a requirements engineer.

SCS can be found in various application areas. Often, they are used in sit- uations, where maintenance activities cannot be carried out by a human. One reason is lack of time, e.g. the user expects instantaneous adaption to his needs, which is the case with service-oriented systems or some kinds of embedded sys- tems.

Runtime representations of requirements (e.g. feature or goal models) are used as policies for SCS. They describe runtime variation points and indicators that can lead to a new configuration.

This poster presents a proposal for experimentation with self-configuring sys- tems targeting at both researchers and practitioners in the field. The contribution from th RE perspective is a sandbox to study requirements at runtime.

2 Poster

Our proposal for experimentation consists of two parts, (1) a framework for prototyping a self-configuring system and (2) a case study for application.

Framework for Prototyping. The framework for prototyping is based on a feedback loop and an analysis of commonalities and differences of the approaches suggested for self-configuring systems, e.g., [1]. It is implemented in the Python programming language as it allows for a wide range of deployments and is fre- quently used for prototyping (yet not limited to that purpose).

The framework covers two stages (see Fig. 1). First adevelopment time stage for describing self-configuration requirements and other relevant entities. Sec- ond, aruntime stage that contains artifactsexecuted at runtime. Agenerator is

(2)

available to derive runtime artifacts such as monitoring rules from development time requirements.

A few approaches to self-configuration, e.g., based on feature models, are already implemented and thus can be used out of the box. Further can be added easily using Python.

Fig. 1.Framework for Prototyping Self-configuring Systems

Case Study. The aim of the case study is to provide a certain degree of complexity and to be easy to understand by users. We selected theSmart City domain as an instantiation of the Internet of Things andSmart Street Lighting as a subdomain to start with.

We developed a demonstrator to benchmark algorithms for self-configuration.

This demonstrator is a combination of real physical hardware (1:10 model of a street light) and a software simulation to simulate additional street lights. The street light is capable to spot moving vehicles to adapt the lighting and it detects parked vehicles to allow for management of parking spaces.

The street light employs a Raspberry Pi and has LEDs and a couple of sensors. Several street lights can be connected over wireless.

References

[1] N. Bencomo and A. Belaggoun. “Supporting Decision-Making for Self-Adaptive Systems: From Goal Models to Dynamic Decision Networks”. In:Require- ments Engineering: Foundation for Software Quality. Ed. by J. Doerr and A. Opdahl. Vol. 7830. Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2013, pp. 221–236.

Références

Documents relatifs

We surveyed the literature on metrics that are actually used to evaluate self- adaptive and self-configuring systems and identified the following metrics: (3) the number of

Failure detection for asynchronous distributed systems [2–6] requires timeout estimators which have: (a) fast convergence in such a way that it quickly learns the variations on

Later, in order to provide an equilibrium selection framework for the SE, we introduce the concept of effort or cost of satisfaction, for instance, in terms of transmit power

After analyzing several approaches on self-adaptive software systems and identifying adaptation properties, we propose a process for evaluating self-adaptation with which

In particular, S ALOON is based on feature models extended with cardinalities and attributes with constraints over them, together with a Cloud Knowledge Model used as entry point of

We have illustrated this principle by showing how linear logic focusing and logical equivalences can account for object-level proof systems based on sequent calculus, natural

Before obtaining the main address, the new node could chose one or more secondary addresses, if it were connected to other physical neighbor nodes which are not adjacent in

These actions model the arrival and departure of a node in a P2P system, or the physical moving of a robot by decomposing its movement as disconnection followed by connection