International Symposium on Software Engineering for Adaptive and Self-Managing Systems最新文献_第2页

ActivFORMS: active formal models for self-adaptation ActivFORMS:用于自适应的主动形式模型

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2014-06-02 DOI: 10.1145/2593929.2593944

M. U. Iftikhar, Danny Weyns

{"title":"ActivFORMS: active formal models for self-adaptation","authors":"M. U. Iftikhar, Danny Weyns","doi":"10.1145/2593929.2593944","DOIUrl":"https://doi.org/10.1145/2593929.2593944","url":null,"abstract":"Self-adaptation enables a software system to deal autonomously with uncertainties, such as dynamic operating conditions that are difficult to predict or changing goals. A common approach to realize self-adaptation is with a MAPE-K feedback loop that consists of four adaptation components: Monitor, Analyze, Plan, and Execute. These components share Knowledge models of the managed system, its goals and environment. To provide guarantees of the adaptation goals, state of the art approaches propose using formal models of the knowledge. However, less attention is given to the formalization of the adaptation components themselves, which is important to provide guarantees of correctness of the adaptation behavior (e.g., does the execute component execute the plan correctly?). We propose Active FORmal Models for Self-adaptation (ActivFORMS) that uses an integrated formal model of the adaptation components and knowledge models. The formal model is directly executed by a virtual machine to realize adaptation, hence active model. The contributions of ActivFORMS are: (1) the approach assures that the adaptation goals that are verified offline are guaranteed at runtime, and (2) it supports dynamic adaptation of the active model to support changing goals. We show how we have applied ActivFORMS for a small-scale robotic system.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122738921","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}

引用次数: 158

Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration 高效的运行时定量验证，使用缓存、前瞻和近乎最优的重新配置

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2014-06-02 DOI: 10.1145/2593929.2593932

Simos Gerasimou, R. Calinescu, Alec Banks

引用次数: 55

Diagnosing unobserved components in self-adaptive systems 诊断自适应系统中未观察到的组件

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2014-06-02 DOI: 10.1145/2593929.2593946

P. Casanova, D. Garlan, B. Schmerl, Rui Abreu

引用次数: 20

A prediction-driven adaptation approach for self-adaptive sensor networks 自适应传感器网络的预测驱动自适应方法

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2014-06-02 DOI: 10.1145/2593929.2593941

Ivan Dario Paez Anaya, V. Simko, Johann Bourcier, N. Plouzeau, J. Jézéquel

{"title":"A prediction-driven adaptation approach for self-adaptive sensor networks","authors":"Ivan Dario Paez Anaya, V. Simko, Johann Bourcier, N. Plouzeau, J. Jézéquel","doi":"10.1145/2593929.2593941","DOIUrl":"https://doi.org/10.1145/2593929.2593941","url":null,"abstract":"Engineering self-adaptive software in unpredictable environments such as pervasive systems, where network's ability, remaining battery power and environmental conditions may vary over the lifetime of the system is a very challenging task. Many current software engineering approaches leverage run-time architectural models to ease the design of the autonomic control loop of these self-adaptive systems. While these approaches perform well in reacting to various evolutions of the runtime environment, implementations based on reactive paradigms have a limited ability to anticipate problems, leading to transient unavailability of the system, useless costly adaptations, or resources waste. In this paper, we follow a proactive self-adaptation approach that aims at overcoming the limitation of reactive approaches. Based on predictive analysis of internal and external context information, our approach regulates new architecture reconfigurations and deploys them using models at runtime. We have evaluated our approach on a case study where we combined hourly temperature readings provided by National Climatic Data Center (NCDC) with fire reports from Moderate Resolution Imaging Spectroradiometer (MODIS) and simulated the behavior of multiple systems. The results confirm that our proactive approach outperforms a typical reactive system in scenarios with seasonal behavior.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116217235","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}

引用次数: 37

Topology aware adaptive security 拓扑感知自适应安全

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2014-06-02 DOI: 10.1145/2593929.2593939

L. Pasquale, C. Ghezzi, C. Menghi, Christos Tsigkanos, B. Nuseibeh

{"title":"Topology aware adaptive security","authors":"L. Pasquale, C. Ghezzi, C. Menghi, Christos Tsigkanos, B. Nuseibeh","doi":"10.1145/2593929.2593939","DOIUrl":"https://doi.org/10.1145/2593929.2593939","url":null,"abstract":"Adaptive security systems aim to protect valuable assets in the face of changes in their operational environment. They do so by monitoring and analysing this environment, and deploying security functions that satisfy some protection (security, privacy, or forensic) requirements. In this paper, we suggest that a key characteristic for engineering adaptive security is the topology of the operational environment, which represents a physical and/or a digital space - including its structural relationships, such as containment, proximity, and reachability. For adaptive security, topology expresses a rich representation of context that can provide a system with both structural and semantic awareness of important contextual characteristics. These include the location of assets being protected or the proximity of potentially threatening agents that might harm them. Security-related actions, such as the physical movement of an actor from a room to another in a building, may be viewed as topological changes. The detection of a possible undesired topological change (such as an actor possessing a safe’s key entering the room where the safe is located) may lead to the decision to deploy a particular security control to protect the relevant asset. This position paper advocates topology awareness for more effective engineering of adaptive security. By monitoring changes in topology at runtime one can identify new or changing threats and attacks, and deploy adequate security controls accordingly. The paper elaborates on the notion of topology and provides a vision and research agenda on its role for systematically engineering adaptive security systems.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129117985","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}

引用次数: 42

Adapting our view of software adaptation: an architectural perspective (keynote) 调整我们对软件适应性的看法:一个架构的视角(主题演讲)

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2014-06-02 DOI: 10.1145/2593929.2593949

N. Medvidović

{"title":"Adapting our view of software adaptation: an architectural perspective (keynote)","authors":"N. Medvidović","doi":"10.1145/2593929.2593949","DOIUrl":"https://doi.org/10.1145/2593929.2593949","url":null,"abstract":"Engineers frequently neglect to carefully consider the impact of adaptation on a software system. As a result, the software system's architectural design sooner, rather than later, begins to deviate from the original designers' intent and to decay through unplanned introduction of new and/or invalidation of existing design decisions. For systems that are intended to be (self-)adaptive, this problem can be even more pronounced. A solution that was proposed over a decade ago was to keep the architectures of (self-)adaptive systems in sync with their implementations through carefully engineered implementation frameworks, and to allow implementation-level adaptations only via carefully controlled architecture-level operations. However, many approaches to (self-)adaptive software do not explicitly consider the system's architecture as the starting point for adaptation and, more generally, developers change systems in seemingly arbitrary ways all the time. This begs the question: What is the impact of system changes on a system's architecture in a general case? This keynote talk presents the results of an on-going study that has tried to shed light on this question. To date, the study has involved around 30 open-source systems and, in several cases, large numbers of versions of a given system. The keynote discusses and illustrates the challenges in extracting the architecture of a system from its implementation artifacts, the concrete problems posed by architectural decay, the difficulties of tracking the architectural impact of implementation-level changes, and the occasional arbitrariness with which the adaptation of real, widely-used software systems is approached. The keynote then identifies several promising research opportunities that present themselves for dealing with these problems in (self-)adaptive systems.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123759325","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 run-time adaptation of test cases for self-adaptive systems in the face of uncertainty 面向不确定性的自适应系统测试用例的运行时适应

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2014-06-02 DOI: 10.1145/2593929.2593937

Erik M. Fredericks, Byron DeVries, B. Cheng

引用次数: 73

Requirements-driven mediation for collaborative security 用于协作安全性的需求驱动中介

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2014-06-02 DOI: 10.1145/2593929.2593938

A. Bennaceur, A. Bandara, M. Jackson, W. Liu, Lionel Montrieux, T. Tun, Y. Yu, B. Nuseibeh

{"title":"Requirements-driven mediation for collaborative security","authors":"A. Bennaceur, A. Bandara, M. Jackson, W. Liu, Lionel Montrieux, T. Tun, Y. Yu, B. Nuseibeh","doi":"10.1145/2593929.2593938","DOIUrl":"https://doi.org/10.1145/2593929.2593938","url":null,"abstract":"Security is concerned with the protection of assets from intentional harm. Secure systems provide capabilities that enable such protection to satisfy some security requirements. In a world increasingly populated with mobile and ubiquitous computing technology, the scope and boundary of security systems can be uncertain and can change. A single functional component, or even multiple components individually, are often insufficient to satisfy complex security requirements on their own. \u0000 Adaptive security aims to enable systems to vary their protection in the face of changes in their operational environment. Collaborative security, which we propose in this paper, aims to exploit the selection and deployment of multiple, potentially heterogeneous, software-intensive components to collaborate in order to meet security requirements in the face of changes in the environment, changes in assets under protection and their values, and the discovery of new threats and vulnerabilities. \u0000 However, the components that need to collaborate may not have been designed and implemented to interact with one another collaboratively. To address this, we propose a novel framework for collaborative security that combines adaptive security, collaborative adaptation and an explicit representation of the capabilities of the software components that may be needed in order to achieve collaborative security. We elaborate on each of these framework elements, focusing in particular on the challenges and opportunities afforded by (1) the ability to capture, represent, and reason about the capabilities of different software components and their operational context, and (2) the ability of components to be selected and mediated at runtime in order to satisfy the security requirements. We illustrate our vision through a collaborative robotic implementation, and suggest some areas for future work.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121344592","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}

引用次数: 19

Run-time generation, transformation, and verification of access control models for self-protection 用于自我保护的访问控制模型的运行时生成、转换和验证

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2014-06-02 DOI: 10.1145/2593929.2593945

C. Bailey, Lionel Montrieux, R. Lemos, Y. Yu, M. Wermelinger

{"title":"Run-time generation, transformation, and verification of access control models for self-protection","authors":"C. Bailey, Lionel Montrieux, R. Lemos, Y. Yu, M. Wermelinger","doi":"10.1145/2593929.2593945","DOIUrl":"https://doi.org/10.1145/2593929.2593945","url":null,"abstract":"Self-adaptive access control, in which self-* properties are applied to protecting systems, is a promising solution for the handling of malicious user behaviour in complex infrastructures. A major challenge in self-adaptive access control is ensuring that chosen adaptations are valid, and produce a satisfiable model of access. The contribution of this paper is the generation, transformation and verification of Role Based Access Control (RBAC) models at run-time, as a means for providing assurances that the adaptations to be deployed are valid. The goal is to protect the system against insider threats by adapting at run-time the access control policies associated with system resources, and access rights assigned to users. Depending on the type of attack, and based on the models from the target system and its environment, the adapted access control models need to be evaluated against the RBAC metamodel, and the adaptation constraints related to the application. The feasibility of the proposed approach has been demonstrated in the context of a fully working prototype using malicious scenarios inspired by a well documented case of insider attack.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125347575","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}

引用次数: 19

User-centric adaptation of multi-tenant services: preference-based analysis for service reconfiguration 以用户为中心的多租户服务适应:基于偏好的服务重新配置分析

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2014-06-02 DOI: 10.1145/2593929.2593930

Jesús García-Galán, L. Pasquale, Pablo Trinidad Martín-Arroyo, Antonio Ruiz-Cortés

{"title":"User-centric adaptation of multi-tenant services: preference-based analysis for service reconfiguration","authors":"Jesús García-Galán, L. Pasquale, Pablo Trinidad Martín-Arroyo, Antonio Ruiz-Cortés","doi":"10.1145/2593929.2593930","DOIUrl":"https://doi.org/10.1145/2593929.2593930","url":null,"abstract":"Multi-tenancy is a key pillar of cloud services. It allows different tenants to share computing resources transparently and, at the same time, guarantees substantial cost savings for the providers. However, from a user perspective, one of the major drawbacks of multi-tenancy is lack of configurability. Depending on the isolation degree, the same service instance and even the same service configuration may be shared among multiple tenants (i.e. shared multi-tenant service). Moreover tenants usually have different - and in most of the cases - conflicting configuration preferences. To overcome this limitation, this paper introduces a novel approach to support user-centric adaptation in shared multi-tenant services. The adaptation objective aims to maximise tenants’ satisfaction, even when tenants and their preferences change during the service life-time. This paper describes how to engineer the activities of the MAPE loop to support user-centric adaptation, and focuses on the analysis of tenants’ preferences. In particular, we use a game theoretic analysis to identify a service configuration that maximises tenants’ preferences satisfaction. We illustrate and motivate our approach by utilising a multi-tenant desktop scenario. Obtained experimental results demonstrate the feasibility of the proposed analysis.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127402858","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}

引用次数: 22