An important challenge in dynamic adaptation of a soft-ware system is to prevent inconsistencies (failures) and dis-ruptions in its operations during and after change. Several prior techniques have solved this problem with various trade-offs. All of them, however, assume the availability of de-tailed component dependency models. This paper presents a complementary technique that solves this problem in set-tings where such models are either not available, difficult to build, or outdated due to the evolution of the software. Our approach first mines the execution history of a software sys-tem to infer a stochastic component dependency model, rep-resenting the probabilistic sequence of interactions among the system’s components. We then demons...
Software systems are known to suffer from outages due to transient errors. Recently, the phenomenon ...
We consider the problem of modelling and verifying the behaviour of systems characterised by a close...
Software evolution incurs difficulties in program comprehension and software verification, and hence...
An important challenge in dynamic adaptation of a soft-ware system is to prevent inconsistencies (fa...
Models can help software engineers to reason about design-time decisions before implementing a syste...
Models can help software engineers to reason about design-time decisions before implementing a syste...
Timing analysis is the application of one or more well-established predictive methods to derive the ...
Software components are suitable vehicles to introduce advanced analysis techniques in a software-en...
Currently, few tools are available for assisting developers with debugging intelligent systems. Beca...
Dynamic adaptation means that components are reconfigured at run time. Consequently, the degree to w...
Software components are suitable vehicles to introduce advanced analysis techniques in a software-en...
This paper presents a scenario-based approach for the evaluation of the quality attribute of perform...
A Dynamic Software Product Line (DSPL) aims at managing run-time adaptations of a software system. I...
Abstract. In a distributed environment, several components collabo-rate with each other to cater a c...
Modern software systems need to autonomously adapt their behavior at runtime in order to maintain th...
Software systems are known to suffer from outages due to transient errors. Recently, the phenomenon ...
We consider the problem of modelling and verifying the behaviour of systems characterised by a close...
Software evolution incurs difficulties in program comprehension and software verification, and hence...
An important challenge in dynamic adaptation of a soft-ware system is to prevent inconsistencies (fa...
Models can help software engineers to reason about design-time decisions before implementing a syste...
Models can help software engineers to reason about design-time decisions before implementing a syste...
Timing analysis is the application of one or more well-established predictive methods to derive the ...
Software components are suitable vehicles to introduce advanced analysis techniques in a software-en...
Currently, few tools are available for assisting developers with debugging intelligent systems. Beca...
Dynamic adaptation means that components are reconfigured at run time. Consequently, the degree to w...
Software components are suitable vehicles to introduce advanced analysis techniques in a software-en...
This paper presents a scenario-based approach for the evaluation of the quality attribute of perform...
A Dynamic Software Product Line (DSPL) aims at managing run-time adaptations of a software system. I...
Abstract. In a distributed environment, several components collabo-rate with each other to cater a c...
Modern software systems need to autonomously adapt their behavior at runtime in order to maintain th...
Software systems are known to suffer from outages due to transient errors. Recently, the phenomenon ...
We consider the problem of modelling and verifying the behaviour of systems characterised by a close...
Software evolution incurs difficulties in program comprehension and software verification, and hence...