Hybrid Planning for Decision Making in Self-Adaptive Systems
Proc. of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO) (2016)
Run-time generation of adaptation plans is a powerful mechanism that helps a self-adaptive system to meet its goals in a ...
Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation
Proc. of the International Conference on Autonomic Computing (2016)
Proactive latency-aware adaptation is an approach for self-adaptive systems that improves over reactive adaptation by considering both the current and ...
Analyzing Latency-aware Self-adaptation using Stochastic Games and Simulations
ACM Transactions on Autonomous and Adaptive Systems (to appear) (2015)
Self-adaptive systems must decide which adaptations to apply and when. In reactive approaches, adaptations are chosen and executed after some ...
Proactive Self-Adaptation under Uncertainty: A Probabilistic Model Checking Approach
Proceedings of the Joint Meeting of the European Software Engineering Conference and the Symposium on Foundations of Software Engineering (ESEC/FSE) (2015)
Self-adaptive systems tend to be reactive and myopic, adapting in response to changes without anticipating what the subsequent adaptation needs ...
Reasoning about Human Participation in Self-Adaptive Systems
Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (2015)
Self-adaptive systems overcome many of the limitations of human supervision in complex software-intensive systems by endowing them with the ability ...
Stochastic Game Analysis and Latency Awareness for Proactive Self-Adaptation
Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (2014)
Although different approaches to decision-making in self-adaptive systems have shown their effectiveness in the past by factoring in predictions about ...
Architecture-Based Self-Protection: Composing and Reasoning about Denial-of-Service Mitigations
Proceedings of Symposium and Bootcamp on the Science of Security (HotSoS) (2014)
Security features are often hardwired into software applications, making it difficult to adapt security responses to reflect changes in runtime ...
An Optimal Real-Time Voltage and Frequency Scaling for Uniform Multiprocessors
Proceedings of the 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2012) (2012)
Power consumption is an increasing concern in real-time systems that operate on battery power or require heat dissipation to keep ...
Designing for Incentives: Better Information Sharing for Better Software Engineering
Proceedings of the FSE/SDP Workshop on the Future of Software Engineering Research (FoSER) (2010)
Software-reliant systems permeate all aspects of modern society. The resulting interconnectedness and associated complexity has resulted in a proliferation of ...
Resource Allocation in Distributed Mixed-Criticality Cyber-Physical Systems
Proceedings of the International Conference on Distributed Computing Systems (ICDCS 2010) (2010)
Large-scale distributed cyber-physical systems will have many sensors/actuators (each with local micro-controllers), and a distributed communication/computing backbone with multiple processors. ...
Model-Driven Performance Analysis
Proceedings of the 4th International Conference on the Quality of Software Architectures (QoSA 2008) (2008)
Model-Driven Engineering (MDE) is an approach to develop software systems by creating models and applying automated transformations to them to ...
Predicting the Behavior of a Highly Configurable Component Based Real-Time ...
Proceedings of 20th Euromicro Conference on Real-Time Systems (ECRTS 08) (2008)
Software components and the technology supporting component based software engineering contribute greatly to the rapid development and configuration of systems ...
Performance Analysis of Real-Time Component Architectures: A Model Interchange Approach
Proceedings of the 7th International Workshop on Software and Performance (WOSP'08) (2008)
Model interchange approaches support the analysis of software architecture and design by enabling a variety of tools to automatically exchange ...
Handling Interdependent Values in an Auction Mechanism for Bandwidth Allocation ...
Proceedings of ACM SIGCOMM 2008 Workshop on Economics of Networked Systems (NetEcon 2008) (2008)
We consider a tactical data network with limited bandwidth, in which each agent is tracking objects and may have value ...
Creating Custom Containers with Generative Techniques
Proceedings of the 5th International Conference on Generative Programming and Component Engineering (GPCE'06) (2006)
Component containers are a key part of mainstream component technologies, and play an important role in separating nonfunctional concerns from ...
Packaging and Deploying Predictable Assembly
Proceedings of the IFIP/ACM Working Conference on Component Deployment (CD '02) (2002)
Significant economic and technical benefits accrue from the use of pre-existing and commercially available software components to develop new systems. ...
Statistical Models for Empirical Component Properties and Assembly-Level Property Predictions ...
Proceedings of the 5th ICSE Workshop on Component-Based Software Engineering, Orlando, Florida (2002)
One risk inherent in the use of software components has been that the behavior of assemblies of components is discovered ...
Technical Reports/Notes (8)
Socio-Adaptive Systems Challenge Problems Workshop Report
Special Report CMU/SEI-2013-SR-010. Software Engineering Institute, Carnegie Mellon University (2013)
Socio-adaptive systems are systems in which human and computational elements interact as peers. The behavior of the system arises from ...
Resource Allocation in Dynamic Environments
Technical Report CMU/SEI-2012-TR-011. Software Engineering Institute, Carnegie Mellon University (2012)
This technical report examines two challenges related to resource allocation that can negatively affect system operation in a dynamic environment, ...
Overview of the Lambda-* Performance Reasoning Frameworks
Technical Report CMU/SEI-2008-TR-020. Software Engineering Institute, Carnegie Mellon University (2009)
The Predictable Assembly from Certifiable Code (PACC) Initiative at the Carnegie Mellon Software Engineering Institute is developing methods and technologies ...
Using Containers to Enforce Smart Constraints for Performance in Industrial ...
Technical Note CMU/SEI-2005-TN-040. Software Engineering Institute, Carnegie Mellon University (2005)
Today, software engineering is concerned less with individual programs than with large-scale networks of interacting programs. For large-scale networks, engineering ...