首页 > 最新文献

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

英文 中文
PRESTO: Predicting System-level Disruptions through Parametric Model Checking PRESTO:通过参数模型检查预测系统级中断
Xinwei Fang, R. Calinescu, Colin Paterson, Julie A. Wilson
Self-adaptive systems are expected to mitigate disruptions by continually adjusting their configuration and behaviour. This mitigation is often reactive. Typically, environmental or internal changes trigger a system response only after a violation of the system requirements. Despite a broad agreement that prevention is better than cure in self-adaptation, proactive adaptation methods are underrepresented within the repertoire of solutions available to the developers of self-adaptive systems. To address this gap, we present a work-in-progress approach for the prediction of-system-level disruptions (PRESTO) through parametric model checking. Intended for use in the analysis step of the MAPE-K (MonitorAnalyse-Plan-Execute over a shared Knowledge) feedback control loop of self-adaptive systems, PRESTO comprises two stages. First, time-series analysis is applied to monitoring data in order to identify trends in the values of individual system and/or environment parameters. Next, future non-functional requirement violations are predicted by using parametric model checking, in order to establish the potential impact of these trends on the reliability and performance of the system. We illustrate the application of PRESTO in a case study from the autonomous farming domain.
自适应系统有望通过不断调整其配置和行为来减轻干扰。这种缓解通常是被动的。通常,环境或内部更改仅在违反系统需求之后才触发系统响应。尽管人们普遍认为,在自我适应中预防胜于治疗,但在自适应系统开发者可用的解决方案中,主动适应方法的代表性不足。为了解决这一差距,我们提出了一种正在进行的方法,通过参数模型检查来预测系统级中断(PRESTO)。PRESTO旨在用于自适应系统的MAPE-K(在共享知识上监测分析-计划-执行)反馈控制回路的分析步骤,包括两个阶段。首先,将时间序列分析应用于监测数据,以便确定个别系统和/或环境参数值的趋势。接下来,通过使用参数模型检查来预测未来的非功能性需求违反,以便确定这些趋势对系统可靠性和性能的潜在影响。我们在一个自主农业领域的案例研究中说明了PRESTO的应用。
{"title":"PRESTO: Predicting System-level Disruptions through Parametric Model Checking","authors":"Xinwei Fang, R. Calinescu, Colin Paterson, Julie A. Wilson","doi":"10.1145/3524844.3528059","DOIUrl":"https://doi.org/10.1145/3524844.3528059","url":null,"abstract":"Self-adaptive systems are expected to mitigate disruptions by continually adjusting their configuration and behaviour. This mitigation is often reactive. Typically, environmental or internal changes trigger a system response only after a violation of the system requirements. Despite a broad agreement that prevention is better than cure in self-adaptation, proactive adaptation methods are underrepresented within the repertoire of solutions available to the developers of self-adaptive systems. To address this gap, we present a work-in-progress approach for the prediction of-system-level disruptions (PRESTO) through parametric model checking. Intended for use in the analysis step of the MAPE-K (MonitorAnalyse-Plan-Execute over a shared Knowledge) feedback control loop of self-adaptive systems, PRESTO comprises two stages. First, time-series analysis is applied to monitoring data in order to identify trends in the values of individual system and/or environment parameters. Next, future non-functional requirement violations are predicted by using parametric model checking, in order to establish the potential impact of these trends on the reliability and performance of the system. We illustrate the application of PRESTO in a case study from the autonomous farming domain.","PeriodicalId":227173,"journal":{"name":"2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131531107","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}
引用次数: 18
Devops for digital business: Optimizing the performance and economic efficiency of software products for digital business 数字化业务开发:优化数字化业务软件产品的性能和经济效益
Soude Ghari
Software is playing an increasingly crucial role for any modern enterprise. Due to the high volatility of software and its environment, management of software change has become a crucial ability of a digital enterprise. Indeed, the ever-changing technical aspects of cloud-based software might influence its economic aspects at the same rate. This PhD work proposes an autonomic management framework for economic-driven adaptive resource allocation, during which performance and economics are considered simultaneously. The framework consists of a hybrid performance-economic model for cloud software systems and a self-adaptive system for resource management at run time. The proposed framework will be developed and evaluated on use cases from the domain of financial services. The objective in these use cases is to improve productivity of data scientists when they train and deploy analytical and ML models, while maintaining a low resource consumption. Considering productivity and cost as the economic factors, and latency and resource consumption as the technical ones, we will use the proposed hybrid model to guide initial deployment, and the self-adaptive system to adjust the deployment at run time.
软件对任何现代企业来说都扮演着越来越重要的角色。由于软件及其环境的高波动性,软件变更管理已成为数字化企业的一项关键能力。事实上,基于云的软件不断变化的技术方面可能以同样的速度影响其经济方面。这项博士工作提出了一个经济驱动的适应性资源配置的自主管理框架,在这个框架中,绩效和经济性同时被考虑。该框架由用于云软件系统的混合性能-经济模型和用于运行时资源管理的自适应系统组成。拟议的框架将根据金融服务领域的用例进行开发和评估。这些用例的目标是在训练和部署分析和ML模型时提高数据科学家的生产力,同时保持低资源消耗。考虑到生产力和成本是经济因素,延迟和资源消耗是技术因素,我们将使用所提出的混合模型来指导初始部署,并使用自适应系统在运行时调整部署。
{"title":"Devops for digital business: Optimizing the performance and economic efficiency of software products for digital business","authors":"Soude Ghari","doi":"10.1145/3524844.3528069","DOIUrl":"https://doi.org/10.1145/3524844.3528069","url":null,"abstract":"Software is playing an increasingly crucial role for any modern enterprise. Due to the high volatility of software and its environment, management of software change has become a crucial ability of a digital enterprise. Indeed, the ever-changing technical aspects of cloud-based software might influence its economic aspects at the same rate. This PhD work proposes an autonomic management framework for economic-driven adaptive resource allocation, during which performance and economics are considered simultaneously. The framework consists of a hybrid performance-economic model for cloud software systems and a self-adaptive system for resource management at run time. The proposed framework will be developed and evaluated on use cases from the domain of financial services. The objective in these use cases is to improve productivity of data scientists when they train and deploy analytical and ML models, while maintaining a low resource consumption. Considering productivity and cost as the economic factors, and latency and resource consumption as the technical ones, we will use the proposed hybrid model to guide initial deployment, and the self-adaptive system to adjust the deployment at run time.","PeriodicalId":227173,"journal":{"name":"2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129689881","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
Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis 基于自适应步骤的组合安全分析模型协同进化研究
Thomas E. F. Witte, Raffaela Groner, Alexander Raschke, Matthias Tichy, Irdin Pekaric, M. Felderer
Self-adaptive systems offer several attack surfaces due to the communication via different channels and the different sensors required to observe the environment. Often, attacks cause safety to be compromised as well, making it necessary to consider these two aspects together. Furthermore, the approaches currently used for safety and security analysis do not sufficient take into account the intermediate steps of an adaptation. Current work in this area ignores the fact that a self-adaptive system also reveals possible vulnerabilities (even if only temporarily) during the adaptation. To address this issue, we propose a modeling approach that takes into account the different relevant aspects of a system, its adaptation process, as well as safety hazards and security attacks. We present several models that describe different aspects of a self-adaptive system and we outline our idea of how these models can then be combined into an Attack-Fault Tree. This allows modeling aspects of the system on different levels of abstraction and co-evolve the models using transformations according to the adaptation of the system. Finally, analyses can then be performed as usual on the resulting Attack-Fault Tree.CCS CONCEPTS• Software and its engineering → System description languages; Fault tree analysis; • Computer systems organization → Embedded and cyber-physical systems; Dependable and fault-tolerant systems and networks.
由于通过不同的通信通道和观察环境所需的不同传感器,自适应系统提供了多个攻击面。通常,攻击还会损害安全性,因此有必要同时考虑这两个方面。此外,目前用于安全和保障分析的方法没有充分考虑到适应的中间步骤。目前在这一领域的工作忽略了一个事实,即自适应系统在适应过程中也会暴露出可能的脆弱性(即使只是暂时的)。为了解决这个问题,我们提出了一种建模方法,该方法考虑了系统的不同相关方面、其适应过程以及安全隐患和安全攻击。我们提出了几个描述自适应系统不同方面的模型,并概述了如何将这些模型组合成攻击-故障树的想法。这允许在不同的抽象层次上对系统的各个方面进行建模,并根据系统的适应性使用转换来共同发展模型。最后,可以像往常一样对生成的攻击-故障树执行分析。•软件及其工程→系统描述语言;故障树分析;•计算机系统组织→嵌入式和网络物理系统;可靠和容错的系统和网络。
{"title":"Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis","authors":"Thomas E. F. Witte, Raffaela Groner, Alexander Raschke, Matthias Tichy, Irdin Pekaric, M. Felderer","doi":"10.1145/3524844.3528062","DOIUrl":"https://doi.org/10.1145/3524844.3528062","url":null,"abstract":"Self-adaptive systems offer several attack surfaces due to the communication via different channels and the different sensors required to observe the environment. Often, attacks cause safety to be compromised as well, making it necessary to consider these two aspects together. Furthermore, the approaches currently used for safety and security analysis do not sufficient take into account the intermediate steps of an adaptation. Current work in this area ignores the fact that a self-adaptive system also reveals possible vulnerabilities (even if only temporarily) during the adaptation. To address this issue, we propose a modeling approach that takes into account the different relevant aspects of a system, its adaptation process, as well as safety hazards and security attacks. We present several models that describe different aspects of a self-adaptive system and we outline our idea of how these models can then be combined into an Attack-Fault Tree. This allows modeling aspects of the system on different levels of abstraction and co-evolve the models using transformations according to the adaptation of the system. Finally, analyses can then be performed as usual on the resulting Attack-Fault Tree.CCS CONCEPTS• Software and its engineering → System description languages; Fault tree analysis; • Computer systems organization → Embedded and cyber-physical systems; Dependable and fault-tolerant systems and networks.","PeriodicalId":227173,"journal":{"name":"2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133102001","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}
引用次数: 5
Preliminary Results of a Survey on the Use of Self-Adaptation in Industry 自适应技术在工业上应用的初步调查结果
Danny Weyns, I. Gerostathopoulos, Nadeem Abbas, J. Andersson, S. Biffl, Přemek Brada, T. Bures, A. D. Salle, P. Lago, Angelika Musil, Juergen Musil, Patrizio Pelliccione
Self-adaptation equips a software system with a feedback loop that automates tasks that otherwise need to be performed by operators. Such feedback loops have found their way to a variety of practical applications, one typical example is an elastic cloud. Yet, the state of the practice in self-adaptation is currently not clear. To get insights into the use of self-adaptation in practice, we are running a largescale survey with industry. This paper reports preliminary results based on survey data that we obtained from 113 practitioners spread over 16 countries, 62 of them work with concrete self-adaptive systems. We highlight the main insights obtained so far: motivations for self-adaptation, concrete use cases, and difficulties encountered when applying self-adaptation in practice. We conclude the paper with outlining our plans for the remainder of the study.CCS CONCEPTS • Software and its engineering $rightarrow$Software system structures; Designing software; Maintaining software.
自适应为软件系统配备了一个反馈回路,使原本需要操作员执行的任务自动化。这种反馈循环已经在各种实际应用中找到了自己的方式,一个典型的例子是弹性云。然而,自我适应的实践现状目前尚不清楚。为了深入了解自我适应在实践中的应用,我们正在进行一项大规模的行业调查。本文报告了基于我们从遍布16个国家的113名从业人员中获得的调查数据的初步结果,其中62人使用具体的自适应系统。我们强调了迄今为止获得的主要见解:自我适应的动机,具体的用例,以及在实践中应用自我适应时遇到的困难。我们在论文的最后概述了我们对剩余研究的计划。CCS CONCEPTS•软件及其工程$右箭头$软件系统结构;设计软件;维护软件。
{"title":"Preliminary Results of a Survey on the Use of Self-Adaptation in Industry","authors":"Danny Weyns, I. Gerostathopoulos, Nadeem Abbas, J. Andersson, S. Biffl, Přemek Brada, T. Bures, A. D. Salle, P. Lago, Angelika Musil, Juergen Musil, Patrizio Pelliccione","doi":"10.1145/3524844.3528077","DOIUrl":"https://doi.org/10.1145/3524844.3528077","url":null,"abstract":"Self-adaptation equips a software system with a feedback loop that automates tasks that otherwise need to be performed by operators. Such feedback loops have found their way to a variety of practical applications, one typical example is an elastic cloud. Yet, the state of the practice in self-adaptation is currently not clear. To get insights into the use of self-adaptation in practice, we are running a largescale survey with industry. This paper reports preliminary results based on survey data that we obtained from 113 practitioners spread over 16 countries, 62 of them work with concrete self-adaptive systems. We highlight the main insights obtained so far: motivations for self-adaptation, concrete use cases, and difficulties encountered when applying self-adaptation in practice. We conclude the paper with outlining our plans for the remainder of the study.CCS CONCEPTS • Software and its engineering $rightarrow$Software system structures; Designing software; Maintaining software.","PeriodicalId":227173,"journal":{"name":"2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128597113","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}
引用次数: 10
Towards Digital Twin-enabled DevOps for CPS providing Architecture-Based Service Adaptation & Verification at Runtime 为CPS提供基于架构的服务适应和运行时验证,实现数字双支持DevOps
Jürgen Dobaj, A. Riel, T. Krug, Matthias Seidl, Georg Macher, M. Egretzberger
Background: Industrial Product-Service Systems (IPSS) denote a service-oriented way of providing access to cyber-physical systems’ (CPS) capabilities. The design of such systems bears high risk due to uncertainty in requirements related to service function and behavior, operation environments, and evolving customer needs. Such risks and uncertainties are well known in the IT sector, where DevOps principles ensure continuous system improvement through reliable and frequent delivery processes. A modular and service-oriented system architecture complements these processes to facilitate IT system adaptation and evolution.Objective: This work proposes a method to use and extend the Digital Twins (DTs) of IPSS assets for enabling the continuous optimization of CPS service delivery and the latter’s adaptation to changing needs and environments. This reduces uncertainty during design and operations by assuring IPSS integrity and availability, especially for design and service adaptations at CPS runtime.Methodology: The method builds on transferring IT DevOps principles to DT-enabled CPS IPSS. The chosen design approach integrates, reuses, and aligns the DT processing and communication resources with DevOps requirements derived from literature.Results: We use these requirements to propose a DT-enabled self-adaptive CPS model, which guides the realization of DT-enabled DevOps in CPS IPSS. We further propose detailed design models for operation-critical DTs that integrate CPS closed-loop control and architecture-based CPS adaptation. This integrated approach enables the implementation of A/B testing as a use case and central concept to enable CPS IPSS service adaptation and reconfiguration.Conclusion: The self-adaptive CPS model and DT design concept have been validated in an evaluation environment for operation-critical CPS IPSS. The demonstrator achieved sub-millisecond cycle times during service A/B testing at runtime without causing CPS operation interferences and downtime.CCS CONCEPTS• Computer systems organization~Embedded and cyber-physical systems •Computer systems organization~Architectures
背景:工业产品服务系统(IPSS)表示一种面向服务的方式,提供对网络物理系统(CPS)能力的访问。由于与业务功能和行为、运行环境以及不断变化的客户需求相关的需求存在不确定性,因此此类系统的设计具有较高的风险。这样的风险和不确定性在IT领域是众所周知的,DevOps原则通过可靠和频繁的交付过程来确保持续的系统改进。模块化和面向服务的系统体系结构对这些过程进行了补充,以促进IT系统的适应和发展。目的:本工作提出了一种使用和扩展IPSS资产的数字双胞胎(DTs)的方法,以实现CPS服务交付的持续优化,并使后者适应不断变化的需求和环境。通过确保IPSS的完整性和可用性,特别是在CPS运行时的设计和服务调整,减少了设计和操作过程中的不确定性。方法论:该方法建立在将IT DevOps原则转换为支持dt的CPS IPSS的基础上。所选择的设计方法集成、重用并使DT处理和通信资源与文献中派生的DevOps需求保持一致。结果:我们根据这些需求提出了一个支持dt的自适应CPS模型,该模型指导了在CPS IPSS中实现支持dt的DevOps。我们进一步提出了集成CPS闭环控制和基于体系结构的CPS自适应的关键操作dt的详细设计模型。这种集成的方法可以将A/B测试作为一个用例和中心概念来实现,从而实现CPS / IPSS服务的适应和重新配置。结论:自适应CPS模型和DT设计理念在关键操作CPS IPSS的评估环境中得到了验证。在运行时的服务A/B测试中,演示器实现了亚毫秒的周期时间,而不会造成CPS操作干扰和停机。计算机系统组织~嵌入式和网络物理系统•计算机系统组织~体系结构
{"title":"Towards Digital Twin-enabled DevOps for CPS providing Architecture-Based Service Adaptation & Verification at Runtime","authors":"Jürgen Dobaj, A. Riel, T. Krug, Matthias Seidl, Georg Macher, M. Egretzberger","doi":"10.1145/3524844.3528057","DOIUrl":"https://doi.org/10.1145/3524844.3528057","url":null,"abstract":"Background: Industrial Product-Service Systems (IPSS) denote a service-oriented way of providing access to cyber-physical systems’ (CPS) capabilities. The design of such systems bears high risk due to uncertainty in requirements related to service function and behavior, operation environments, and evolving customer needs. Such risks and uncertainties are well known in the IT sector, where DevOps principles ensure continuous system improvement through reliable and frequent delivery processes. A modular and service-oriented system architecture complements these processes to facilitate IT system adaptation and evolution.Objective: This work proposes a method to use and extend the Digital Twins (DTs) of IPSS assets for enabling the continuous optimization of CPS service delivery and the latter’s adaptation to changing needs and environments. This reduces uncertainty during design and operations by assuring IPSS integrity and availability, especially for design and service adaptations at CPS runtime.Methodology: The method builds on transferring IT DevOps principles to DT-enabled CPS IPSS. The chosen design approach integrates, reuses, and aligns the DT processing and communication resources with DevOps requirements derived from literature.Results: We use these requirements to propose a DT-enabled self-adaptive CPS model, which guides the realization of DT-enabled DevOps in CPS IPSS. We further propose detailed design models for operation-critical DTs that integrate CPS closed-loop control and architecture-based CPS adaptation. This integrated approach enables the implementation of A/B testing as a use case and central concept to enable CPS IPSS service adaptation and reconfiguration.Conclusion: The self-adaptive CPS model and DT design concept have been validated in an evaluation environment for operation-critical CPS IPSS. The demonstrator achieved sub-millisecond cycle times during service A/B testing at runtime without causing CPS operation interferences and downtime.CCS CONCEPTS• Computer systems organization~Embedded and cyber-physical systems •Computer systems organization~Architectures","PeriodicalId":227173,"journal":{"name":"2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133593307","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
Lifelong Self-Adaptation: Self-Adaptation Meets Lifelong Machine Learning 终身自适应:自适应与终身机器学习相结合
Omid Gheibi, Danny Weyns
In the past years, machine learning (ML) has become a popular approach to support self-adaptation. While ML techniques enable dealing with several problems in self-adaptation, such as scalable decision-making, they are also subject to inherent challenges. In this paper, we focus on one such challenge that is particularly important for self-adaptation: ML techniques are designed to deal with a set of predefined tasks associated with an operational domain; they have problems to deal with new emerging tasks, such as concept shift in input data that is used for learning. To tackle this challenge, we present lifelong self-adaptation: a novel approach to self-adaptation that enhances self-adaptive systems that use ML techniques with a lifelong ML layer. The lifelong ML layer tracks the running system and its environment, associates this knowledge with the current tasks, identifies new tasks based on differentiations, and updates the learning models of the self-adaptive system accordingly. We present a reusable architecture for lifelong self-adaptation and apply it to the case of concept drift caused by unforeseen changes of the input data of a learning model that is used for decision-making in self-adaptation. We validate lifelong self-adaptation for two types of concept drift using two cases.
在过去的几年里,机器学习(ML)已经成为一种流行的支持自适应的方法。虽然机器学习技术能够处理自适应中的几个问题,例如可扩展的决策,但它们也受到固有挑战的影响。在本文中,我们专注于一个对自适应特别重要的挑战:ML技术旨在处理与操作域相关的一组预定义任务;他们在处理新出现的任务时遇到问题,比如用于学习的输入数据中的概念转换。为了应对这一挑战,我们提出了终身自适应:一种新的自适应方法,它增强了使用终身ML层的ML技术的自适应系统。终身机器学习层跟踪运行的系统及其环境,将这些知识与当前任务关联起来,根据差异识别新任务,并相应地更新自适应系统的学习模型。我们提出了一个终身自适应的可重用架构,并将其应用于自适应决策中使用的学习模型的输入数据的不可预见变化引起的概念漂移的情况。我们用两个例子验证了两种类型的概念漂移的终身自适应。
{"title":"Lifelong Self-Adaptation: Self-Adaptation Meets Lifelong Machine Learning","authors":"Omid Gheibi, Danny Weyns","doi":"10.1145/3524844.3528052","DOIUrl":"https://doi.org/10.1145/3524844.3528052","url":null,"abstract":"In the past years, machine learning (ML) has become a popular approach to support self-adaptation. While ML techniques enable dealing with several problems in self-adaptation, such as scalable decision-making, they are also subject to inherent challenges. In this paper, we focus on one such challenge that is particularly important for self-adaptation: ML techniques are designed to deal with a set of predefined tasks associated with an operational domain; they have problems to deal with new emerging tasks, such as concept shift in input data that is used for learning. To tackle this challenge, we present lifelong self-adaptation: a novel approach to self-adaptation that enhances self-adaptive systems that use ML techniques with a lifelong ML layer. The lifelong ML layer tracks the running system and its environment, associates this knowledge with the current tasks, identifies new tasks based on differentiations, and updates the learning models of the self-adaptive system accordingly. We present a reusable architecture for lifelong self-adaptation and apply it to the case of concept drift caused by unforeseen changes of the input data of a learning model that is used for decision-making in self-adaptation. We validate lifelong self-adaptation for two types of concept drift using two cases.","PeriodicalId":227173,"journal":{"name":"2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130380212","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}
引用次数: 10
Extending MAPE-K to support Human-Machine Teaming 扩展MAPE-K以支持人机协作
J. Cleland-Huang, Ankit Agrawal, Michael Vierhauser, Michael Murphy, Mike Prieto
The MAPE-K feedback loop has been established as the primary reference model for self-adaptive and autonomous systems in domains such as autonomous driving, robotics, and Cyber-Physical Systems. At the same time, the Human Machine Teaming (HMT) paradigm is designed to promote partnerships between humans and autonomous machines. It goes far beyond the degree of collaboration expected in human-on-the-loop and human-in-the-loop systems and emphasizes interactions, partnership, and teamwork between humans and machines. However, while MAPE-K enables fully autonomous behavior, it does not explicitly address the interactions between humans and machines as intended by HMT. In this paper, we present the MAPE-KHMT framework which augments the traditional MAPE-K loop with support for HMT. We identify critical human-machine teaming factors and describe the infrastructure needed across the various phases of the MAPE-K loop in order to effectively support HMT. This includes runtime models that are constructed and populated dynamically across monitoring, analysis, planning, and execution phases to support human-machine partnerships. We illustrate MAPE-KHMT using examples from an autonomous multi-UAV emergency response system, and present guidelines for integrating HMT into MAPE-K.CCS CONCEPTS• Human-centered computing → Collaborative interaction; HCI theory, concepts and models.
MAPE-K反馈回路已被建立为自动驾驶、机器人和网络物理系统等领域自适应和自主系统的主要参考模型。同时,人机协作(HMT)范式旨在促进人类和自主机器之间的伙伴关系。它远远超出了人在循环和人在循环系统中所期望的协作程度,并强调人与机器之间的交互、伙伴关系和团队合作。然而,尽管MAPE-K支持完全自主的行为,但它并没有像HMT所期望的那样明确地解决人与机器之间的交互。在本文中,我们提出了MAPE-KHMT框架,它通过支持HMT来增强传统的MAPE-K循环。我们确定了关键的人机协作因素,并描述了MAPE-K循环各个阶段所需的基础设施,以便有效地支持HMT。这包括在监视、分析、计划和执行阶段动态构建和填充的运行时模型,以支持人机合作关系。我们使用来自自主多无人机应急响应系统的示例来说明MAPE-KHMT,并提出将HMT集成到MAPE-K中的指导方针。•以人为中心的计算→协同交互;人机交互理论、概念和模型。
{"title":"Extending MAPE-K to support Human-Machine Teaming","authors":"J. Cleland-Huang, Ankit Agrawal, Michael Vierhauser, Michael Murphy, Mike Prieto","doi":"10.1145/3524844.3528054","DOIUrl":"https://doi.org/10.1145/3524844.3528054","url":null,"abstract":"The MAPE-K feedback loop has been established as the primary reference model for self-adaptive and autonomous systems in domains such as autonomous driving, robotics, and Cyber-Physical Systems. At the same time, the Human Machine Teaming (HMT) paradigm is designed to promote partnerships between humans and autonomous machines. It goes far beyond the degree of collaboration expected in human-on-the-loop and human-in-the-loop systems and emphasizes interactions, partnership, and teamwork between humans and machines. However, while MAPE-K enables fully autonomous behavior, it does not explicitly address the interactions between humans and machines as intended by HMT. In this paper, we present the MAPE-KHMT framework which augments the traditional MAPE-K loop with support for HMT. We identify critical human-machine teaming factors and describe the infrastructure needed across the various phases of the MAPE-K loop in order to effectively support HMT. This includes runtime models that are constructed and populated dynamically across monitoring, analysis, planning, and execution phases to support human-machine partnerships. We illustrate MAPE-KHMT using examples from an autonomous multi-UAV emergency response system, and present guidelines for integrating HMT into MAPE-K.CCS CONCEPTS• Human-centered computing → Collaborative interaction; HCI theory, concepts and models.","PeriodicalId":227173,"journal":{"name":"2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115314084","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}
引用次数: 9
Planning Landscape Analysis for Self-Adaptive Systems 自适应系统的规划景观分析
Tao Chen
To assure performance on the fly, planning is arguably one of the most important steps for self-adaptive systems (SASs), especially when they are highly configurable with a daunting number of adaptation options. However, there has been little understanding of the planning landscape or ways by which it can be analyzed. This inevitably creates barriers to the design of better and tailored planners for SASs. In this paper, we showcase how the planning landscapes of SASs can be quantified and reasoned, particularly with respect to the different environments. By studying four diverse real-world SASs and 14 environments, we found that (1) the SAS planning landscapes often provide strong guidance to the planner, but their ruggedness and multi-modality can be the major obstacle; (2) the extents of guidance and number of global/local optima are sensitive to the changing environment, but not the ruggedness of the surface; (3) the local optima are often closer to the global optimum than other random points; and (4) there are considerable (and useful) overlaps on the global/local optima between landscapes under different environments. We then discuss the potential implications to the future work of planner designs for SASs. CCS CONCEPTS • Software and its engineering $rightarrow$ Software performance; Software configuration management and version control systems.
为了确保动态性能,规划可以说是自适应系统(SASs)最重要的步骤之一,特别是当它们具有令人生畏的适应性选项的高度可配置性时。然而,人们对规划景观或分析规划景观的方法了解甚少。这不可避免地会给为SASs设计更好的、量身定制的规划师带来障碍。在本文中,我们展示了如何量化和推理SASs的规划景观,特别是关于不同的环境。研究结果表明:(1)SAS规划景观对规划者具有较强的指导作用,但其粗劣性和多模态性可能成为主要障碍;(2)引导范围和全局/局部最优数对环境变化较为敏感,但对地形的粗糙度不敏感;(3)局部最优点往往比其他随机点更接近全局最优点;(4)在不同环境下,景观之间的全局/局部最优值存在相当大的(且有用的)重叠。然后,我们讨论了SASs规划器设计对未来工作的潜在影响。CCS CONCEPTS•软件及其工程$右划$软件性能;软件配置管理和版本控制系统。
{"title":"Planning Landscape Analysis for Self-Adaptive Systems","authors":"Tao Chen","doi":"10.1145/3524844.3528060","DOIUrl":"https://doi.org/10.1145/3524844.3528060","url":null,"abstract":"To assure performance on the fly, planning is arguably one of the most important steps for self-adaptive systems (SASs), especially when they are highly configurable with a daunting number of adaptation options. However, there has been little understanding of the planning landscape or ways by which it can be analyzed. This inevitably creates barriers to the design of better and tailored planners for SASs. In this paper, we showcase how the planning landscapes of SASs can be quantified and reasoned, particularly with respect to the different environments. By studying four diverse real-world SASs and 14 environments, we found that (1) the SAS planning landscapes often provide strong guidance to the planner, but their ruggedness and multi-modality can be the major obstacle; (2) the extents of guidance and number of global/local optima are sensitive to the changing environment, but not the ruggedness of the surface; (3) the local optima are often closer to the global optimum than other random points; and (4) there are considerable (and useful) overlaps on the global/local optima between landscapes under different environments. We then discuss the potential implications to the future work of planner designs for SASs. CCS CONCEPTS • Software and its engineering $rightarrow$ Software performance; Software configuration management and version control systems.","PeriodicalId":227173,"journal":{"name":"2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123874941","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
期刊
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