2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)最新文献_第3页

Runtime Verification of Self-Adaptive Systems with Changing Requirements 需求变化的自适应系统的运行时验证

2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) Pub Date : 2023-03-29 DOI: 10.1109/SEAMS59076.2023.00024

Marc Carwehl, Thomas Vogel, G. Rodrigues, Lars Grunske

{"title":"Runtime Verification of Self-Adaptive Systems with Changing Requirements","authors":"Marc Carwehl, Thomas Vogel, G. Rodrigues, Lars Grunske","doi":"10.1109/SEAMS59076.2023.00024","DOIUrl":"https://doi.org/10.1109/SEAMS59076.2023.00024","url":null,"abstract":"To accurately make adaptation decisions, a self-adaptive system needs precise means to analyze itself at runtime. To this end, runtime verification can be used in the feedback loop to check that the managed system satisfies its requirements formalized as temporal-logic properties. These requirements, however, may change due to system evolution or uncertainty in the environment, managed system, and requirements themselves. Thus, the properties under investigation by the runtime verification have to be dynamically adapted to represent the changing requirements while preserving the knowledge about requirements satisfaction gathered thus far, all with minimal latency. To address this need, we present a runtime verification approach for self-adaptive systems with changing requirements. Our approach uses property specification patterns to automatically obtain automata with precise semantics that are the basis for runtime verification. The automata can be safely adapted during runtime verification while preserving intermediate verification results to seamlessly reflect requirement changes and enable continuous verification. We evaluate our approach on an Arduino prototype of the Body Sensor Network and the Timescales benchmark. Results show that our approach is over five times faster than the typical approach of redeploying and restarting runtime monitors to reflect requirements changes, while improving the system’s trustworthiness by avoiding interruptions of verification.","PeriodicalId":262204,"journal":{"name":"2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125432754","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

From Self-Adaptation to Self-Evolution Leveraging the Operational Design Domain 从自适应到自进化利用操作设计领域

2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) Pub Date : 2023-03-27 DOI: 10.1109/SEAMS59076.2023.00022

Danny Weyns, J. Andersson

{"title":"From Self-Adaptation to Self-Evolution Leveraging the Operational Design Domain","authors":"Danny Weyns, J. Andersson","doi":"10.1109/SEAMS59076.2023.00022","DOIUrl":"https://doi.org/10.1109/SEAMS59076.2023.00022","url":null,"abstract":"Engineering long-running computing systems that achieve their goals under ever-changing conditions pose significant challenges. Self-adaptation has shown to be a viable approach to dealing with changing conditions. Yet, the capabilities of a self-adaptive system are constrained by its operational design domain (ODD), i.e., the conditions for which the system was built (requirements, constraints, and context). Changes, such as adding new goals or dealing with new contexts, require system evolution. While the system evolution process has been automated substantially, it remains human-driven. Given the growing complexity of computing systems, human-driven evolution will eventually become unmanageable. In this paper, we provide a definition for ODD and apply it to a self-adaptive system. Next, we explain why conditions not covered by the ODD require system evolution. Then, we outline a new approach for self-evolution that leverages the concept of ODD, enabling a system to evolve autonomously to deal with conditions not anticipated by its initial ODD. We conclude with open challenges to realise self-evolution.","PeriodicalId":262204,"journal":{"name":"2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132615054","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

On the Need for Artifacts to Support Research on Self-Adaptation Mature for Industrial Adoption 论人工制品支持工业应用的自适应成熟研究的必要性

2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) Pub Date : 2023-03-27 DOI: 10.1109/SEAMS59076.2023.00020

Danny Weyns, Thomas Vogel

引用次数: 0

SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles SUAVE:自适应水下航行器的典范

2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) Pub Date : 2023-03-16 DOI: 10.1109/SEAMS59076.2023.00031

G. R. Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, S. L. T. Tarifa, I. Gerostathopoulos, E. Johnsen, C. H. Corbato

{"title":"SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles","authors":"G. R. Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, S. L. T. Tarifa, I. Gerostathopoulos, E. Johnsen, C. H. Corbato","doi":"10.1109/SEAMS59076.2023.00031","DOIUrl":"https://doi.org/10.1109/SEAMS59076.2023.00031","url":null,"abstract":"Once deployed in the real world, autonomous underwater vehicles (AUVs) are out of reach for human supervision yet need to take decisions to adapt to unstable and unpredictable environments. To facilitate research on self-adaptive AUVs, this paper presents SUAVE, an exemplar for two-layered system-level adaptation of AUVs, which clearly separates the application and self-adaptation concerns. The exemplar focuses on a mission for underwater pipeline inspection by a single AUV, implemented as a ROS 2-based system. This mission must be completed while simultaneously accounting for uncertainties such as thruster failures and unfavorable environmental conditions. The paper discusses how SUAVE can be used with different self-adaptation frameworks, illustrated by an experiment using the Metacontrol framework to compare AUV behavior with and without self-adaptation. The experiment shows that the use of Metacontrol to adapt the AUV during its mission improves its performance when measured by the overall time taken to complete the mission or the length of the inspected pipeline.","PeriodicalId":262204,"journal":{"name":"2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126818422","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

CHESS: A Framework for Evaluation of Self-Adaptive Systems Based on Chaos Engineering 基于混沌工程的自适应系统评价框架

2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) Pub Date : 2023-03-13 DOI: 10.1109/SEAMS59076.2023.00033

Sehrish Malik, Moeen Ali Naqvi, L. Moonen

引用次数: 0