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.
Proceeding Downloads
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 ...
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. ...
A hybrid approach combining control theory and AI for engineering self-adaptive systems
- Ricardo Diniz Caldas,
- Arthur Rodrigues,
- Eric Bernd Gil,
- Genaína Nunes Rodrigues,
- Thomas Vogel,
- Patrizio Pelliccione
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 ...
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 ...
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 ...
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 (...
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 ...
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 ...
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 ...
A platform to enable self-adaptive cloud applications using trustworthiness properties
- José D'Abruzzo Pereira,
- Rui Silva,
- Nuno Antunes,
- Jorge L. M. Silva,
- Breno de França,
- Regina Moraes,
- Marco Vieira
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. ...
Towards bridging the gap between control and self-adaptive system properties
- Javier Cámara,
- Alessandro V. Papadopoulos,
- Thomas Vogel,
- Danny Weyns,
- David Garlan,
- Shihong Huang,
- Kenji Tei
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,...
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 ...
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 ...
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. ...
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, ...
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 ...
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 ...
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 ...
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-...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
Index Terms
- Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Recommendations
Acceptance Rates
Year | Submitted | Accepted | Rate |
---|---|---|---|
SEAMS '08 | 31 | 17 | 55% |
Overall | 31 | 17 | 55% |