13,477 research outputs found
Self-organising agent communities for autonomic resource management
The autonomic computing paradigm addresses the operational challenges presented by increasingly complex software systems by proposing that they be composed of many autonomous components, each responsible for the run-time reconfiguration of its own dedicated hardware and software components. Consequently, regulation of the whole software system becomes an emergent property of local adaptation and learning carried out by these autonomous system elements. Designing appropriate local adaptation policies for the components of such systems remains a major challenge. This is particularly true where the system’s scale and dynamism compromise the efficiency of a central executive and/or prevent components from pooling information to achieve a shared, accurate evidence base for their negotiations and decisions.In this paper, we investigate how a self-regulatory system response may arise spontaneously from local interactions between autonomic system elements tasked with adaptively consuming/providing computational resources or services when the demand for such resources is continually changing. We demonstrate that system performance is not maximised when all system components are able to freely share information with one another. Rather, maximum efficiency is achieved when individual components have only limited knowledge of their peers. Under these conditions, the system self-organises into appropriate community structures. By maintaining information flow at the level of communities, the system is able to remain stable enough to efficiently satisfy service demand in resource-limited environments, and thus minimise any unnecessary reconfiguration whilst remaining sufficiently adaptive to be able to reconfigure when service demand changes
Design and management of reconfigurable assembly lines in the automotive industry
Automotive suppliers are facing the challenge of continuously adapting their production targets to variable demand requirements due to the frequent introduction of new model variants, materials and assembly technologies. In this context, the profitable management of the product, process and system co-evolution is of paramount importance for the company competitiveness. In this paper, a methodology for the design and reconfiguration management of modular assembly systems is proposed. It addresses the selection of the technological modules, their integration in the assembly cell, and the reconfiguration policies to handle volume and lot size variability. The results are demonstrated in a real automotive case study. (C) 2016 CIRP
Probabilistic Model Checking for Energy Analysis in Software Product Lines
In a software product line (SPL), a collection of software products is
defined by their commonalities in terms of features rather than explicitly
specifying all products one-by-one. Several verification techniques were
adapted to establish temporal properties of SPLs. Symbolic and family-based
model checking have been proven to be successful for tackling the combinatorial
blow-up arising when reasoning about several feature combinations. However,
most formal verification approaches for SPLs presented in the literature focus
on the static SPLs, where the features of a product are fixed and cannot be
changed during runtime. This is in contrast to dynamic SPLs, allowing to adapt
feature combinations of a product dynamically after deployment. The main
contribution of the paper is a compositional modeling framework for dynamic
SPLs, which supports probabilistic and nondeterministic choices and allows for
quantitative analysis. We specify the feature changes during runtime within an
automata-based coordination component, enabling to reason over strategies how
to trigger dynamic feature changes for optimizing various quantitative
objectives, e.g., energy or monetary costs and reliability. For our framework
there is a natural and conceptually simple translation into the input language
of the prominent probabilistic model checker PRISM. This facilitates the
application of PRISM's powerful symbolic engine to the operational behavior of
dynamic SPLs and their family-based analysis against various quantitative
queries. We demonstrate feasibility of our approach by a case study issuing an
energy-aware bonding network device.Comment: 14 pages, 11 figure
Component-based simulation for a reconfiguration study of transitic systems
This paper is organized as follows. Part A presents the context of reconfiguring transitic systems and the main idea in implementing the decision step. It comprises sections 1 to 3. Section 3 presents an example that illustrates the concepts presented in the next sections. Parts B and C express the models and principles used to simulate transitic systems, the result of which will be helpful for choosing the new configuration. Part B focuses mainly on models. It comprises sections 4 to 6. Part C focuses mainly on simulation principles. It comprises sections 7 to 10
Context-dependent reconfiguration of autonomous vehicles in mixed traffic
Human drivers naturally adapt their behaviour depending on the traffic conditions, such as the
current weather and road type. Autonomous vehicles need to do the same, in a way that is both
safe and efficient in traffic composed of both conventional and autonomous vehicles. In this paper,
we demonstrate the applicability of a reconfigurable vehicle controller agent for autonomous
vehicles that adapts the parameters of a used car-following model at runtime, so as to maintain a
high degree of traffic quality (efficiency and safety) under different weather conditions.We follow
a dynamic software product line approach to model the variability of the car-following model
parameters, context changes and traffic quality, and generate specific configurations for each
particular context. Under realistic conditions, autonomous vehicles have only a very local knowledge
of other vehicles' variables.We investigate a distributed model predictive controller agent
for autonomous vehicles to estimate their behavioural parameters at runtime, based on their
available knowledge of the system.We show that autonomous vehicles with the proposed reconfigurable
controller agent lead to behaviour similar to that achieved by human drivers, depending
on the context.Junta de Andalucía MAGIC P12-TIC1814Ministerio de Ciencia, Innovación y Universidades HADAS TIN2015-64841-
Recommended from our members
Self-tuning of software systems through goal-based feedback control loop
Quality requirements of a software system cannot be optimally met, especially when it is running in an uncertain and changing environment. In principle, a controller at runtime can monitor the change impact on quality requirements of the system, update the expectations and priorities from the environment, and take reasonable actions to improve the overall satisfaction. In practice, however, existing controllers are mostly designed for tuning low- level performance indicators rather than high-level requirements. By maintaining a live goal model to represent the runtime requirements and linking the overall satisfaction to an earned business value indicator as feedback, we propose a control-theoretic self-tuning method that can dynamically tune the preferences of different quality requirements, and can autonomously make the tradeoff decisions among different quality requirements through our preference-based goal reasoning. The reasoning result is involved to reconfigure the variation points of the goal model, and accordingly mapped to the system architecture reconfiguration. The effectiveness of our self-tuning method is evaluated by comparing the earned business value with the static and ad-hoc methods and analysing the self-tuning process
- …