首页 > 最新文献

2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)最新文献

英文 中文
Run-Time Adaptation of Quality Attributes for Automated Planning 自动计划质量属性的运行时适应性
Rebekka Wohlrab, Rômulo Meira-Góes, Michael Vierhauser
Self-adaptive systems typically operate in heterogeneous environments and need to optimize their behavior based on a variety of quality attributes to meet stakeholders’ needs. During adaptation planning, these quality attributes are considered in the form of constraints, describing requirements that must be fulfilled, and utility functions, which are used to select an optimal plan among several alternatives. Up until now, most automated planning approaches are not designed to adapt quality attributes, their priorities, and their trade-offs at run time. Instead, both utility functions and constraints are commonly defined at design time. There exists a clear lack of run-time mechanisms that support their adaptation in response to changes in the environment or in stakeholders’ preferences. In this paper, we present initial work that combines automated planning and adaptation of quality attributes to address this gap. The approach helps to semi-automatically adjust utility functions and constraints based on changes at run time. We present a preliminary experimental evaluation that indicates that our approach can provide plans with higher utility values while fulfilling changed or added constraints. We conclude this paper with our envisioned research outlook and plans for future empirical studies. CCS CONCEPTS • Computer systems organization $rightarrow$Robotic autonomy; • Hardware $rightarrow$ Safety critical systems; • Theory of computation $rightarrow$ Verification by model checking.
自适应系统通常在异构环境中运行,并且需要基于各种质量属性来优化其行为,以满足涉众的需求。在适应性规划期间,这些质量属性以约束的形式考虑,描述了必须满足的需求,以及效用函数,用于在几个备选方案中选择最优方案。到目前为止,大多数自动化计划方法都没有被设计成适应质量属性、它们的优先级,以及它们在运行时的权衡。相反,实用函数和约束通常是在设计时定义的。目前明显缺乏支持它们适应环境变化或利益相关者偏好的运行时机制。在本文中,我们提出了结合自动化计划和质量属性的适应来解决这一差距的初步工作。该方法有助于根据运行时的更改半自动地调整实用程序功能和约束。我们提出了一个初步的实验评估,表明我们的方法可以提供具有更高效用价值的计划,同时满足变化或增加的约束。最后,我们对本文的研究进行了展望,并对未来的实证研究进行了规划。CCS CONCEPTS•计算机系统组织$右箭头$机器人自治;•硬件$右箭头$安全关键系统;•计算理论$右划$通过模型检查验证。
{"title":"Run-Time Adaptation of Quality Attributes for Automated Planning","authors":"Rebekka Wohlrab, Rômulo Meira-Góes, Michael Vierhauser","doi":"10.1145/3524844.3528063","DOIUrl":"https://doi.org/10.1145/3524844.3528063","url":null,"abstract":"Self-adaptive systems typically operate in heterogeneous environments and need to optimize their behavior based on a variety of quality attributes to meet stakeholders’ needs. During adaptation planning, these quality attributes are considered in the form of constraints, describing requirements that must be fulfilled, and utility functions, which are used to select an optimal plan among several alternatives. Up until now, most automated planning approaches are not designed to adapt quality attributes, their priorities, and their trade-offs at run time. Instead, both utility functions and constraints are commonly defined at design time. There exists a clear lack of run-time mechanisms that support their adaptation in response to changes in the environment or in stakeholders’ preferences. In this paper, we present initial work that combines automated planning and adaptation of quality attributes to address this gap. The approach helps to semi-automatically adjust utility functions and constraints based on changes at run time. We present a preliminary experimental evaluation that indicates that our approach can provide plans with higher utility values while fulfilling changed or added constraints. We conclude this paper with our envisioned research outlook and plans for future empirical studies. CCS CONCEPTS • Computer systems organization $rightarrow$Robotic autonomy; • Hardware $rightarrow$ Safety critical systems; • Theory of computation $rightarrow$ Verification by model checking.","PeriodicalId":227173,"journal":{"name":"2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133032156","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}
引用次数: 3
Towards Self-Adaptive Peer-to-Peer Monitoring for Fog Environments 面向雾环境的自适应点对点监测
Vera Colombo, Alessandro Tundo, M. Ciavotta, L. Mariani
Monitoring is a critical component in fog environments: it promptly provides insights about the behavior of systems, reveals Service Level Agreements (SLAs) violations, enables the autonomous orchestration of services and platforms, calls for the intervention of operators, and triggers self-healing actions. In such environments, monitoring solutions have to cope with the heterogeneity of the devices and platforms present in the Fog, the limited resources available at the edge of the network, and the high dynamism of the whole Cloud-to-Thing continuum. This paper addresses the challenge of accurately and efficiently monitoring the Fog with a self-adaptive peer-to-peer (P2P) monitoring solution that can opportunistically adjust its behavior according to the collected data exploiting a lightweight rule-based expert system.Empirical results show that adaptation can improve monitoring accuracy, while reducing network and power consumption at the cost of higher memory consumption. CCS CONCEPTS • Computer systems organization → Self-organizing autonomic computing; Peer-to-peer architectures; • Information systems → Expert systems.
监控是雾环境中的一个关键组件:它可以及时提供有关系统行为的见解,揭示违反服务水平协议(sla)的情况,支持服务和平台的自治编排,要求操作人员进行干预,并触发自修复操作。在这样的环境中,监控解决方案必须应对雾中设备和平台的异构性、网络边缘有限的可用资源以及整个云到物连续体的高度动态性。本文通过自适应点对点(P2P)监测解决方案解决了准确有效地监测雾的挑战,该解决方案可以利用基于规则的轻量级专家系统根据收集的数据机会性地调整其行为。实证结果表明,自适应可以提高监测精度,同时以更高的内存消耗为代价减少网络和功耗消耗。•计算机系统组织→自组织自主计算;点对点架构;•信息系统→专家系统。
{"title":"Towards Self-Adaptive Peer-to-Peer Monitoring for Fog Environments","authors":"Vera Colombo, Alessandro Tundo, M. Ciavotta, L. Mariani","doi":"10.1145/3524844.3528055","DOIUrl":"https://doi.org/10.1145/3524844.3528055","url":null,"abstract":"Monitoring is a critical component in fog environments: it promptly provides insights about the behavior of systems, reveals Service Level Agreements (SLAs) violations, enables the autonomous orchestration of services and platforms, calls for the intervention of operators, and triggers self-healing actions. In such environments, monitoring solutions have to cope with the heterogeneity of the devices and platforms present in the Fog, the limited resources available at the edge of the network, and the high dynamism of the whole Cloud-to-Thing continuum. This paper addresses the challenge of accurately and efficiently monitoring the Fog with a self-adaptive peer-to-peer (P2P) monitoring solution that can opportunistically adjust its behavior according to the collected data exploiting a lightweight rule-based expert system.Empirical results show that adaptation can improve monitoring accuracy, while reducing network and power consumption at the cost of higher memory consumption. CCS CONCEPTS • Computer systems organization → Self-organizing autonomic computing; Peer-to-peer architectures; • Information systems → Expert systems.","PeriodicalId":227173,"journal":{"name":"2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116191486","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}
引用次数: 8
Safe Adaptation of Cobotic Cells based on Petri Nets 基于Petri网的Cobotic细胞安全自适应
S. Ebert
Collaborative robotic cells combine human skills with the latest advancements in robotic accuracy and reliability. Cobotic cell parts are distributed and adapt their behavior to changing tasks and environments. The specific missions of cobotic cells, depend on their field of application, but are critical for human safety, which introduces complexity, increasing testing and development effort. Component-based software engineering is used to manage complexity, but ensuring safety and correctness requires verification and validation, which is complex and demanding to re-ensure, when composed behavior changes. This also applies to the widely used middleware Robot Operating System (ROS), where existing approaches only model high level communication or integrate models. Also, verification of cobotic cells must reflect their context-adaptivity, to check safety critical reactions to contexts-changes. To overcome these inhibitors, a model-driven development approach based on Petri nets is proposed, modeling central aspects of ROS-based cobotic cells. By using formal models, the testing effort at development time is reduced, because global behavior remains formally proven, and only local components have to be retested. Within this work, the plans for this model-driven software approach are reported.CCS CONCEPTS• Software and its engineering $rightarrow$ Petri nets; Model-driven software engineering; Abstraction, modeling and modularity; • Human-centered computing $rightarrow$ Collaborative interaction.
协作机器人单元将人类技能与机器人精度和可靠性的最新进展相结合。Cobotic细胞部件是分布的,并根据不断变化的任务和环境调整其行为。cobotic细胞的具体任务取决于它们的应用领域,但对人类安全至关重要,这引入了复杂性,增加了测试和开发工作。基于组件的软件工程用于管理复杂性,但是确保安全性和正确性需要验证和确认,当组合的行为发生变化时,这是复杂且需要重新确保的。这也适用于广泛使用的中间件机器人操作系统(ROS),其中现有的方法仅对高层通信或集成模型进行建模。此外,cobotic细胞的验证必须反映其环境适应性,以检查对环境变化的安全关键反应。为了克服这些抑制剂,提出了一种基于Petri网的模型驱动开发方法,对基于ros的cobotic细胞的核心方面进行建模。通过使用正式的模型,可以减少开发时的测试工作,因为全局行为仍然是正式证明的,并且只需要重新测试局部组件。在这项工作中,报告了这种模型驱动软件方法的计划。CCS CONCEPTS•软件及其工程$右划$ Petri网;模型驱动软件工程;抽象、建模和模块化;•以人为本的计算$右箭头$协作交互。
{"title":"Safe Adaptation of Cobotic Cells based on Petri Nets","authors":"S. Ebert","doi":"10.1145/3524844.3528075","DOIUrl":"https://doi.org/10.1145/3524844.3528075","url":null,"abstract":"Collaborative robotic cells combine human skills with the latest advancements in robotic accuracy and reliability. Cobotic cell parts are distributed and adapt their behavior to changing tasks and environments. The specific missions of cobotic cells, depend on their field of application, but are critical for human safety, which introduces complexity, increasing testing and development effort. Component-based software engineering is used to manage complexity, but ensuring safety and correctness requires verification and validation, which is complex and demanding to re-ensure, when composed behavior changes. This also applies to the widely used middleware Robot Operating System (ROS), where existing approaches only model high level communication or integrate models. Also, verification of cobotic cells must reflect their context-adaptivity, to check safety critical reactions to contexts-changes. To overcome these inhibitors, a model-driven development approach based on Petri nets is proposed, modeling central aspects of ROS-based cobotic cells. By using formal models, the testing effort at development time is reduced, because global behavior remains formally proven, and only local components have to be retested. Within this work, the plans for this model-driven software approach are reported.CCS CONCEPTS• Software and its engineering $rightarrow$ Petri nets; Model-driven software engineering; Abstraction, modeling and modularity; • Human-centered computing $rightarrow$ Collaborative interaction.","PeriodicalId":227173,"journal":{"name":"2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131320603","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}
引用次数: 0
A Paradigm for Safe Adaptation of Collaborating Robots 协作机器人的安全适应范式
Emilia Cioroaica, Barbora Buhnova, E. Tomur
The dynamic forces that transit back and forth traditional boundaries of system development have led to the emergence of digital ecosystems. Within these, business gains are achieved through the development of intelligent control that requires a continuous design and runtime co-engineering process endangered by malicious attacks. The possibility of inserting specially crafted faults capable to exploit the nature of unknown evolving intelligent behavior raises the necessity of malicious behavior detection at runtime.Adjusting to the needs and opportunities of fast AI development within digital ecosystems, in this paper, we envision a novel method and framework for runtime predictive evaluation of intelligent robots’ behavior for assuring a cooperative safe adjustment.
在系统开发的传统边界之间来回穿梭的动态力量导致了数字生态系统的出现。其中,业务收益是通过智能控制的开发实现的,而智能控制需要持续的设计和运行时协同工程过程,这些过程会受到恶意攻击的威胁。插入能够利用未知进化智能行为本质的特制错误的可能性,提高了在运行时检测恶意行为的必要性。为了适应数字生态系统中快速人工智能发展的需求和机遇,在本文中,我们设想了一种新的方法和框架,用于对智能机器人的行为进行运行时预测评估,以确保合作安全调整。
{"title":"A Paradigm for Safe Adaptation of Collaborating Robots","authors":"Emilia Cioroaica, Barbora Buhnova, E. Tomur","doi":"10.1145/3524844.3528061","DOIUrl":"https://doi.org/10.1145/3524844.3528061","url":null,"abstract":"The dynamic forces that transit back and forth traditional boundaries of system development have led to the emergence of digital ecosystems. Within these, business gains are achieved through the development of intelligent control that requires a continuous design and runtime co-engineering process endangered by malicious attacks. The possibility of inserting specially crafted faults capable to exploit the nature of unknown evolving intelligent behavior raises the necessity of malicious behavior detection at runtime.Adjusting to the needs and opportunities of fast AI development within digital ecosystems, in this paper, we envision a novel method and framework for runtime predictive evaluation of intelligent robots’ behavior for assuring a cooperative safe adjustment.","PeriodicalId":227173,"journal":{"name":"2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131745065","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}
引用次数: 2
Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging 基于贝叶斯模型平均的自适应系统模型不确定性控制
Matteo Camilli, R. Mirandola, P. Scandurra
Research on uncertainty quantification and mitigation of software-intensive systems and (self-)adaptive systems, is increasingly gaining momentum, especially with the availability of statistical inference techniques (such as Bayesian reasoning) that make it possible to mitigate uncertain (quality) attributes of the system under scrutiny often encoded in the system model in terms of model parameters. However, to the best of our knowledge, the uncertainty about the choice of a specific system model did not receive the deserved attention.This paper focuses on self-adaptive systems and investigates how to mitigate the uncertainty related to the model selection process, that is, whenever one model is chosen over plausible alternative and competing models to represent the understanding of a system and make predictions about future observations. In particular, we propose to enhance the classical feedback loop of a self-adaptive system with the ability to tame the model uncertainty using Bayesian Model Averaging. This method improves the predictions made by the analyze component as well as the plan that adopts metaheuristic optimizing search to guide the adaptation decisions. Our empirical evaluation demonstrates the cost-effectiveness of our approach using an exemplar case study in the robotics domain.CCS CONCEPTS• Software and its engineering → Software system models; Software functional properties; • Computer systems organization → Self-organizing autonomic computing
对软件密集型系统和(自)适应系统的不确定性量化和缓解的研究正日益获得动力,特别是随着统计推断技术(如贝叶斯推理)的可用性,它可以减轻被审查的系统的不确定性(质量)属性,这些属性通常以模型参数的形式编码在系统模型中。然而,据我们所知,选择特定系统模型的不确定性并没有得到应有的重视。本文的重点是自适应系统,并研究了如何减轻与模型选择过程相关的不确定性,也就是说,每当一个模型被选择在可信的替代和竞争模型中,以代表对系统的理解并对未来的观测做出预测。特别地,我们建议利用贝叶斯模型平均来增强自适应系统的经典反馈回路,使其具有驯服模型不确定性的能力。该方法既改进了分析组件的预测,又改进了采用元启发式优化搜索指导适应决策的方案。我们的经验评估证明了我们的方法使用机器人领域的范例案例研究的成本效益。•软件及其工程→软件系统模型;软件功能属性;•计算机系统组织→自组织自主计算
{"title":"Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging","authors":"Matteo Camilli, R. Mirandola, P. Scandurra","doi":"10.1145/3524844.3528056","DOIUrl":"https://doi.org/10.1145/3524844.3528056","url":null,"abstract":"Research on uncertainty quantification and mitigation of software-intensive systems and (self-)adaptive systems, is increasingly gaining momentum, especially with the availability of statistical inference techniques (such as Bayesian reasoning) that make it possible to mitigate uncertain (quality) attributes of the system under scrutiny often encoded in the system model in terms of model parameters. However, to the best of our knowledge, the uncertainty about the choice of a specific system model did not receive the deserved attention.This paper focuses on self-adaptive systems and investigates how to mitigate the uncertainty related to the model selection process, that is, whenever one model is chosen over plausible alternative and competing models to represent the understanding of a system and make predictions about future observations. In particular, we propose to enhance the classical feedback loop of a self-adaptive system with the ability to tame the model uncertainty using Bayesian Model Averaging. This method improves the predictions made by the analyze component as well as the plan that adopts metaheuristic optimizing search to guide the adaptation decisions. Our empirical evaluation demonstrates the cost-effectiveness of our approach using an exemplar case study in the robotics domain.CCS CONCEPTS• Software and its engineering → Software system models; Software functional properties; • Computer systems organization → Self-organizing autonomic computing","PeriodicalId":227173,"journal":{"name":"2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127986945","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}
引用次数: 6
Self-adaptive Testing in the Field: Are We There Yet? 现场自适应测试:我们到了吗?
Samira Silva, A. Bertolino, Patrizio Pelliccione
Testing in the field is gaining momentum, as a means to detect those failures that escape in-house testing by continuing the testing even while a system is operating in production. Among several approaches that are proposed, this paper focuses on the important notion of self-adaptivity of testing in the field, as such techniques need to adapt in many ways their strategy to the context and the emerging behaviors of the system under test. In this work, we investigate the topic by conducting a scoping review of the literature on self-adaptive testing in the field. We rely on a taxonomy organized in some categories that include the object to adapt, the adaptation trigger, the temporal characteristics, the realization issues, the interaction concerns, the type of field-based approach, and the impact/cost. Our study sheds light on self-adaptive testing in the field by identifying related key concepts and key characteristics and extracting some knowledge gaps to better guide future research.
现场测试正在获得动力,作为一种手段,即使系统在生产中运行,也可以通过继续测试来检测那些逃避内部测试的故障。在提出的几种方法中,本文着重于该领域测试的自适应性的重要概念,因为此类技术需要在许多方面调整其策略以适应环境和被测系统的新行为。在这项工作中,我们通过对该领域自适应测试的文献进行范围审查来研究该主题。我们依赖的分类法组织在一些类别中,这些类别包括要适应的对象、适应触发器、时间特征、实现问题、交互关注点、基于字段的方法类型以及影响/成本。我们的研究通过识别相关的关键概念和关键特征,提取一些知识空白,更好地指导未来的研究,为该领域的自适应测试提供了思路。
{"title":"Self-adaptive Testing in the Field: Are We There Yet?","authors":"Samira Silva, A. Bertolino, Patrizio Pelliccione","doi":"10.1145/3524844.3528050","DOIUrl":"https://doi.org/10.1145/3524844.3528050","url":null,"abstract":"Testing in the field is gaining momentum, as a means to detect those failures that escape in-house testing by continuing the testing even while a system is operating in production. Among several approaches that are proposed, this paper focuses on the important notion of self-adaptivity of testing in the field, as such techniques need to adapt in many ways their strategy to the context and the emerging behaviors of the system under test. In this work, we investigate the topic by conducting a scoping review of the literature on self-adaptive testing in the field. We rely on a taxonomy organized in some categories that include the object to adapt, the adaptation trigger, the temporal characteristics, the realization issues, the interaction concerns, the type of field-based approach, and the impact/cost. Our study sheds light on self-adaptive testing in the field by identifying related key concepts and key characteristics and extracting some knowledge gaps to better guide future research.","PeriodicalId":227173,"journal":{"name":"2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116908432","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}
引用次数: 2
Emergent Web Server: An Exemplar to Explore Online Learning in Compositional Self-Adaptive Systems 新兴Web服务器:探索组合自适应系统在线学习的范例
Roberto Rodrigues Filho, Elvin Alberts, I. Gerostathopoulos, Barry Porter, F. Costa
Contemporary deployment environments are volatile, with conditions that are often hard to predict in advance, demanding solutions that are able to learn how best to design a system at runtime from a set of available alternatives. While the self-adaptive systems community has devoted significant attention to online learning, there is less research specifically directed towards learning for open-ended architectural adaptation – where individual components represent alternatives that can be added and removed dynamically. In this paper we present the Emergent Web Server (EWS), an architecture-based adaptive web server with 42 unique compositions of alternative components that present different utility when subjected to different workload patterns. This artefact allows the exploration of online learning techniques that are specifically able to consider the composition of logic that comprises a given system, and how each piece of logic contributes to overall utility. It also allows the user to add new components at runtime (and so produce new composition options), and to remove existing components; both are likely to occur in systems where developers (or automated code generators) deploy new code on a continuous basis and identify code which has never performed well. Our exemplar bundles together a fully-functional web server, a number of pre-packaged online learning approaches, and utilities to integrate, evaluate, and compare new online learning approaches.
当前的部署环境是不稳定的,其条件通常难以提前预测,因此需要能够从一组可用的替代方案中学习如何在运行时最好地设计系统的解决方案。虽然自适应系统社区对在线学习投入了大量的关注,但专门针对开放式架构适应的学习的研究较少——其中单个组件代表可以动态添加和删除的替代方案。在本文中,我们介绍了紧急Web服务器(EWS),这是一种基于体系结构的自适应Web服务器,具有42种独特的可选组件组合,在不同的工作负载模式下呈现不同的效用。该工件允许探索在线学习技术,这些技术特别能够考虑包含给定系统的逻辑组合,以及每个逻辑块如何对整体效用做出贡献。它还允许用户在运行时添加新组件(从而产生新的组合选项),并删除现有组件;这两种情况都可能发生在开发人员(或自动代码生成器)在连续的基础上部署新代码并识别从未表现良好的代码的系统中。我们的范例将一个功能齐全的web服务器、许多预打包的在线学习方法以及用于集成、评估和比较新的在线学习方法的实用程序捆绑在一起。
{"title":"Emergent Web Server: An Exemplar to Explore Online Learning in Compositional Self-Adaptive Systems","authors":"Roberto Rodrigues Filho, Elvin Alberts, I. Gerostathopoulos, Barry Porter, F. Costa","doi":"10.1145/3524844.3528079","DOIUrl":"https://doi.org/10.1145/3524844.3528079","url":null,"abstract":"Contemporary deployment environments are volatile, with conditions that are often hard to predict in advance, demanding solutions that are able to learn how best to design a system at runtime from a set of available alternatives. While the self-adaptive systems community has devoted significant attention to online learning, there is less research specifically directed towards learning for open-ended architectural adaptation – where individual components represent alternatives that can be added and removed dynamically. In this paper we present the Emergent Web Server (EWS), an architecture-based adaptive web server with 42 unique compositions of alternative components that present different utility when subjected to different workload patterns. This artefact allows the exploration of online learning techniques that are specifically able to consider the composition of logic that comprises a given system, and how each piece of logic contributes to overall utility. It also allows the user to add new components at runtime (and so produce new composition options), and to remove existing components; both are likely to occur in systems where developers (or automated code generators) deploy new code on a continuous basis and identify code which has never performed well. Our exemplar bundles together a fully-functional web server, a number of pre-packaged online learning approaches, and utilities to integrate, evaluate, and compare new online learning approaches.","PeriodicalId":227173,"journal":{"name":"2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128389755","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}
引用次数: 2
From Systems to Ecosystems: Rethinking Adaptive Safety 从系统到生态系统:重新思考适应性安全
David Halasz
The evolution of software systems into more complex ecosystems creates new challenges in ensuring their safe and secure behavior. As the complexity of software ecosystems is inherently higher than regular systems, existing safety mechanisms are no longer reliable in their context. This paper introduces a research path towards adaptive safety mechanisms that can support the degree of dynamism and high level of uncertainty introduced by these systems of systems. Our planned approach is to use runtime trust evaluation as a decision factor when enabling or disabling safety features on demand.
软件系统向更复杂的生态系统的演变为确保其安全行为带来了新的挑战。由于软件生态系统的复杂性固有地高于常规系统,现有的安全机制在其上下文中不再可靠。本文介绍了自适应安全机制的研究路径,该机制可以支持这些系统的系统引入的动态性和高水平的不确定性。我们计划的方法是,在按需启用或禁用安全特性时,使用运行时信任评估作为决策因素。
{"title":"From Systems to Ecosystems: Rethinking Adaptive Safety","authors":"David Halasz","doi":"10.1145/3524844.3528067","DOIUrl":"https://doi.org/10.1145/3524844.3528067","url":null,"abstract":"The evolution of software systems into more complex ecosystems creates new challenges in ensuring their safe and secure behavior. As the complexity of software ecosystems is inherently higher than regular systems, existing safety mechanisms are no longer reliable in their context. This paper introduces a research path towards adaptive safety mechanisms that can support the degree of dynamism and high level of uncertainty introduced by these systems of systems. Our planned approach is to use runtime trust evaluation as a decision factor when enabling or disabling safety features on demand.","PeriodicalId":227173,"journal":{"name":"2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117043274","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}
引用次数: 3
NEPTUNE: Network- and GPU-aware Management of Serverless Functions at the Edge 海王星:边缘无服务器功能的网络和gpu感知管理
L. Baresi, David Hu, G. Quattrocchi, L. Terracciano
Nowadays a wide range of applications is constrained by low-latency requirements that cloud infrastructures cannot meet. Multi-access Edge Computing (MEC) has been proposed as the reference architecture for executing applications closer to users and reducing latency, but new challenges arise: edge nodes are resource-constrained, the workload can vary significantly since users are nomadic, and task complexity is increasing (e.g., machine learning inference). To overcome these problems, the paper presents NEPTUNE, a serverless-based framework for managing complex MEC solutions. NEPTUNE i) places functions on edge nodes according to user locations, ii) avoids the saturation of single nodes, iii) exploits GPUs when available, and iv) allocates resources (CPU cores) dynamically to meet foreseen execution times. A prototype, built on top of K3S, was used to evaluate NEPTUNE on a set of experiments that demonstrate a significant reduction in terms of response time, network overhead, and resource consumption compared to three well-known approaches. CCS CONCEPTS • Theory of computation → Scheduling algorithms; • Computing methodologies →Distributed computing methodologies; • Computer systems organization →Distributed architectures.
如今,许多应用程序都受到云基础设施无法满足的低延迟需求的限制。多访问边缘计算(MEC)已被提出作为执行更接近用户的应用程序和减少延迟的参考架构,但出现了新的挑战:边缘节点资源受限,由于用户是游牧的,工作负载可能会有很大变化,任务复杂性正在增加(例如,机器学习推理)。为了克服这些问题,本文提出了NEPTUNE,这是一个用于管理复杂MEC解决方案的无服务器框架。NEPTUNE i)根据用户位置将功能放置在边缘节点上,ii)避免单个节点饱和,iii)在可用时利用gpu, iv)动态分配资源(CPU内核)以满足预期的执行时间。在K3S之上构建了一个原型,用于在一组实验中评估NEPTUNE,这些实验表明,与三种知名方法相比,NEPTUNE在响应时间、网络开销和资源消耗方面显著降低。•计算理论→调度算法;•计算方法→分布式计算方法;•计算机系统组织→分布式架构。
{"title":"NEPTUNE: Network- and GPU-aware Management of Serverless Functions at the Edge","authors":"L. Baresi, David Hu, G. Quattrocchi, L. Terracciano","doi":"10.1145/3524844.3528051","DOIUrl":"https://doi.org/10.1145/3524844.3528051","url":null,"abstract":"Nowadays a wide range of applications is constrained by low-latency requirements that cloud infrastructures cannot meet. Multi-access Edge Computing (MEC) has been proposed as the reference architecture for executing applications closer to users and reducing latency, but new challenges arise: edge nodes are resource-constrained, the workload can vary significantly since users are nomadic, and task complexity is increasing (e.g., machine learning inference). To overcome these problems, the paper presents NEPTUNE, a serverless-based framework for managing complex MEC solutions. NEPTUNE i) places functions on edge nodes according to user locations, ii) avoids the saturation of single nodes, iii) exploits GPUs when available, and iv) allocates resources (CPU cores) dynamically to meet foreseen execution times. A prototype, built on top of K3S, was used to evaluate NEPTUNE on a set of experiments that demonstrate a significant reduction in terms of response time, network overhead, and resource consumption compared to three well-known approaches. CCS CONCEPTS • Theory of computation → Scheduling algorithms; • Computing methodologies →Distributed computing methodologies; • Computer systems organization →Distributed architectures.","PeriodicalId":227173,"journal":{"name":"2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129326200","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}
引用次数: 6
Learning Self-adaptations for IoT Networks: A Genetic Programming Approach 学习自适应物联网网络:遗传规划方法
Jia Li, S. Nejati, M. Sabetzadeh
Internet of Things (IoT) is a pivotal technology in application domains that require connectivity and interoperability between large numbers of devices. IoT systems predominantly use a software-defined network (SDN) architecture as their core communication backbone. This architecture offers several advantages, including the flexibility to make IoT networks self-adaptive through software programmability. In general, self-adaptation solutions need to periodically monitor, reason about, and adapt a running system. The adaptation step involves generating an adaptation strategy and applying it to the running system whenever an anomaly arises. In this paper, we argue that, rather than generating individual adaptation strategies, the goal should be to adapt the logic / code of the running system in such a way that the system itself would learn how to steer clear of future anomalies, without triggering self-adaptation too frequently. We instantiate and empirically assess this idea in the context of IoT networks. Specifically, using genetic programming (GP), we propose a self-adaptation solution that continuously learns and updates the control constructs in the data-forwarding logic of SDN-based IoT networks. Our evaluation, performed using open-source synthetic and industrial data, indicates that, compared to a baseline adaptation technique that attempts to generate individual adaptations, our GP-based approach is more effective in resolving network congestion, and further, reduces the frequency of adaptation interventions over time. In addition, we compare our approach against a standard data-forwarding algorithm from the network literature, demonstrating that our approach significantly reduces packet loss.
物联网(IoT)是需要大量设备之间连接和互操作性的应用领域的关键技术。物联网系统主要使用软件定义网络(SDN)架构作为其核心通信骨干。这种架构提供了几个优势,包括通过软件可编程性使物联网网络自适应的灵活性。一般来说,自适应解决方案需要定期监视、推理和适应运行中的系统。适应步骤包括生成一个适应策略,并在出现异常时将其应用于正在运行的系统。在本文中,我们认为,而不是产生个人适应策略,目标应该是适应运行系统的逻辑/代码,使系统本身能够学习如何避开未来的异常,而不会过于频繁地触发自适应。我们在物联网网络的背景下对这一想法进行了实例化和实证评估。具体而言,我们利用遗传规划(GP)提出了一种自适应解决方案,该方案可以持续学习和更新基于sdn的物联网数据转发逻辑中的控制结构。我们使用开源合成和工业数据进行的评估表明,与试图产生个体适应的基线适应技术相比,我们基于gp的方法在解决网络拥塞方面更有效,而且随着时间的推移,还减少了适应干预的频率。此外,我们将我们的方法与网络文献中的标准数据转发算法进行了比较,证明我们的方法显着减少了数据包丢失。
{"title":"Learning Self-adaptations for IoT Networks: A Genetic Programming Approach","authors":"Jia Li, S. Nejati, M. Sabetzadeh","doi":"10.1145/3524844.3528053","DOIUrl":"https://doi.org/10.1145/3524844.3528053","url":null,"abstract":"Internet of Things (IoT) is a pivotal technology in application domains that require connectivity and interoperability between large numbers of devices. IoT systems predominantly use a software-defined network (SDN) architecture as their core communication backbone. This architecture offers several advantages, including the flexibility to make IoT networks self-adaptive through software programmability. In general, self-adaptation solutions need to periodically monitor, reason about, and adapt a running system. The adaptation step involves generating an adaptation strategy and applying it to the running system whenever an anomaly arises. In this paper, we argue that, rather than generating individual adaptation strategies, the goal should be to adapt the logic / code of the running system in such a way that the system itself would learn how to steer clear of future anomalies, without triggering self-adaptation too frequently. We instantiate and empirically assess this idea in the context of IoT networks. Specifically, using genetic programming (GP), we propose a self-adaptation solution that continuously learns and updates the control constructs in the data-forwarding logic of SDN-based IoT networks. Our evaluation, performed using open-source synthetic and industrial data, indicates that, compared to a baseline adaptation technique that attempts to generate individual adaptations, our GP-based approach is more effective in resolving network congestion, and further, reduces the frequency of adaptation interventions over time. In addition, we compare our approach against a standard data-forwarding algorithm from the network literature, demonstrating that our approach significantly reduces packet loss.","PeriodicalId":227173,"journal":{"name":"2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131241493","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}
引用次数: 4
期刊
2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1