2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems最新文献_第2页

Automated Generation of Adaptive Test Plans for Self-Adaptive Systems 自适应系统的自适应测试计划的自动生成

2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2015-05-16 DOI: 10.1109/SEAMS.2015.15

Erik M. Fredericks, B. Cheng

{"title":"Automated Generation of Adaptive Test Plans for Self-Adaptive Systems","authors":"Erik M. Fredericks, B. Cheng","doi":"10.1109/SEAMS.2015.15","DOIUrl":"https://doi.org/10.1109/SEAMS.2015.15","url":null,"abstract":"Self-adaptive systems (SAS) can reconfigure at run-time to mitigate uncertainties posed by environments for which they may not have been explicitly designed. High-assurance SAS applications must continually deliver acceptable behavior for critical services, enabling the need for run-time validation techniques. To this end, run-time testing can provide additional assurance that an SAS will continue to behave as expected while executing under unknown conditions. This paper introduces Proteus, a framework for adaptive run-time testing on an SAS. Proteus facilitates both execution and adaptation of run-time testing activities to ensure that the SAS continues to execute according to its requirements and that both test plans and test cases continually remain relevant to changing operating conditions. We demonstrate our approach by applying it to a simulated self-adaptive remote data mirroring network that must efficiently diffuse data while experiencing adverse operating conditions. Experimental results suggest that Proteus can reduce the number of executed irrelevant, false positive, and false negative test cases at run time to ensure that online testing activities remain relevant as the SAS encounters uncertainty.","PeriodicalId":144594,"journal":{"name":"2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126828924","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}

引用次数: 25

Adaptive Management of Energy Consumption Using Adaptive Runtime Models 使用自适应运行时模型的能源消耗自适应管理

2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2015-05-16 DOI: 10.1109/SEAMS.2015.20

A. Bergen, Nina Taherimakhsousi, H. Müller

{"title":"Adaptive Management of Energy Consumption Using Adaptive Runtime Models","authors":"A. Bergen, Nina Taherimakhsousi, H. Müller","doi":"10.1109/SEAMS.2015.20","DOIUrl":"https://doi.org/10.1109/SEAMS.2015.20","url":null,"abstract":"A promising avenue to control energy-related costs in enterprise data centers is to investigate power-aware resource management strategies. In this study we investigate techniques to schedule resources adaptively with the sole aim of reducing power consumption. Our approach is based on a characterization of energy usage and resource utilization patterns obtained by monitoring energy consumption in an enterprise data center. We propose an adaptive feature extraction method to classify resource utilization patterns from energy consumption data. Improved classification results are obtained through signal feature extraction prior to the training stages for cascading classifiers for at least 14 different energy usage patterns. Adaptive feature extraction prior to classifier training improved class identification even further. The identified patterns can now be used as a basis for adaptive resource scheduling within a power-smart data center. The classification method that performed best is part of our proposed energy runtime model and controller which manages and controls the energy consumption in the data center according to usage patterns.","PeriodicalId":144594,"journal":{"name":"2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117188285","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

Adventures in Adaptation: A Software Engineering Playground! 适应的冒险:软件工程的游乐场!

2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2015-05-16 DOI: 10.1109/SEAMS.2015.8

J. Kramer

引用次数: 1

Hogna: A Platform for Self-Adaptive Applications in Cloud Environments Hogna:云环境中自适应应用程序的平台

2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2015-05-16 DOI: 10.5555/2821357.2821372

C. Barna, Hamoun Ghanbari, Marin Litoiu, Mark Shtern

引用次数: 34

Mitigating Browser Fingerprint Tracking: Multi-level Reconfiguration and Diversification 缓解浏览器指纹跟踪:多层次重新配置和多样化

2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2015-05-16 DOI: 10.1109/SEAMS.2015.18

Pierre Laperdrix, Walter Rudametkin, B. Baudry

{"title":"Mitigating Browser Fingerprint Tracking: Multi-level Reconfiguration and Diversification","authors":"Pierre Laperdrix, Walter Rudametkin, B. Baudry","doi":"10.1109/SEAMS.2015.18","DOIUrl":"https://doi.org/10.1109/SEAMS.2015.18","url":null,"abstract":"The diversity of software components (e.g., Browsers, plugins, fonts) is a wonderful opportunity for users to customize their platforms. Yet, massive customization creates a privacy issue: browsers are slightly different from one another, allowing third parties to collect unique and stable fingerprints to track users. Although software diversity appears to be the source of this privacy issue, we claim that this same diversity, combined with automatic reconfiguration, provides the essential ingredients to constantly change browsing platforms. Constant change acts as a moving target defense strategy against fingerprint tracking by breaking one essential property: stability over time. We leverage virtualization and modular architectures to automatically assemble and reconfigure software components at multiple levels. We operate on operating systems, browsers, fonts and plugins. This work is the first application of software reconfiguration to build a moving target defense against browser fingerprint tracking. The main objective is to automatically modify the fingerprint a platform exhibits. We have developed a prototype called Blink to experiment the effectiveness of our approach at randomizing fingerprints. We have assembled and reconfigured thousands of platforms, and we observe that all of them exhibit different fingerprints, and that commercial fingerprinting solutions are not able to detect that the different platforms actually correspond to a single user.","PeriodicalId":144594,"journal":{"name":"2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"203 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116503643","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}

引用次数: 52

Reasoning about Human Participation in Self-Adaptive Systems 关于人类参与自适应系统的推理

2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2015-05-16 DOI: 10.1109/SEAMS.2015.14

J. Cámara, Gabriel A. Moreno, D. Garlan

{"title":"Reasoning about Human Participation in Self-Adaptive Systems","authors":"J. Cámara, Gabriel A. Moreno, D. Garlan","doi":"10.1109/SEAMS.2015.14","DOIUrl":"https://doi.org/10.1109/SEAMS.2015.14","url":null,"abstract":"Self-adaptive systems overcome many of the limitations of human supervision in complex software-intensive systems by endowing them with the ability to automatically adapt their structure and behavior in the presence of runtime changes. However, adaptation in some classes of systems (e.g., Safety-critical) can benefit by receiving information from humans (e.g., Acting as sophisticated sensors, decision-makers), or by involving them as system-level effectors to execute adaptations (e.g., When automation is not possible, or as a fallback mechanism). However, human participants are influenced by factors external to the system (e.g., Training level, fatigue) that affect the likelihood of success when they perform a task, its duration, or even if they are willing to perform it in the first place. Without careful consideration of these factors, it is unclear how to decide when to involve humans in adaptation, and in which way. In this paper, we investigate how the explicit modeling of human participants can provide a better insight into the trade-offs of involving humans in adaptation. We contribute a formal framework to reason about human involvement in self-adaptation, focusing on the role of human participants as actors (i.e., Effectors) during the execution stage of adaptation. The approach consists of: (i) a language to express adaptation models that capture factors affecting human behavior and its interactions with the system, and (ii) a formalization of these adaptation models as stochastic multiplayer games (SMGs) that can be used to analyze human-system-environment interactions. We illustrate our approach in an adaptive industrial middleware used to monitor and manage sensor networks in renewable energy production plants.","PeriodicalId":144594,"journal":{"name":"2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130538469","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}

引用次数: 71

BUNGEE: An Elasticity Benchmark for Self-Adaptive IaaS Cloud Environments BUNGEE:自适应IaaS云环境的弹性基准

2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2015-05-16 DOI: 10.1109/SEAMS.2015.23

N. Herbst, Samuel Kounev, Andreas Weber, Henning Groenda

{"title":"BUNGEE: An Elasticity Benchmark for Self-Adaptive IaaS Cloud Environments","authors":"N. Herbst, Samuel Kounev, Andreas Weber, Henning Groenda","doi":"10.1109/SEAMS.2015.23","DOIUrl":"https://doi.org/10.1109/SEAMS.2015.23","url":null,"abstract":"Today's infrastructure clouds provide resource elasticity (i.e. Auto-scaling) mechanisms enabling self-adaptive resource provisioning to reflect variations in the load intensity over time. These mechanisms impact on the application performance, however, their effect in specific situations is hard to quantify and compare. To evaluate the quality of elasticity mechanisms provided by different platforms and configurations, respective metrics and benchmarks are required. Existing metrics for elasticity only consider the time required to provision and deprovision resources or the costs impact of adaptations. Existing benchmarks lack the capability to handle open workloads with realistic load intensity profiles and do not explicitly distinguish between the performance exhibited by the provisioned underlying resources, on the one hand, and the quality of the elasticity mechanisms themselves, on the other hand. In this paper, we propose reliable metrics for quantifying the timing aspects and accuracy of elasticity. Based on these metrics, we propose a novel approach for benchmarking the elasticity of Infrastructure-as-a-Service (IaaS) cloud platforms independent of the performance exhibited by the provisioned underlying resources. We show that the proposed metrics provide consistent ranking of elastic platforms on an ordinal scale. Finally, we present an extensive case study of real-world complexity demonstrating that the proposed approach is applicable in realistic scenarios and can cope with different levels of resource efficiency.","PeriodicalId":144594,"journal":{"name":"2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123578595","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}

引用次数: 70

SASS: Self-Adaptation Using Stochastic Search 基于随机搜索的自适应

2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2015-05-16 DOI: 10.1109/SEAMS.2015.16

Zack Coker, D. Garlan, Claire Le Goues

{"title":"SASS: Self-Adaptation Using Stochastic Search","authors":"Zack Coker, D. Garlan, Claire Le Goues","doi":"10.1109/SEAMS.2015.16","DOIUrl":"https://doi.org/10.1109/SEAMS.2015.16","url":null,"abstract":"Future-generation self-adaptive systems will need to be able to optimize for multiple interrelated, difficult-to-measure, and evolving quality properties. To navigate this complex search space, current self-adaptive planning techniques need to be improved. In this position paper, we argue that the research community should more directly pursue the application of stochastic search techniques -- search techniques, such as hill climbing or genetic algorithms, that incorporate an element of randomness -- to self-adaptive systems research. These techniques are well-suited to handling multi-dimensional search spaces and complex problems, situations which arise often for self-adaptive systems. We believe that recent advances in both fields make this a particularly promising research trajectory. We demonstrate one way to apply some of these advances in a search-based planning prototype technique to illustrate both the feasibility and the potential of the proposed research. This strategy informs a number of potentially interesting research directions and problems. In the long term, this general technique could enable sophisticated plan generation techniques that improve domain specific knowledge, decrease human effort, and increase the application of self-adaptive systems.","PeriodicalId":144594,"journal":{"name":"2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"424 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116230063","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}

引用次数: 36

Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation 自适应MAPE-K反馈回路的建模与分析

2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2015-05-16 DOI: 10.1109/SEAMS.2015.10

Paolo Arcaini, E. Riccobene, P. Scandurra

引用次数: 188

Software Engineering Meets Control Theory 软件工程与控制理论相结合

2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2015-05-01 DOI: 10.1109/SEAMS.2015.12

A. Filieri, M. Maggio, Konstantinos Angelopoulos, Nicolás D'Ippolito, I. Gerostathopoulos, A. B. Hempel, H. Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, C. Klein, Filip Krikava, Sasa Misailovic, A. Papadopoulos, S. Ray, Amir Molzam Sharifloo, S. Shevtsov, M. Ujma, T. Vogel

{"title":"Software Engineering Meets Control Theory","authors":"A. Filieri, M. Maggio, Konstantinos Angelopoulos, Nicolás D'Ippolito, I. Gerostathopoulos, A. B. Hempel, H. Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, C. Klein, Filip Krikava, Sasa Misailovic, A. Papadopoulos, S. Ray, Amir Molzam Sharifloo, S. Shevtsov, M. Ujma, T. Vogel","doi":"10.1109/SEAMS.2015.12","DOIUrl":"https://doi.org/10.1109/SEAMS.2015.12","url":null,"abstract":"The software engineering community has proposed numerous approaches for making software self-adaptive. These approaches take inspiration from machine learning and control theory, constructing software that monitors and modifies its own behavior to meet goals. Control theory, in particular, has received considerable attention as it represents a general methodology for creating adaptive systems. Control-theoretical software implementations, however, tend to be ad hoc. While such solutions often work in practice, it is difficult to understand and reason about the desired properties and behavior of the resulting adaptive software and its controller. This paper discusses a control design process for software systems which enables automatic analysis and synthesis of a controller that is guaranteed to have the desired properties and behavior. The paper documents the process and illustrates its use in an example that walks through all necessary steps for self-adaptive controller synthesis.","PeriodicalId":144594,"journal":{"name":"2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123820247","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}

引用次数: 94