International audienceDynamic reconfiguration allows adding or removing components of component-based systems without incurring any system downtime. To satisfy specific requirements, adaptation policies provide the means to dynamically reconfigure the systems in relation to (events in) their environment. This paper extends event-based adaptation policies by integrating temporal requirements into them. The challenge is to reconfigure component-based systems at runtime while considering both their functional and non-functional requirements. We illustrate our theoretical contributions with an example of an autonomous vehicle location system. An implementation using the Fractal component model constitutes a practical contribution. It enables dy...
Automobiles increasingly include a multitude of replaceable and configurable hardware and software c...
Society's increasing dependence on software-intensive systems is driving the need for dependable, ro...
International audienceModern cyber-physical system are often responsible for safety critical control...
International audienceDynamic reconfiguration allows adding or removing components of component-base...
International audienceDynamic recongurations increase the availability and the reliability of compon...
Our main goal is to allow the usage of temporal properties within an adaptation policy while taking ...
Long version of the paper accepted for FACS 2014 - The 11th International Symposium on Formal Aspect...
International audienceComponent-based development is a commonly used technique to build complex syst...
Abstract. Self-adaptation allows systems to modify their structure and/or their behaviour depending ...
Long version of the paper accepted at ICFEM 2015, the 17th International Conference on Formal Engine...
International audienceDynamic reconfigurations increase the availability and the reliability of comp...
International audienceDynamic reconfigurations increase the availability and the reliability of comp...
International audienceAdaptive systems can be regarded as a set of static programs and transitions b...
Real-time systems can be large, distributed and have a dynamic environment. This requires the introd...
International audienceAn approach for specifying and executing dynamically adaptive software systems...
Automobiles increasingly include a multitude of replaceable and configurable hardware and software c...
Society's increasing dependence on software-intensive systems is driving the need for dependable, ro...
International audienceModern cyber-physical system are often responsible for safety critical control...
International audienceDynamic reconfiguration allows adding or removing components of component-base...
International audienceDynamic recongurations increase the availability and the reliability of compon...
Our main goal is to allow the usage of temporal properties within an adaptation policy while taking ...
Long version of the paper accepted for FACS 2014 - The 11th International Symposium on Formal Aspect...
International audienceComponent-based development is a commonly used technique to build complex syst...
Abstract. Self-adaptation allows systems to modify their structure and/or their behaviour depending ...
Long version of the paper accepted at ICFEM 2015, the 17th International Conference on Formal Engine...
International audienceDynamic reconfigurations increase the availability and the reliability of comp...
International audienceDynamic reconfigurations increase the availability and the reliability of comp...
International audienceAdaptive systems can be regarded as a set of static programs and transitions b...
Real-time systems can be large, distributed and have a dynamic environment. This requires the introd...
International audienceAn approach for specifying and executing dynamically adaptive software systems...
Automobiles increasingly include a multitude of replaceable and configurable hardware and software c...
Society's increasing dependence on software-intensive systems is driving the need for dependable, ro...
International audienceModern cyber-physical system are often responsible for safety critical control...