首页 > 最新文献

2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops最新文献

英文 中文
Modelling Residential Smart Energy Schemes 住宅智能能源计划模拟
Vashti Galpin
This paper considers how a smart energy solution for residential areas can be modelled in stochastic HYPE, a process algebra that describes instantaneous, discrete stochastic and continuous deterministic behaviour. The system involves PHEVs (plug-in hybrid electric vehicles) which have batteries that can be charged either from the grid or from wind turbines, and can be viewed as a collective adaptive system (CAS). With a language such as stochastic HYPE, easy experimentation with the model and exploration of modifications of the basic scenario are possible. However, simulation can be infeasible for more complex models or larger models, and the paper discusses future work involving abstractions of the model that mitigate this problem.
本文考虑了如何在随机HYPE中对住宅区的智能能源解决方案进行建模,随机HYPE是一种描述瞬时、离散随机和连续确定性行为的过程代数。该系统涉及phev(插电式混合动力汽车),其电池可以从电网或风力涡轮机充电,可以被视为一个集体适应系统(CAS)。使用像随机HYPE这样的语言,可以很容易地对模型进行实验,并对基本场景的修改进行探索。然而,对于更复杂的模型或更大的模型,模拟可能是不可行的,本文讨论了涉及模型抽象的未来工作,以减轻这个问题。
{"title":"Modelling Residential Smart Energy Schemes","authors":"Vashti Galpin","doi":"10.1109/SASOW.2014.19","DOIUrl":"https://doi.org/10.1109/SASOW.2014.19","url":null,"abstract":"This paper considers how a smart energy solution for residential areas can be modelled in stochastic HYPE, a process algebra that describes instantaneous, discrete stochastic and continuous deterministic behaviour. The system involves PHEVs (plug-in hybrid electric vehicles) which have batteries that can be charged either from the grid or from wind turbines, and can be viewed as a collective adaptive system (CAS). With a language such as stochastic HYPE, easy experimentation with the model and exploration of modifications of the basic scenario are possible. However, simulation can be infeasible for more complex models or larger models, and the paper discusses future work involving abstractions of the model that mitigate this problem.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80653948","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
"Reflection, Collectives and Adaptation: the Role of Models in the Design of Collective Adaptive Systems 反思、集体和适应:模型在集体适应系统设计中的作用
S. Anderson, M. Hartswood, M. Jirotka
We report work in progress on the role of models in the formation and maintenance of collectives in Hybrid Diversity-Aware Collective Adaptive Systems (HDA-CASs). HDA-CASs utilize hybrid computations involving machines and humans operating in collectives in a way that manages and leverages the diversity of collectives and machine-based computation. Here we explore the role of models in helping to constitute particular collectives and how models help shape the response of the collective. It appears that models are a potentially critical resource in collecting, sharing and acting on data gathered from the operation of CASs. This points to the potential role for models in the design of HDA-CASs. In particular we are interested in how models provide a sense of identity for a collective and can provide resources that shape the potential for collective action.
我们报告了在混合多样性感知集体适应系统(HDA-CASs)中模型在集体形成和维护中的作用。HDA-CASs利用涉及机器和人的混合计算,以一种管理和利用集体和基于机器的计算的多样性的方式进行集体操作。在这里,我们探讨了模型在帮助构成特定集体中的作用,以及模型如何帮助塑造集体的反应。在收集、共享和对从CASs操作中收集的数据采取行动方面,模型似乎是一个潜在的关键资源。这指出了模型在HDA-CASs设计中的潜在作用。我们特别感兴趣的是,模型如何为集体提供一种认同感,以及如何提供塑造集体行动潜力的资源。
{"title":"\"Reflection, Collectives and Adaptation: the Role of Models in the Design of Collective Adaptive Systems","authors":"S. Anderson, M. Hartswood, M. Jirotka","doi":"10.1109/SASOW.2014.39","DOIUrl":"https://doi.org/10.1109/SASOW.2014.39","url":null,"abstract":"We report work in progress on the role of models in the formation and maintenance of collectives in Hybrid Diversity-Aware Collective Adaptive Systems (HDA-CASs). HDA-CASs utilize hybrid computations involving machines and humans operating in collectives in a way that manages and leverages the diversity of collectives and machine-based computation. Here we explore the role of models in helping to constitute particular collectives and how models help shape the response of the collective. It appears that models are a potentially critical resource in collecting, sharing and acting on data gathered from the operation of CASs. This points to the potential role for models in the design of HDA-CASs. In particular we are interested in how models provide a sense of identity for a collective and can provide resources that shape the potential for collective action.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75827879","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
A Graph Analysis Approach to Detect Attacks in Multi-agent Systems at Runtime 多智能体系统运行时攻击检测的图分析方法
Jan Kantert, H. Scharf, Sarah Edenhofer, Sven Tomforde, J. Hähner, C. Müller-Schloer
Fully self-organised and open systems consisting of a variety of heterogeneous and autonomous entities can suffer due to malicious elements or attacks. One approach to cope with this challenge is to introduce trust. Thereby, trust relationships are based on ratings among individual entities and represent system-wide information. A Trusted Desktop Computing Grid is one example, where such a trust mechanism has been applied successfully. In this paper, we investigate the possibility to add an system-level Observer to the self-organised system in order to guide the overall behaviour and to intervene in disturbed situations that are mostly a result of malicious behaviour. Therefore, we describe in detail how the observation part of this Observer can be realised and what kind of metrics can be applied to detect undesired system behaviour. Evaluations are done using the Trusted Desktop Grid and demonstrate the possibility to detect malicious behaviour quickly and reliably by considering clusters of trusted entities.
由各种异构和自治实体组成的完全自组织和开放系统可能受到恶意元素或攻击。应对这一挑战的一种方法是引入信任。因此,信任关系基于个体实体之间的评级,并表示系统范围的信息。可信桌面计算网格就是一个例子,其中成功地应用了这种信任机制。在本文中,我们研究了在自组织系统中添加系统级观察者的可能性,以便指导整体行为并干预主要由恶意行为引起的干扰情况。因此,我们详细描述了如何实现这个观察者的观察部分,以及可以应用哪种度量来检测不希望的系统行为。评估使用可信桌面网格完成,并演示了通过考虑可信实体集群快速可靠地检测恶意行为的可能性。
{"title":"A Graph Analysis Approach to Detect Attacks in Multi-agent Systems at Runtime","authors":"Jan Kantert, H. Scharf, Sarah Edenhofer, Sven Tomforde, J. Hähner, C. Müller-Schloer","doi":"10.1109/SASO.2014.20","DOIUrl":"https://doi.org/10.1109/SASO.2014.20","url":null,"abstract":"Fully self-organised and open systems consisting of a variety of heterogeneous and autonomous entities can suffer due to malicious elements or attacks. One approach to cope with this challenge is to introduce trust. Thereby, trust relationships are based on ratings among individual entities and represent system-wide information. A Trusted Desktop Computing Grid is one example, where such a trust mechanism has been applied successfully. In this paper, we investigate the possibility to add an system-level Observer to the self-organised system in order to guide the overall behaviour and to intervene in disturbed situations that are mostly a result of malicious behaviour. Therefore, we describe in detail how the observation part of this Observer can be realised and what kind of metrics can be applied to detect undesired system behaviour. Evaluations are done using the Trusted Desktop Grid and demonstrate the possibility to detect malicious behaviour quickly and reliably by considering clusters of trusted entities.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74777179","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}
引用次数: 16
A Goal Model for Collective Adaptive Systems 集体适应系统的目标模型
A. Bucchiarone, C. A. Mezzina, Heorhi Raik
A collective adaptive system is composed of large numbers of autonomous and self-adaptive entities which are able to provide benefits for other participants and have to cooperate with each other to accomplish their individual goals. When entities adapt their own behaviour due to unexpected situations, this may result in breaking the overall collaboration if these are not executed simultaneously and do not respect some collective constraints. The objective of this paper is to present a goal model that allows to express requirements for collective adaptability. It includes (i) how to specify the behaviour of the entities that encodes cooperation with other entities, (ii) how to link collaborative goals and individual goals, and (iii) how to specify constraints that are imposed on different entities to preserve some form of collective consistency while they are adapted.
集体适应系统是由大量自主的、自适应的实体组成的,这些实体能够为其他参与者提供利益,并且必须相互合作以实现各自的目标。当实体由于意外情况而调整自己的行为时,如果这些行为没有同时执行并且不尊重某些集体约束,则可能导致破坏整体协作。本文的目的是提出一个允许表达集体适应性需求的目标模型。它包括(i)如何指定实体对与其他实体的合作进行编码的行为,(ii)如何将合作目标和个人目标联系起来,以及(iii)如何指定施加于不同实体的约束,以在适应时保持某种形式的集体一致性。
{"title":"A Goal Model for Collective Adaptive Systems","authors":"A. Bucchiarone, C. A. Mezzina, Heorhi Raik","doi":"10.1109/SASOW.2014.11","DOIUrl":"https://doi.org/10.1109/SASOW.2014.11","url":null,"abstract":"A collective adaptive system is composed of large numbers of autonomous and self-adaptive entities which are able to provide benefits for other participants and have to cooperate with each other to accomplish their individual goals. When entities adapt their own behaviour due to unexpected situations, this may result in breaking the overall collaboration if these are not executed simultaneously and do not respect some collective constraints. The objective of this paper is to present a goal model that allows to express requirements for collective adaptability. It includes (i) how to specify the behaviour of the entities that encodes cooperation with other entities, (ii) how to link collaborative goals and individual goals, and (iii) how to specify constraints that are imposed on different entities to preserve some form of collective consistency while they are adapted.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79561426","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
Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data 集体自适应系统的数据验证:车辆位置数据的空间模型检验
V. Ciancia, S. Gilmore, D. Latella, M. Loreti, M. Massink
In this paper we present the use of a novel spatial model-checker to detect problems in the data which an adaptive system gathers in order to inform future action. We categorise received data as being plausible, implausible, possible or problematic. Data correctness is essential to ensure correct functionality in systems which adapt in response to data and our categorisation influences the degree of caution which should be used in acting in response to this received data. We illustrate the theory with a concrete example of detecting errors in vehicle location data for buses in the city of Edinburgh. Vehicle location data is visualised symbolically on a street map, and categories of problems identified by the spatial model-checker are rendered by repainting the symbols for vehicles in different colours.
在本文中,我们提出了一种新的空间模型检查器来检测自适应系统收集的数据中的问题,以便为未来的行动提供信息。我们将收到的数据分为可信、不可信、可能或有问题。数据正确性对于确保系统的正确功能至关重要,这些系统可以根据数据进行调整,我们的分类影响了在响应接收到的数据时应该使用的谨慎程度。我们用爱丁堡市公交车车辆位置数据误差检测的具体例子来说明这一理论。车辆位置数据在街道地图上以符号形式可视化,由空间模型检查器识别的问题类别通过重新绘制不同颜色的车辆符号来呈现。
{"title":"Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data","authors":"V. Ciancia, S. Gilmore, D. Latella, M. Loreti, M. Massink","doi":"10.1109/SASOW.2014.16","DOIUrl":"https://doi.org/10.1109/SASOW.2014.16","url":null,"abstract":"In this paper we present the use of a novel spatial model-checker to detect problems in the data which an adaptive system gathers in order to inform future action. We categorise received data as being plausible, implausible, possible or problematic. Data correctness is essential to ensure correct functionality in systems which adapt in response to data and our categorisation influences the degree of caution which should be used in acting in response to this received data. We illustrate the theory with a concrete example of detecting errors in vehicle location data for buses in the city of Edinburgh. Vehicle location data is visualised symbolically on a street map, and categories of problems identified by the spatial model-checker are rendered by repainting the symbols for vehicles in different colours.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85795422","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}
引用次数: 29
Visualisation of Social Capital 社会资本的可视化
Patricio E. Petruzzi, D. Busquets, J. Pitt
In this paper we describe the tool we have developed to visualise experimental data on top of the multi-agent simulation platform Presage2 and how we have used it with our Social Capital Framework. The visualisation demonstrates how social capital can be used to self-organise solutions to collective actions problems.
在本文中,我们描述了我们开发的工具,用于在多智能体模拟平台Presage2之上可视化实验数据,以及我们如何将其与我们的社会资本框架一起使用。可视化展示了如何使用社会资本来自组织解决集体行动问题。
{"title":"Visualisation of Social Capital","authors":"Patricio E. Petruzzi, D. Busquets, J. Pitt","doi":"10.1109/SASO.2014.38","DOIUrl":"https://doi.org/10.1109/SASO.2014.38","url":null,"abstract":"In this paper we describe the tool we have developed to visualise experimental data on top of the multi-agent simulation platform Presage2 and how we have used it with our Social Capital Framework. The visualisation demonstrates how social capital can be used to self-organise solutions to collective actions problems.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89677278","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
Social Mpower: A Serious Game for Self-Organisation in Socio-technical Systems 社会权力:社会技术系统中自我组织的严肃游戏
Aikaterini Bourazeri, J. Pitt
Smart grids for decentralised Community Energy Systems (dCES) can be simulated by Serious Games in which players use social networking and visualisation of Ostrom's principles to achieve collective action. Social Mpower is an interactive game designed to inform, aware and motivate energy consumers towards energy efficiency. Emphasising on the concepts of collective awareness and self-organisation, players need to coordinate their individual actions for common good. Field trials and beta tests of the system show that integration and encapsulation of different requirements by a serious game can promote successful collective action in an energy community.
分布式社区能源系统(dCES)的智能电网可以通过严肃游戏来模拟,玩家可以使用社交网络和奥斯特罗姆原则的可视化来实现集体行动。Social Mpower是一款互动游戏,旨在告知、意识到并激励能源消费者提高能源效率。强调集体意识和自我组织的概念,玩家需要协调他们的个人行动,以实现共同利益。该系统的现场试验和beta测试表明,通过一个严肃的游戏整合和封装不同的需求可以促进能源社区成功的集体行动。
{"title":"Social Mpower: A Serious Game for Self-Organisation in Socio-technical Systems","authors":"Aikaterini Bourazeri, J. Pitt","doi":"10.1109/SASO.2014.43","DOIUrl":"https://doi.org/10.1109/SASO.2014.43","url":null,"abstract":"Smart grids for decentralised Community Energy Systems (dCES) can be simulated by Serious Games in which players use social networking and visualisation of Ostrom's principles to achieve collective action. Social Mpower is an interactive game designed to inform, aware and motivate energy consumers towards energy efficiency. Emphasising on the concepts of collective awareness and self-organisation, players need to coordinate their individual actions for common good. Field trials and beta tests of the system show that integration and encapsulation of different requirements by a serious game can promote successful collective action in an energy community.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82516600","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
Second International Workshop on Self-Adaptive and Self-Organising Socio-technical Systems (SASOST 2014) 第二届自适应自组织社会技术系统国际研讨会(SASOST 2014)
Gerrit Anders, J. Botev, M. Esch
The design and operation of computer systems has traditionally been driven by technical aspects and considerations. However, the usage characteristics of information and communication systems are both implicitly and explicitly determined by social interaction and the social graph of users. The SASOST workshop addresses all aspects of self-adaptive and self-organising mechanisms in socio-technical systems, covering different perspectives of this exciting research area ranging from normative and trust management systems to socio-inspired design strategies for distributed algorithms, collaboration platforms and communication protocols.
计算机系统的设计和操作传统上是由技术方面和考虑因素驱动的。然而,信息和通信系统的使用特征是由社会互动和用户的社会图谱隐性和显性决定的。SASOST研讨会讨论了社会技术系统中自适应和自组织机制的各个方面,涵盖了这个令人兴奋的研究领域的不同观点,从规范和信任管理系统到分布式算法、协作平台和通信协议的社会启发设计策略。
{"title":"Second International Workshop on Self-Adaptive and Self-Organising Socio-technical Systems (SASOST 2014)","authors":"Gerrit Anders, J. Botev, M. Esch","doi":"10.1109/SASOW.2014.33","DOIUrl":"https://doi.org/10.1109/SASOW.2014.33","url":null,"abstract":"The design and operation of computer systems has traditionally been driven by technical aspects and considerations. However, the usage characteristics of information and communication systems are both implicitly and explicitly determined by social interaction and the social graph of users. The SASOST workshop addresses all aspects of self-adaptive and self-organising mechanisms in socio-technical systems, covering different perspectives of this exciting research area ranging from normative and trust management systems to socio-inspired design strategies for distributed algorithms, collaboration platforms and communication protocols.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91183547","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
"Know Thyself" - Computational Self-Reflection in Intelligent Technical Systems “认识你自己”——智能技术系统中的计算自我反思
Sven Tomforde, J. Hähner, S. Mammen, Christian Gruhl, B. Sick, K. Geihs
In many application domains, developers aim at building technical systems that can cope with the complexity of the world they are surrounded with, including other technical systems. Due to this complexity, system designers cannot explicitly foresee every possible situation "their" system will be confronted with at runtime. This resulted in solutions capable of self-adaptation at runtime. Future intelligent technical systems will have to go far beyond such a reactive solution - the general question is: How can systems themselves define new goals and new classes of goals in order to increase their own performance at runtime and without the need of human control or supervision? This paper introduces a definition of "computational self-reflection", proposes an architectural concept, and discusses the potential benefit by means of three exemplary application scenarios. Finally, building blocks to achieve self-reflection are discussed and a basic research agenda is drafted.
在许多应用领域中,开发人员的目标是构建能够处理周围环境复杂性的技术系统,包括其他技术系统。由于这种复杂性,系统设计者不能明确地预见“他们的”系统在运行时将面临的每一种可能的情况。这就产生了能够在运行时自适应的解决方案。未来的智能技术系统将远远超出这种被动的解决方案——一般的问题是:系统自己如何定义新的目标和新的目标类别,以便在运行时提高自己的性能,而不需要人类的控制或监督?本文介绍了“计算自反射”的定义,提出了一个架构概念,并通过三个示例应用场景讨论了潜在的好处。最后,讨论了实现自我反思的基本要素,并起草了基本研究议程。
{"title":"\"Know Thyself\" - Computational Self-Reflection in Intelligent Technical Systems","authors":"Sven Tomforde, J. Hähner, S. Mammen, Christian Gruhl, B. Sick, K. Geihs","doi":"10.1109/SASOW.2014.25","DOIUrl":"https://doi.org/10.1109/SASOW.2014.25","url":null,"abstract":"In many application domains, developers aim at building technical systems that can cope with the complexity of the world they are surrounded with, including other technical systems. Due to this complexity, system designers cannot explicitly foresee every possible situation \"their\" system will be confronted with at runtime. This resulted in solutions capable of self-adaptation at runtime. Future intelligent technical systems will have to go far beyond such a reactive solution - the general question is: How can systems themselves define new goals and new classes of goals in order to increase their own performance at runtime and without the need of human control or supervision? This paper introduces a definition of \"computational self-reflection\", proposes an architectural concept, and discusses the potential benefit by means of three exemplary application scenarios. Finally, building blocks to achieve self-reflection are discussed and a basic research agenda is drafted.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83677336","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}
引用次数: 24
Self-Integration for Virtualization of Embedded Many-Core Systems 嵌入式多核系统虚拟化的自集成
S. Wildermann, J. Teich
Virtualization of embedded systems enables the integration of various independent and isolated virtual environments on the same hardware. It is therefore seen as a key enabler for implementing mixed-criticality systems on future many-core technology. However, a challenge is that such systems are increasingly exposed to dynamic workloads, e.g., due to the "openness" of modern mobile devices or the execution of varying application mixes. As a remedy, run-time management enables the dynamic allocation of system resources to the virtual environments according to their current requirements. This paper investigates self-integration of such dynamic environments in virtualized embedded systems by providing management strategies for re-partitioning shared resources at run time. We formulate and analyze the underlying optimization problem with the particular focus on security and scalability as two important factors for managing embedded systems in the many-core era. The evaluation of the theoretical results by means of a case study shows the improvements with respect to scalability and security, and leads to a discussion of the most important future trends for paving the road to self-integrating virtualized embedded systems.
嵌入式系统的虚拟化允许在同一硬件上集成各种独立和隔离的虚拟环境。因此,它被视为在未来多核心技术上实现混合临界系统的关键推动者。然而,一个挑战是,这些系统越来越多地暴露于动态工作负载,例如,由于现代移动设备的“开放性”或不同应用程序组合的执行。作为补救措施,运行时管理允许根据虚拟环境的当前需求动态地将系统资源分配给虚拟环境。本文通过提供在运行时重新划分共享资源的管理策略,研究了虚拟化嵌入式系统中这种动态环境的自集成。我们制定并分析了潜在的优化问题,特别关注安全性和可扩展性作为管理多核时代嵌入式系统的两个重要因素。通过案例研究对理论结果进行了评估,显示了在可扩展性和安全性方面的改进,并引发了对自集成虚拟化嵌入式系统铺平道路的最重要的未来趋势的讨论。
{"title":"Self-Integration for Virtualization of Embedded Many-Core Systems","authors":"S. Wildermann, J. Teich","doi":"10.1109/SASOW.2014.27","DOIUrl":"https://doi.org/10.1109/SASOW.2014.27","url":null,"abstract":"Virtualization of embedded systems enables the integration of various independent and isolated virtual environments on the same hardware. It is therefore seen as a key enabler for implementing mixed-criticality systems on future many-core technology. However, a challenge is that such systems are increasingly exposed to dynamic workloads, e.g., due to the \"openness\" of modern mobile devices or the execution of varying application mixes. As a remedy, run-time management enables the dynamic allocation of system resources to the virtual environments according to their current requirements. This paper investigates self-integration of such dynamic environments in virtualized embedded systems by providing management strategies for re-partitioning shared resources at run time. We formulate and analyze the underlying optimization problem with the particular focus on security and scalability as two important factors for managing embedded systems in the many-core era. The evaluation of the theoretical results by means of a case study shows the improvements with respect to scalability and security, and leads to a discussion of the most important future trends for paving the road to self-integrating virtualized embedded systems.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85590712","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
期刊
2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops
全部 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