Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/3387939acmconferencesBook PagePublication PagesicseConference Proceedingsconference-collections
SEAMS '20: Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
ACM2020 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Seoul Republic of Korea 29 June 2020- 3 July 2020
ISBN:
978-1-4503-7962-5
Published:
18 September 2020
Sponsors:
In-Cooperation:
IEEE CS
Next Conference
Bibliometrics
Skip Abstract Section
Abstract

The objective of SEAMS is to bring together researchers and practitioners from academia, industry and government, to investigate, discuss, examine and advance the fundamental principles, the state of the art, and the solutions addressing critical challenges of engineering self-adaptive and selfmanaging systems.

Skip Table Of Content Section
SESSION: Keynotes
research-article
Open Access
Evolving robot software and hardware

This paper summarizes the keynote I gave on the SEAMS 2020 conference. Noting the power of natural evolution that makes living systems extremely adaptive, I describe how artificial evolution can be employed to solve design and optimization problems in ...

research-article
Open Access
On the probabilistic analysis of neural networks

Neural networks are powerful tools for automated decision-making, seeing increased application in safety-critical domains, such as autonomous driving. Due to their black-box nature and large scale, reasoning about their behavior is challenging. ...

SESSION: AI & machine learning
research-article
A hybrid approach combining control theory and AI for engineering self-adaptive systems

Control theoretical techniques have been successfully adopted as methods for self-adaptive systems design to provide formal guarantees about the effectiveness and robustness of adaptation mechanisms. However, the computational effort to obtain ...

research-article
Applying deep learning to reduce large adaptation spaces of self-adaptive systems with multiple types of goals

When a self-adaptive system needs to adapt, it has to analyze the possible options for adaptation, i.e., the adaptation space. For systems with large adaptation spaces, this analysis process can be resource- and time-consuming. One approach to tackle ...

research-article
Towards classes of architectural dependability assurance for machine-learning-based systems

Advances in Machine Learning (ML) have brought previously hard to handle problems within arm's reach. However, this power comes at the cost of unassured reliability and lacking transparency. Overcoming this drawback is very hard due to the probabilistic ...

research-article
Supporting viewpoints to review the lack of requirements in space systems with machine learning

Identifying the insufficient requirements, such as missing or lacking requirements, is important to prevent serious accidents for CPSs (Cyber-Physical Systems), such as launch vehicles and spacecrafts which often required to be self-adaptive. In JAXA (...

SESSION: Testing, analysis, monitoring and trustworthiness
research-article
Collective risk minimization via a bayesian model for statistical software testing

In the last four years, the number of distinct autonomous vehicles platforms deployed in the streets of California increased 6-fold, while the reported accidents increased 12-fold. This can become a trend with no signs of subsiding as it is fueled by a ...

research-article
Leveraging test logs for building a self-adaptive path planner

Recent approaches in testing autonomous driving systems (ADS) are able to generate a scenario in which the autonomous car collides, and a different ADS configuration that avoids the collision. However, such test information is too low level to be used ...

research-article
A framework for the analysis of adaptive systems using bayesian statistics

Safety-critical adaptive software systems, as, for example, used in aircraft must ensure that system must remain in safe regions during adaptation in order to avoid catastrophic failures. We present a framework, which uses hierarchical statistical ...

demonstration
A platform to enable self-adaptive cloud applications using trustworthiness properties

Self-Adaptive Systems (SASs) reflect on both their state and on the environment and change their behavior to satisfy the expected objectives. Cloud systems are self-adaptive by nature, especially considering the resources used in a pay-as-you-go manner. ...

research-article
Towards bridging the gap between control and self-adaptive system properties

Two of the main paradigms used to build adaptive software employ different types of properties to capture relevant aspects of the system's run-time behavior. On the one hand, control systems consider properties that concern static aspects like stability,...

SESSION: Composition and control
research-article
Open Access
An ontological architecture for principled and automated system of systems composition

A distributed system's functionality must continuously evolve, especially when environmental context changes. Such required evolution imposes unbearable complexity on system development. An alternative is to make systems able to self-adapt by ...

research-article
DATESSO: self-adapting service composition with debt-aware two levels constraint reasoning

The rapidly changing workload of service-based systems can easily cause under-/over-utilization on the component services, which can consequently affect the overall Quality of Service (QoS), such as latency. Self-adaptive services composition rectifies ...

research-article
Learning run-time compositions of interacting adaptations

Self-adaptive systems continuously adapt to internal and external changes in their execution environment. In context-based self-adaptation, adaptations take place in response to the characteristics of the execution environment, captured as a context. ...

short-paper
Monitoring for control in role-oriented self-adaptive systems

Self-adaptive Systems (SASs) are one way to address the ever-growing complexity of software systems by allowing the system to react on changes in its operating environment. In today's systems, self-adaptation is typically realized with a control loop, ...

short-paper
A role-based architecture for self-adaptive cyber-physical systems

Today's computing world features a growing number of cyber-physical systems that require the cooperation of many physical devices. Examples include autonomous cars and co-working robots, which are expected to appropriately adapt to any possible context ...

SESSION: Applications
research-article
Public Access
Software architecture and task plan co-adaptation for mobile service robots

Self-adaptive systems increasingly need to reason about and adapt both structural and behavioral system aspects, such as in mobile service robots, which must reason about missions that they need to achieve and the architecture of the software executing ...

research-article
Dynamic adaptation of software-defined networks for IoT systems: a search-based approach

The concept of Internet of Things (IoT) has led to the development of many complex and critical systems such as smart emergency management systems. IoT-enabled applications typically depend on a communication network for transmitting large volumes of ...

research-article
Knowledge aggregation with subjective logic in multi-agent self-adaptive cyber-physical systems

Modern software systems, such as cyber-physical systems (CPSs), operate in complex and dynamic environments. With the continuous and unanticipated change in the operational environment, these systems are subjected to a variety of uncertainties. Self-...

demonstration
Using component ensembles for modeling autonomic component collaboration in smart farming

Smart systems have become key solutions for many application areas including autonomous farming. The trend we can see now in the smart systems is that they shift from single isolated autonomic and self-adaptive components to larger ecosystems of heavily ...

SESSION: Ethical concerns of self-adaptive systems
abstract
Towards a code of ethics for autonomous and self-adaptive systems

Software systems are playing an increasingly important role in many domains of our society. To ensure that software will support the public good, software engineers, who create and maintain the software, shall adhere to ethical principles. A joint task ...

short-paper
Human in the loop: what is the point of no return?

The main goal of any feedback control system is essentially to remove humans from the loop. This has always been the goal in the engineering of control systems. The MAPE-K loop is the embodiment of a feedback control loop in self-adaptive software ...

SESSION: Design, verification & explainability
research-article
Expecting the unexpected: developing autonomous-system design principles for reacting to unpredicted events and conditions

When developing autonomous systems, engineers and other stakeholders make great efforts to prepare the system for all foreseeable circumstances. However, such systems are still bound to encounter situations that were not considered at design time. For ...

research-article
Self-protection against business logic vulnerabilities

Attacks against business logic rules occur when the attacker exploits the domain rules in a malicious way. Such attacks have not received sufficient attention in research so far. In this paper, we propose a novel self-protecting approach that defends a ...

research-article
Explanations for human-on-the-loop: a probabilistic model checking approach

Many self-adaptive systems benefit from human involvement and oversight, where a human operator can provide expertise not available to the system and can detect problems that the system is unaware of. One way of achieving this is by placing the human ...

research-article
Open Access
Towards highly scalable runtime models with history

Advanced systems such as IoT comprise many heterogeneous, interconnected, and autonomous entities operating in often highly dynamic environments. Due to their large scale and complexity, large volumes of monitoring data are generated and need to be ...

Contributors
  • Research Organization of Information and Systems National Institute of Informatics
  • Politecnico di Milano
  • University of York
Index terms have been assigned to the content through auto-classification.

Recommendations

Acceptance Rates

Overall Acceptance Rate 17 of 31 submissions, 55%
YearSubmittedAcceptedRate
SEAMS '08311755%
Overall311755%