This special issue collects extended versions of four of the papers that have received the best scores during the review process of the 3rd IEEE International Conference on Autonomic Computing and Self- Organizing Systems (ACSOS 2022). In this introduction we are going to frame the papers in the general ACSOS context.

The research initiative “self-improving system integration” (SISSY) was established with the goal to master the ever-changing demands of system organisation in the presence of autonomous subsystems, evolving architectures, and highly-dynamic open environments. It aims to move integration-related decisions from design-time to run-time, implying a further shift of expertise and responsibility from human engineers to autonomous systems . This introduces a qualitative shift from existing self-adaptive and self-organising systems, moving from self-adaptation based on predefined variation types, towards more open contexts involving novel autonomous subsystems, collaborative behaviours, and emerging goals. In this article, we revisit existing SISSY research efforts and establish a corresponding terminology focusing on how SISSY relates to the broad field of integration sciences. We then investigate SISSY-related research efforts and derive a taxonomy of SISSY technology. This is concluded by establishing a research road-map for developing operational self-improving self-integrating systems.

In this article, we make the case for the new class of Self-aware Cyber-physical Systems. By bringing together the two established fields of cyber-physical systems and self-aware computing, we aim at creating systems with strongly increased yet managed autonomy, which is a main requirement for many emerging and future applications and technologies. Self-aware cyber-physical systems are situated in a physical environment and constrained in their resources, and they understand their own state and environment and, based on that understanding, are able to make decisions autonomously at runtime in a self-explanatory way. In an attempt to lay out a research agenda, we bring up and elaborate on five key challenges for future self-aware cyber-physical systems: (i) How can we build resource-sensitive yet self-aware systems? (ii) How to acknowledge situatedness and subjectivity? (iii) What are effective infrastructures for implementing self-awareness processes? (iv) How can we verify self-aware cyber-physical systems and, in particular, which guarantees can we give? (v) What novel development processes will be required to engineer self-aware cyber-physical systems? We review each of these challenges in some detail and emphasize that addressing all of them requires the system to make a comprehensive assessment of the situation and a continual introspection of its own state to sensibly balance diverse requirements, constraints, short-term and long-term objectives. Throughout, we draw on three examples of cyber-physical systems that may benefit from self-awareness: a multi-processor system-on-chip, a Mars rover, and an implanted insulin pump. These three very different systems nevertheless have similar characteristics: limited resources, complex unforeseeable environmental dynamics, high expectations on their reliability, and substantial levels of risk associated with malfunctioning. Using these examples, we discuss the potential role of self-awareness in both highly complex and rather more simple systems, and as a main conclusion we highlight the need for research on above listed topics.

This paper is about designing and constructing real-time systems, using mechanisms that support self-organization. Objects make a popular and convenient paradigm for keeping persistent data encapsulated with the operations that act on it, but they tend to omit what is arguably the most important aspect of real-time systems, which is time. There are other mechanisms that do model time, but few of them make time the central part of the programming model. In this short position paper, we offer two alternative(but complementary) approaches to modeling time (and other resource dependencies) in real-time systems, which should lead to more effective designs, since the timing and other interactions can be modeled sooner, and in any case, provide models with a different emphasis. We also make suggestions about the expressive language that can be used for the suggested kinds of modeling, and the infrastructure that underlies the process, which provides the computational reflection that enables self-organization.

No system in the real world can compute an appropriate response in reaction to every situation it encounters, or even most situations it is likely to encounter. Biological systems address this issue with four strategies: (1) a repertoire of already computed responses tied to a situation recognition process, (2) organized in a response-time hierarchy that allows a quick response to occur immediately, and one or more slower and more deliberate responses to begin at the same time, with (3) decision processes that allow one of them to take over after a little while, or that (4) merge several of them in a combined and possibly novel response. In this paper, we describe an approach to building self-adaptive computing systems that incorporates these strategies, to cope with their intended use in hazardous, remote, unknown, or otherwise difficult environments, in which it is known a priori that the system cannot keep up with all important events, and that “as fast as possible” is not appropriate for some interactions. The key to implementing these strategies is an abstraction/refinement hierarchy of behavioral models and processes at multiple levels of granularity and precision. The key to coordinating these different models is the collection of integrative mappings among them, which are developed along with the models, and used for managing system behavior. We also describe the system development process that we use to build such systems, which differs from conventional methods by taking the basic artifacts of development, considered as partial models of aspects of the system in its environment, and retains them all in a model hierarchy, which eventually becomes the definition of the run time system. We show how to implement such systems, explain why we think they are good candidates for real-time operational environments, and illustrate the method with an example implementation.

editorial Free AccessEditorial: Special issue on organic computing Authors: Rolf P. Würtz Ruhr-University Bochum Ruhr-University BochumView Profile , Kirstie L. Bellman The Aerospace Corporation The Aerospace CorporationView Profile , Hartmut Schmeck Karlsruhe Institute of Technology Karlsruhe Institute of TechnologyView Profile , Christian Igel Ruhr-University Bochum Ruhr-University BochumView Profile Authors Info & Claims ACM Transactions on Autonomous and Adaptive SystemsVolume 5Issue 3Article No.: 9pp 1–3https://doi.org/10.1145/1837909.1837910Published:30 September 2010Publication History 1citation369DownloadsMetricsTotal Citations1Total Downloads369Last 12 Months22Last 6 weeks4 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF

We discuss the following measurable characteristics of intelligent behavior in computing systems: (1) speed and scope of adaptability to unforeseen situations, including recognition, assessment, proposals, selection, and execution; (2) rate of effective learning of observations, behavior patterns, facts, tools, methods, etc., which requires identification, encapsulation, and recall; (3) accurate modeling and prediction of the relevant external environment, which includes the ability to make more effective abstractions, (4) speed and clarity of problem identification and formulation; (5) effective association and evaluation of disparate information; (6) identification of more important assumptions and prerequisites; and (7) the use of symbolic language, including the range and use of analogies and metaphors (this is about identification of similarities), and the invention of symbolic language, which includes creating effective notations. We make no claim that these are all the important characteristics; discovering others is the point of our research program.

This paper describes lessons we have learned over the last ten years from our "wrapping" approach to large-scale system development. Our research program in integration for constructed complex systems has led to several results with system engineering applications: the wrapping expression notation wrex for communication among distributed entities, the problem posing interpretation that inserts knowledge-based polymorphism into any programming language, and a new systematization of design patterns. We show how we implement wrappings and describe example applications. A little bit of this theory goes a long way, since it was designed for extremely large systems, such as space systems, with their hundreds of organizations, thousands of components, and millions of lines of code.

Computational embodiment is the computer implementation of principles of autonomy that allows software systems to exist in and interact with complex environments. We restrict our attention here to symbolic environments MUDs , as an initial step towards understanding and constructing ''interaction spaces'' in which humans and computer programs can interact on an equal footing. Our approach to constructing autonomous software systems is based on theoretical work on the organization of structures underlying language and movement in biological systems and on the structure of constructed complex systems mediated or integrated by software. We have developed an approach to integration called ''wrapping,'' which is a computationally reflective dynamic integration infrastructure. We regard integration infrastructure as an essential part of operating robust, flexible systems that exhibit appropriate behavior in the face of failures and uncertainties. The wrapping approach supports autonomy by supporting at least primitive versions of most of the functions that are necessary, and by providing an infrastructure that makes changing those functions easy. We show how the wrapping approach supports autonomy by describing ongoing experiments with software agents in MUDs.

Virtual Worlds are computer-mediated environments, in which we can monitor the interactions among our tools, the human users of the tools, and the humans themselves. They thus provide a powerful new experimental platform for studying issues that were heretofore very difficult. In this paper, we describe an experiment to study two claims about language formation: (1) all communication requires shared semantics (and not shared syntax), and (2) shared semantics requires shared experience. The key technical contributor is a new data structure called a Conceptual Category, which allows us to deal with representational and other semiotic issues within the program.

The paper applies some recent developments in computing to the problem of building very large software systems. We (1) emphasize the system's infrastructure as a way to keep large numbers of disparate components coordinated, and (2) show that our earlier wrapping research provides an active integration framework for heterogeneous system integration. The basic expressive notion is the "posed problem", and the basic computational component is the "resource". They are connected by the "wrappings", which consist of processes and associated knowledge bases that convert a posed problem into coordinated collections of resources that can address the problem.