首页 > 最新文献

2018 IEEE 12th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)最新文献

英文 中文
PINCH: Self-Organized Context Neighborhoods for Smart Environments PINCH:智能环境的自组织上下文社区
Chenguang Liu, C. Julien, A. Murphy
Today's "smart'" domains are driven by lightweight battery operated devices carried by people and embedded in environments. Many applications rely on continuous neighbor discovery, i.e., the ability to detect other nearby devices. Application uses for neighbor discovery are widely varying, but they all rely on a protocol in which devices exchange periodic beacons containing device identifiers. Many applications also ultimately involve assessing and adapting to context information sensed about the physical world and the device's situation in that world (e.g., its location or speed, the ambient temperature or sound, etc.). In this paper, we define Proactive Implicit Neighborhood Context Heuristics (PINCH), which leverages unused payload in periodic neighbor discovery beacons to opportunistically distribute context information in a local area. PINCH's self-organizing algorithms use limited local views of the state of a one-hop network neighborhood to determine the most useful type of context information for a device to sense and share. In this paper, we develop the algorithms, integrate an implementation of PINCHwith a smart city simulator, and benchmark the tradeoffs of self-organized local context sharing with 2.4GHz neighbor discovery beacons.
今天的“智能”领域是由人们携带并嵌入环境中的轻型电池供电设备驱动的。许多应用程序依赖于连续的邻居发现,即检测附近其他设备的能力。邻居发现的应用程序用途各不相同,但它们都依赖于一种协议,在该协议中,设备交换包含设备标识符的定期信标。许多应用最终还涉及评估和适应有关物理世界的环境信息以及设备在该世界中的情况(例如,其位置或速度,环境温度或声音等)。在本文中,我们定义了主动隐式邻居上下文启发式(PINCH),它利用周期性邻居发现信标中未使用的有效载荷在局部区域内机会地分发上下文信息。PINCH的自组织算法使用一跳网络邻居状态的有限本地视图来确定设备要感知和共享的最有用的上下文信息类型。在本文中,我们开发了算法,将pinch的实现与智慧城市模拟器集成,并对自组织本地上下文共享与2.4GHz邻居发现信标的权衡进行了基准测试。
{"title":"PINCH: Self-Organized Context Neighborhoods for Smart Environments","authors":"Chenguang Liu, C. Julien, A. Murphy","doi":"10.1109/SASO.2018.00023","DOIUrl":"https://doi.org/10.1109/SASO.2018.00023","url":null,"abstract":"Today's \"smart'\" domains are driven by lightweight battery operated devices carried by people and embedded in environments. Many applications rely on continuous neighbor discovery, i.e., the ability to detect other nearby devices. Application uses for neighbor discovery are widely varying, but they all rely on a protocol in which devices exchange periodic beacons containing device identifiers. Many applications also ultimately involve assessing and adapting to context information sensed about the physical world and the device's situation in that world (e.g., its location or speed, the ambient temperature or sound, etc.). In this paper, we define Proactive Implicit Neighborhood Context Heuristics (PINCH), which leverages unused payload in periodic neighbor discovery beacons to opportunistically distribute context information in a local area. PINCH's self-organizing algorithms use limited local views of the state of a one-hop network neighborhood to determine the most useful type of context information for a device to sense and share. In this paper, we develop the algorithms, integrate an implementation of PINCHwith a smart city simulator, and benchmark the tradeoffs of self-organized local context sharing with 2.4GHz neighbor discovery beacons.","PeriodicalId":405522,"journal":{"name":"2018 IEEE 12th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134381742","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}
引用次数: 7
Self-Adaptation Strategies to Maintain Security Assurance Cases 维护安全保障案例的自适应策略
Sharmin Jahan, Allen Marshall, R. Gamble
Information system security certification involves guaranteeing that mechanisms are deployed to comply with selected security controls, such as those in the NIST SP800-53, at acceptable levels of confidence and risk. When a system can self-adapt at runtime, it may alter its functional behavior to address a defect or anomaly. This functional change can impact associated security controls, potentially making the adapted system vulnerable to security threats. Performing security control assurance adaptation along with functional adaptation would allow both compliance confidence and risk analysis to accompany functional adaptation analysis. The need for this dual assessment implies security control compliance should be expressed such that an adaptation can be reflected as part of its compliance status. In this paper, we represent security controls and their deployed mechanisms in terms of security assurance cases. We define a template using Goal Structuring Notation (GSN) that follows the NIST SP800-53 control statement structure. We define three adaptation operators to dictate how and where a change impacts relevant assurance cases. The objective is to express and manage the controls and adaptation operators so that changes to a security assurance case can be embedded and traced within the executing system to make it security aware. We illustrate the approach using a small case study and a security control for systems and communications protection, taken from the NIST SP800-53.
信息系统安全认证包括保证机制的部署符合选定的安全控制,例如NIST SP800-53中的那些,在可接受的置信度和风险水平上。当系统可以在运行时自适应时,它可以改变其功能行为来处理缺陷或异常。此功能更改可能影响相关的安全控制,从而可能使已调整的系统容易受到安全威胁。在功能适应的同时执行安全控制保证适应将允许遵从性信心和风险分析同时伴随着功能适应分析。对这种双重评估的需要意味着安全控制遵从性的表达应该是这样的,即适应可以反映为其遵从性状态的一部分。在本文中,我们根据安全保证案例来表示安全控制及其部署机制。我们使用遵循NIST SP800-53控制语句结构的目标结构符号(GSN)定义模板。我们定义了三个适应操作符来指示变更如何以及在何处影响相关的保证案例。目标是表达和管理控制和自适应操作符,以便可以在执行系统中嵌入和跟踪对安全保证用例的更改,从而使其具有安全意识。我们使用一个小型案例研究和用于系统和通信保护的安全控制(取自NIST SP800-53)来说明这种方法。
{"title":"Self-Adaptation Strategies to Maintain Security Assurance Cases","authors":"Sharmin Jahan, Allen Marshall, R. Gamble","doi":"10.1109/SASO.2018.00031","DOIUrl":"https://doi.org/10.1109/SASO.2018.00031","url":null,"abstract":"Information system security certification involves guaranteeing that mechanisms are deployed to comply with selected security controls, such as those in the NIST SP800-53, at acceptable levels of confidence and risk. When a system can self-adapt at runtime, it may alter its functional behavior to address a defect or anomaly. This functional change can impact associated security controls, potentially making the adapted system vulnerable to security threats. Performing security control assurance adaptation along with functional adaptation would allow both compliance confidence and risk analysis to accompany functional adaptation analysis. The need for this dual assessment implies security control compliance should be expressed such that an adaptation can be reflected as part of its compliance status. In this paper, we represent security controls and their deployed mechanisms in terms of security assurance cases. We define a template using Goal Structuring Notation (GSN) that follows the NIST SP800-53 control statement structure. We define three adaptation operators to dictate how and where a change impacts relevant assurance cases. The objective is to express and manage the controls and adaptation operators so that changes to a security assurance case can be embedded and traced within the executing system to make it security aware. We illustrate the approach using a small case study and a security control for systems and communications protection, taken from the NIST SP800-53.","PeriodicalId":405522,"journal":{"name":"2018 IEEE 12th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125926160","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
Message from the SASO 2018 General Chairs 2018年SASO总主席致辞
Following a tradition of alternating venues between the United States and Europe, SASO 2018 is organised in Trento, Italy. Past editions have travelled to Boston, Venice, San Francisco, Budapest, Ann Arbor, Lyon, Philadelphia, London, Boston, Augsburg and Tucson. In Trento, SASO is jointly organized by the Bruno Kessler Foundation (FBK) and the University of Trento, two of the most important research and academic institutions in Italy. Trento is a beautiful city in the heart of the Dolomites Alps, near Lake Garda. The center has a strong Renaissance mark with several beautiful buildings adorned by frescoes, some built to accommodate delegates to the Council of Trent (15451563). The surroundings of Trento offer beautiful naturalistic tracks on top of mountains (e.g., Monte Bondone), around the numerous lakes or nearby ancient castles.
继美国和欧洲交替举办的传统之后,SASO 2018在意大利特伦托举办。往届已在波士顿、威尼斯、旧金山、布达佩斯、安娜堡、里昂、费城、伦敦、波士顿、奥格斯堡和图森举办。在特伦托,SASO由布鲁诺凯斯勒基金会(FBK)和特伦托大学联合组织,这两所大学是意大利最重要的研究和学术机构。特伦托是一座美丽的城市,位于多洛米蒂阿尔卑斯山脉的中心,靠近加尔达湖。该中心有几座装饰着壁画的美丽建筑,具有强烈的文艺复兴风格,其中一些建筑是为了容纳参加特伦特会议(15451563)的代表而建造的。特伦托周围的环境提供了美丽的自然小径,在山顶(例如蒙特邦多纳),周围有许多湖泊或附近的古城堡。
{"title":"Message from the SASO 2018 General Chairs","authors":"","doi":"10.1109/saso.2018.00005","DOIUrl":"https://doi.org/10.1109/saso.2018.00005","url":null,"abstract":"Following a tradition of alternating venues between the United States and Europe, SASO 2018 is organised in Trento, Italy. Past editions have travelled to Boston, Venice, San Francisco, Budapest, Ann Arbor, Lyon, Philadelphia, London, Boston, Augsburg and Tucson. In Trento, SASO is jointly organized by the Bruno Kessler Foundation (FBK) and the University of Trento, two of the most important research and academic institutions in Italy. Trento is a beautiful city in the heart of the Dolomites Alps, near Lake Garda. The center has a strong Renaissance mark with several beautiful buildings adorned by frescoes, some built to accommodate delegates to the Council of Trent (15451563). The surroundings of Trento offer beautiful naturalistic tracks on top of mountains (e.g., Monte Bondone), around the numerous lakes or nearby ancient castles.","PeriodicalId":405522,"journal":{"name":"2018 IEEE 12th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123960998","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 Multi-Agent Elasticity Management Based on Multi-Tenant Debt Exchanges 基于多租户债务交换的多代理弹性管理
C. Mera-Gómez, Francisco Ramírez, R. Bahsoon, R. Buyya
A multi-tenant Software as a Service (SaaS) application is a highly configurable software that allows its owner to serve multiple tenants, each with their own workflows, workloads and Service Level Objectives (SLOs). Tenants are usually organizations that serve several users and the application appears to be a different one for each tenant. However, in practice, multi-tenant SaaS applications limit the diversity of tenants by clustering them in a few categories (e.g. premium, standard) with predefined SLOs. Additionally, this coarse-grained clustering reduces the advantage of these multi-tenant ecosystems over single tenant architectures to share dynamically virtual resources between tenants based on their own workload profile and elasticity adaptation decisions. To address this limitation, we propose a multi-agent elasticity management where each tenant is represented by a reinforcement learning agent that performs elasticity adaptations based on a new technical debt perspective, and make use of debt attributes (i.e. amnesty, interest) to form autonomous coalitions that minimise the effect of the unavoidable imperfections in any elasticity management approach. We extended CloudSim and Burlap to evaluate our approach. The simulation results indicate that our debt-aware multi-agent elasticity management preserves the diversity of tenants and reduces SLO violations without affecting the aggregate utility of the application owner.
多租户软件即服务(SaaS)应用程序是一种高度可配置的软件,允许其所有者为多个租户提供服务,每个租户都有自己的工作流、工作负载和服务级别目标(slo)。租户通常是为多个用户提供服务的组织,每个租户的应用程序似乎是不同的。然而,在实践中,多租户SaaS应用程序通过使用预定义的slo将租户聚集在几个类别(例如高级、标准)中,从而限制了租户的多样性。此外,这种粗粒度集群减少了这些多租户生态系统相对于单租户架构的优势,即基于租户自己的工作负载配置文件和弹性适应决策在租户之间动态共享虚拟资源。为了解决这一限制,我们提出了一种多代理弹性管理,其中每个租户都由一个强化学习代理表示,该代理基于新的技术债务视角执行弹性适应,并利用债务属性(即大赦,利息)形成自治联盟,以最大限度地减少任何弹性管理方法中不可避免的缺陷的影响。我们扩展了CloudSim和Burlap来评估我们的方法。仿真结果表明,我们的债务感知多代理弹性管理在不影响应用程序所有者的总效用的情况下,保留了租户的多样性并减少了SLO违规。
{"title":"A Multi-Agent Elasticity Management Based on Multi-Tenant Debt Exchanges","authors":"C. Mera-Gómez, Francisco Ramírez, R. Bahsoon, R. Buyya","doi":"10.1109/SASO.2018.00014","DOIUrl":"https://doi.org/10.1109/SASO.2018.00014","url":null,"abstract":"A multi-tenant Software as a Service (SaaS) application is a highly configurable software that allows its owner to serve multiple tenants, each with their own workflows, workloads and Service Level Objectives (SLOs). Tenants are usually organizations that serve several users and the application appears to be a different one for each tenant. However, in practice, multi-tenant SaaS applications limit the diversity of tenants by clustering them in a few categories (e.g. premium, standard) with predefined SLOs. Additionally, this coarse-grained clustering reduces the advantage of these multi-tenant ecosystems over single tenant architectures to share dynamically virtual resources between tenants based on their own workload profile and elasticity adaptation decisions. To address this limitation, we propose a multi-agent elasticity management where each tenant is represented by a reinforcement learning agent that performs elasticity adaptations based on a new technical debt perspective, and make use of debt attributes (i.e. amnesty, interest) to form autonomous coalitions that minimise the effect of the unavoidable imperfections in any elasticity management approach. We extended CloudSim and Burlap to evaluate our approach. The simulation results indicate that our debt-aware multi-agent elasticity management preserves the diversity of tenants and reduces SLO violations without affecting the aggregate utility of the application owner.","PeriodicalId":405522,"journal":{"name":"2018 IEEE 12th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121596320","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
Implementing Feedback for Programming by Demonstration 通过演示实现编程反馈
K. K. Budhraja, T. Oates
Agent-based modeling is a paradigm of modeling dynamic systems of interacting agents that are individually governed by specified behavioral rules. Training a model of such agents to produce an emergent behavior by specification of the emergent (as opposed to agent) behavior is easier from a demonstration perspective. Without the involvement of manual behavior specification via code or reliance on a defined taxonomy of possible behaviors, the demonstrator specifies spatial motion of the agents over time, and retrieves agent-level parameters required to execute that motion. A framework for reproducing emergent behavior, given an abstract demonstration, is discussed in existing work. Each query to the framework is independent of previous queries. Our work addresses this information communication deficit and incorporates a feedback mechanism to iteratively improve the quality of the reproduced behavior. This is explored by variation of regression parameters and data points used. Using data point selection to improve demonstration replication is established as a means of iterative optimization. Using optimization also shows potential for improved demonstration replication capability for the framework.
基于代理的建模是一种建模由相互作用的代理组成的动态系统的范例,这些代理分别受指定的行为规则控制。从演示的角度来看,通过规范突发(与代理相反)行为来训练此类代理的模型以产生突发行为更容易。无需通过代码进行手动行为规范,也无需依赖已定义的可能行为分类,演示者可以指定代理随时间的空间运动,并检索执行该运动所需的代理级参数。在现有的工作中,讨论了一个抽象的再现突现行为的框架。对框架的每个查询都独立于前面的查询。我们的工作解决了这一信息沟通缺陷,并结合了一个反馈机制来迭代地提高再现行为的质量。这是通过使用回归参数和数据点的变化来探索的。建立了利用数据点选择提高演示重复性的迭代优化方法。使用优化还显示了改进框架演示复制功能的潜力。
{"title":"Implementing Feedback for Programming by Demonstration","authors":"K. K. Budhraja, T. Oates","doi":"10.1109/SASO.2018.00028","DOIUrl":"https://doi.org/10.1109/SASO.2018.00028","url":null,"abstract":"Agent-based modeling is a paradigm of modeling dynamic systems of interacting agents that are individually governed by specified behavioral rules. Training a model of such agents to produce an emergent behavior by specification of the emergent (as opposed to agent) behavior is easier from a demonstration perspective. Without the involvement of manual behavior specification via code or reliance on a defined taxonomy of possible behaviors, the demonstrator specifies spatial motion of the agents over time, and retrieves agent-level parameters required to execute that motion. A framework for reproducing emergent behavior, given an abstract demonstration, is discussed in existing work. Each query to the framework is independent of previous queries. Our work addresses this information communication deficit and incorporates a feedback mechanism to iteratively improve the quality of the reproduced behavior. This is explored by variation of regression parameters and data points used. Using data point selection to improve demonstration replication is established as a means of iterative optimization. Using optimization also shows potential for improved demonstration replication capability for the framework.","PeriodicalId":405522,"journal":{"name":"2018 IEEE 12th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124118312","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
Reins-MAC: Firefly Inspired Communication Scheduling for Reliable Low-Power Wireless Reins-MAC:萤火虫启发的可靠低功耗无线通信调度
M. Ceriotti, A. Murphy
Pervasive sensing and actuation applications are increasingly being built using distributed devices connected with low-power wireless links. Most of these applications exploit anarchic protocols in which devices independently attempt to seize communication resources, supporting only best-effort applications as the communication they rely on cannot be guaranteed. For strict quality of service requirements, a few, non-anarchic, disciplined approaches exist in which nodes coordinate and resources are guaranteed to individual devices. Unfortunately, these solutions come at a considerable cost to form and conform to rigid communication schedules while considering the inherent volatility of the wireless environment. This work proposes Reins-MAC, a fully distributed solution that adapts to changes in the wireless environment and forms a flexible communication schedule able to support quality of service requirements. Inspired by pulse-coupled oscillators, the mathematical formulation of firefly flash synchronization, our approach forms and reserves communication slots of variable size in an online and adaptive manner. Reins-MAC tailors communication resources to network conditions that vary in time and space as well as to the explicit communication needs of devices by enabling distributed, dynamic changes to established schedules. Ultimately, Reins-MAC allows higher level abstractions to rein in the protocol anarchy, laying the foundation for reliable wireless applications.
无处不在的传感和驱动应用越来越多地使用分布式设备与低功耗无线链路连接。这些应用程序中的大多数都利用无政府协议,在这种协议中,设备会独立地尝试夺取通信资源,由于无法保证它们所依赖的通信,因此只支持尽力而为的应用程序。对于严格的服务质量需求,存在一些非无政府的、有纪律的方法,在这些方法中,节点相互协调,资源保证分配给各个设备。不幸的是,考虑到无线环境固有的不稳定性,这些解决方案需要付出相当大的代价来形成和遵循严格的通信时间表。这项工作提出了Reins-MAC,这是一种完全分布式的解决方案,可以适应无线环境的变化,并形成能够支持服务质量要求的灵活通信调度。受脉冲耦合振荡器的启发,萤火虫闪光同步的数学公式,我们的方法以在线和自适应的方式形成和保留可变大小的通信槽。Reins-MAC通过对已建立的时间表进行分布式、动态的更改,使通信资源适应时间和空间变化的网络条件以及设备的明确通信需求。最终,rein - mac允许更高层次的抽象来控制协议的混乱,为可靠的无线应用程序奠定基础。
{"title":"Reins-MAC: Firefly Inspired Communication Scheduling for Reliable Low-Power Wireless","authors":"M. Ceriotti, A. Murphy","doi":"10.1109/SASO.2018.00025","DOIUrl":"https://doi.org/10.1109/SASO.2018.00025","url":null,"abstract":"Pervasive sensing and actuation applications are increasingly being built using distributed devices connected with low-power wireless links. Most of these applications exploit anarchic protocols in which devices independently attempt to seize communication resources, supporting only best-effort applications as the communication they rely on cannot be guaranteed. For strict quality of service requirements, a few, non-anarchic, disciplined approaches exist in which nodes coordinate and resources are guaranteed to individual devices. Unfortunately, these solutions come at a considerable cost to form and conform to rigid communication schedules while considering the inherent volatility of the wireless environment. This work proposes Reins-MAC, a fully distributed solution that adapts to changes in the wireless environment and forms a flexible communication schedule able to support quality of service requirements. Inspired by pulse-coupled oscillators, the mathematical formulation of firefly flash synchronization, our approach forms and reserves communication slots of variable size in an online and adaptive manner. Reins-MAC tailors communication resources to network conditions that vary in time and space as well as to the explicit communication needs of devices by enabling distributed, dynamic changes to established schedules. Ultimately, Reins-MAC allows higher level abstractions to rein in the protocol anarchy, laying the foundation for reliable wireless applications.","PeriodicalId":405522,"journal":{"name":"2018 IEEE 12th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124836086","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
Message from the SASO 2018 Program Committee Chairs SASO 2018项目委员会主席的致辞
J. Beal, N. Bencomo, J. Botev
SASO’s role as a venue that bridges conceptual and applied research in the areas of self-adaptive and selforganizing systems was once again reflected in the main technical program. Papers on the fundamentals of self-organization and self-adaptation were complemented by those on the topics of testing/analysis, cloud applications, and resource management. Socio-technical aspects also continued to provide a strong theme for the conference.
SASO作为自适应和自组织系统领域的概念和应用研究桥梁的作用再次反映在主要的技术方案中。关于自组织和自适应基础的论文被关于测试/分析、云应用和资源管理主题的论文所补充。社会技术方面也继续为会议提供一个强有力的主题。
{"title":"Message from the SASO 2018 Program Committee Chairs","authors":"J. Beal, N. Bencomo, J. Botev","doi":"10.1109/saso.2018.00006","DOIUrl":"https://doi.org/10.1109/saso.2018.00006","url":null,"abstract":"SASO’s role as a venue that bridges conceptual and applied research in the areas of self-adaptive and selforganizing systems was once again reflected in the main technical program. Papers on the fundamentals of self-organization and self-adaptation were complemented by those on the topics of testing/analysis, cloud applications, and resource management. Socio-technical aspects also continued to provide a strong theme for the conference.","PeriodicalId":405522,"journal":{"name":"2018 IEEE 12th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134225689","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
SASO 2018 Organizing Committee SASO 2018组委会
{"title":"SASO 2018 Organizing Committee","authors":"","doi":"10.1109/saso.2018.00008","DOIUrl":"https://doi.org/10.1109/saso.2018.00008","url":null,"abstract":"","PeriodicalId":405522,"journal":{"name":"2018 IEEE 12th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122596016","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
Risk-Based Testing of Self-Adaptive Systems Using Run-Time Predictions 基于风险的自适应系统运行时预测测试
André Reichstaller, Alexander Knapp
Devising test strategies for specific test goals relies on predictions of the run-time behavior of the software system under test (SuT) based on specifications, models, or the code. For a system following a single strategy as run-time behavior, the test strategy can be fixed at design time. For an adaptive system, which may choose from several strategies due to environment changes, a combination of test strategies has to be found, which still can be achieved at design time provided that all system strategies and the switching policy are predictable. Self-adaptive systems, also adapting their system strategies and strategy switches according to the environmental dynamics, render such design-time predictions futile, but there also the test strategies have to be adapted at run time. We characterize the necessary interplay between system strategy adaptation of the SuT and test strategy adaptation of the tester as a Stochastic Game. We argue that the tester's part, formalized by means of a Markov Decision Process, can be automatically solved by the use of Reinforcement Learning methods where we discuss both model-based and model-free variants. Finally, we propose a particular framework inspired by Direct Future Prediction which, given a simulation of the SuT and its environment, autonomously finds good test strategies w.r.t. imposed quanti?able goals. While these goals, in general, can be initialized arbitrarily, our evaluation concentrates on risk-based goals rewarding the detection of hazardous failures.
为特定的测试目标设计测试策略依赖于基于规范、模型或代码的被测软件系统(SuT)运行时行为的预测。对于遵循单一策略作为运行时行为的系统,测试策略可以在设计时固定。对于一个自适应系统,由于环境的变化,它可能从几个策略中选择,必须找到一个测试策略的组合,这仍然可以在设计时实现,只要所有的系统策略和切换策略都是可预测的。自适应系统,也根据环境动态调整它们的系统策略和策略切换,使得这种设计时的预测无效,但是测试策略也必须在运行时进行调整。我们将SuT的系统策略适应和测试者的测试策略适应之间的必要相互作用描述为随机博弈。我们认为,通过马尔可夫决策过程形式化的测试人员部分可以通过使用强化学习方法自动解决,其中我们讨论了基于模型和无模型的变体。最后,我们提出了一个受直接未来预测启发的特殊框架,该框架给出了SuT及其环境的模拟,可以自主地找到良好的测试策略。能力目标。虽然这些目标通常可以任意初始化,但我们的评估集中在基于风险的目标上,奖励危险故障的检测。
{"title":"Risk-Based Testing of Self-Adaptive Systems Using Run-Time Predictions","authors":"André Reichstaller, Alexander Knapp","doi":"10.1109/SASO.2018.00019","DOIUrl":"https://doi.org/10.1109/SASO.2018.00019","url":null,"abstract":"Devising test strategies for specific test goals relies on predictions of the run-time behavior of the software system under test (SuT) based on specifications, models, or the code. For a system following a single strategy as run-time behavior, the test strategy can be fixed at design time. For an adaptive system, which may choose from several strategies due to environment changes, a combination of test strategies has to be found, which still can be achieved at design time provided that all system strategies and the switching policy are predictable. Self-adaptive systems, also adapting their system strategies and strategy switches according to the environmental dynamics, render such design-time predictions futile, but there also the test strategies have to be adapted at run time. We characterize the necessary interplay between system strategy adaptation of the SuT and test strategy adaptation of the tester as a Stochastic Game. We argue that the tester's part, formalized by means of a Markov Decision Process, can be automatically solved by the use of Reinforcement Learning methods where we discuss both model-based and model-free variants. Finally, we propose a particular framework inspired by Direct Future Prediction which, given a simulation of the SuT and its environment, autonomously finds good test strategies w.r.t. imposed quanti?able goals. While these goals, in general, can be initialized arbitrarily, our evaluation concentrates on risk-based goals rewarding the detection of hazardous failures.","PeriodicalId":405522,"journal":{"name":"2018 IEEE 12th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132050161","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}
引用次数: 11
Self-Organized Resource Allocation for Reconfigurable Robot Ensembles 可重构机器人集成的自组织资源分配
Julian Hanke, Oliver Kosak, Alexander Schiendorfer, W. Reif
Mobile robot systems usually are designed, built, and programmed for dedicated use cases. Consequently, especially for unmanned aerial vehicles diverse applications result in very heterogeneously designed robots. To overcome this need for specialization, we propose to dynamically adapt the robots' capabilities at run-time. This is done by connecting and disconnecting hardware modules providing those capabilities, i.e., re-allocating resources within the robot ensemble. Thereby, no longer individualized robots have to be designed for different tasks. Instead, the system is enabled to adapt its hardware configuration to changing requirements. For calculating necessary adaptations, i.e., solving the resource allocation problem, we propose a heuristic, market-based approach that exploits the possibility to decompose the resource allocation problem and distributively finds a solution. We show that our approach outperforms a centralized one especially when increasing the problem size in terms of agents, tasks, and relevant capabilities while providing the same quality.
移动机器人系统通常是为专用用例设计、构建和编程的。因此,特别是对于无人机,不同的应用导致机器人的设计非常异构。为了克服这种对专门化的需求,我们建议在运行时动态调整机器人的能力。这是通过连接和断开提供这些功能的硬件模块来实现的,即在机器人集成中重新分配资源。因此,不再需要为不同的任务设计个性化的机器人。相反,系统能够使其硬件配置适应不断变化的需求。为了计算必要的适应性,即解决资源分配问题,我们提出了一种启发式的、基于市场的方法,利用资源分配问题分解的可能性,并分布式地找到解决方案。我们表明,我们的方法优于集中式方法,特别是在提供相同质量的同时,在代理、任务和相关功能方面增加问题规模时。
{"title":"Self-Organized Resource Allocation for Reconfigurable Robot Ensembles","authors":"Julian Hanke, Oliver Kosak, Alexander Schiendorfer, W. Reif","doi":"10.1109/SASO.2018.00022","DOIUrl":"https://doi.org/10.1109/SASO.2018.00022","url":null,"abstract":"Mobile robot systems usually are designed, built, and programmed for dedicated use cases. Consequently, especially for unmanned aerial vehicles diverse applications result in very heterogeneously designed robots. To overcome this need for specialization, we propose to dynamically adapt the robots' capabilities at run-time. This is done by connecting and disconnecting hardware modules providing those capabilities, i.e., re-allocating resources within the robot ensemble. Thereby, no longer individualized robots have to be designed for different tasks. Instead, the system is enabled to adapt its hardware configuration to changing requirements. For calculating necessary adaptations, i.e., solving the resource allocation problem, we propose a heuristic, market-based approach that exploits the possibility to decompose the resource allocation problem and distributively finds a solution. We show that our approach outperforms a centralized one especially when increasing the problem size in terms of agents, tasks, and relevant capabilities while providing the same quality.","PeriodicalId":405522,"journal":{"name":"2018 IEEE 12th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114987011","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
期刊
2018 IEEE 12th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)
全部 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