Towards Testing Self-organizing, Adaptive Systems

Eberhardinger, Benedikt; Seebach, Hella; Knapp, Alexander; Reif, Wolfgang

doi:10.1007/978-3-662-44857-1_13

Cited by 28 publications

(20 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Various interconnected optimisation problems in a highly dynamic environment need tools beyond the corridor of correct behaviour [2]. Analysis and testing activities have to cater the needs of self-organising systems [85] such that they truly excel at outperforming conventional systems in a reliable fashion.…”

Section: Discussionmentioning

confidence: 99%

Specification and Design of Trust-Based Open Self-Organising Systems

Anders

Siefert

Schiendorfer

et al. 2016

Trustworthy Open Self-Organising Systems

Self Cite

View full text Add to dashboard Cite

In open multi-agent systems, we can make only little assumptions about the system's scale, the behaviour of participating agents, and its environment. Especially with regard to mission-critical systems, the ability to deal with a large number of heterogeneous agents that are exposed to an uncertain environment becomes a major concern: Because failures can have massive consequences for people, industries, and public services, it is of utmost importance that such systems achieve their goals under all circumstances. A prominent example are power management systems whose paramount goal is to balance production and consumption. In this context, we tackle challenges comprising how to specify and design these systems to allow for their efficient and robust operation. Among other things, we introduce constraint-based specification techniques to address the system's heterogeneity and show trust models that allow to measure, anticipate, and deal with uncertainties. On this basis, we present algorithms for self-organisation and self-optimisation that enable the formation of scalable system structures at runtime and allow for efficient and robust resource allocation under adverse conditions. Throughout the chapter, the problem of balancing production and consumption in decentralised autonomous power management systems serves as a case study.

show abstract

Section: Discussionmentioning

confidence: 99%

Specification and Design of Trust-Based Open Self-Organising Systems

Anders

Siefert

Schiendorfer

et al. 2016

Trustworthy Open Self-Organising Systems

Self Cite

View full text Add to dashboard Cite

show abstract

Section: Discussionmentioning

confidence: 99%

Trustworthy Open Self-Organising Systems

Reif¹,

Anders²,

Seebach³

et al. 2016

View full text Add to dashboard Cite

The Autonomic Systems series aims at creating a platform of communication between universities and industry by publishing research monographs, outstanding PhD theses, and peer reviewed compiled contributions on the latest developments in the field. It covers a broad range of topics from the theory of autonomic systems that are researched by academia and industry. Hence, cutting-edge research, prototypical case studies, as well as industrial applications are in the focus of this series. Fast reviewing provides a most convenient way to publish latest results in this rapid moving research area. This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made. Printed on acid-free paperThis book is published under the trade name Birkhäuser The registered company is Springer International Publishing AG Switzerland (www.birkhauser-science.com) ForewordOC-Trust, this is an acronym representing a research cooperation that addressed one of the core challenges of the emerging digitalisation of almost every facet of our professional and private lives. How can we develop trust into the widely autonomous provisioning of digital functionality and associated services? We expect those services to know what we want them to provide, but we are not physically capable and do not want to programme those multitudes of devices explicitly. So, we increasingly depend on their capability to self-configure, self-optimise, selfheal and self-protect, to name a few of the many so-called self-* properties. But how do we know to what extent they will actually satisfy our expectations? They should be aware of our personal preferences, but will they respect our privacy? If agents act autonomously, how can their operating environment distinguish between trustworthy and malicious agents? This kind of almost contradictory questions and requirements is concerned with the trustworthiness of artefacts that are meant to be self-organising and widely autonomous but nevertheless capable to adapt to potentially changing requirements...

show abstract

“…Thus, common test case selection strategies relying on structured program behavior cannot be used. 3. Automation of test execution and evaluation is a keystone for the success, since this is the only way to execute the large test suites.…”

Section: Introductionmentioning

confidence: 99%

Back-to-Back Testing of Self-organization Mechanisms

Eberhardinger

Habermaier

Seebach

et al. 2016

Testing Software and Systems

Self Cite

View full text Add to dashboard Cite

When developing SO mechanisms, mapping requirements to actual designs and implementations demands a lot of expertise. Among other things, it is important to define the right degree of freedom for the system that allows for self-organization. Back-to-back testing supports this hard engineering task by an adequate testing method helping to reveal failures in this design and implementation procedure. Within this paper we propose a model-based approach for back-to-back testing. The approach is built on top of the S# framework and integrated into the Visual Studio development environment, enabling the creation of executable test models with comprehensive tooling support for model debugging. By applying the concepts to a self-organizing production cell, we show how it is used to fully automatically reveal faults of a SO mechanism.

show abstract

Towards Testing Self-organizing, Adaptive Systems

Cited by 28 publications

References 11 publications

Specification and Design of Trust-Based Open Self-Organising Systems

Specification and Design of Trust-Based Open Self-Organising Systems

Trustworthy Open Self-Organising Systems

Back-to-Back Testing of Self-organization Mechanisms

Contact Info

Product

Resources

About