Recently, we have seen an increase in the deployment of safety critical embedded systems in rapidly changing environments, as well as requirement for on-site customizations and rapid adaptation. To address the extended range of requirements, adaptation mechanism are added to the systems to handle large number of situations appropriately. Although necessary, adaptations can cause inconsistent and unstable configurations that must be prevented for the embedded system to remain dependable and safe. Therefore, verifying the behavior of adaptive embedded systems during the design phase of the production process is highly desirable. A hard real time embedded system and its environment can be modeled using timed automata. Such model can describe t...
Abstract: Timed systems are notoriously hard to debug and to verify because the continuous nature of...
Self-adaptation is a promising approach to manage the complexity of modern software systems. A self-...
We present a framework for the development of real-time embedded systems based on timed automata ext...
Adjusting to resource changes, dynamic environmental conditions, or new usage modes are some of the ...
This thesis presents a framework for design, analysis, and implementation of embedded systems. We ad...
Many complex embedded systems dynamically adapt their components, services, algorithms, and paramete...
Abstract. Adaptation is important in dependable embedded systems to cope with changing environmental...
International audienceAdaptive systems can be regarded as a set of static programs and transitions b...
Adaptive systems can be regarded as a set of static programs and transitions between these programs....
Adaptation is important in dependable embedded systems to cope with changing environmental condition...
Real-time systems are found in an increasing variety of application elds. Usually, they are embedded...
In networked embedded systems, runtime adaptive software promises an increase of flexibility, fault ...
Focusing on real-time scheduling theory, the thesis demonstrates how essential realistic scheduling ...
Abstract. We present a framework for the development of real-time embedded systems based on timed au...
We present a model, task automata, for real time systems with non-uniformly re-curring computation t...
Abstract: Timed systems are notoriously hard to debug and to verify because the continuous nature of...
Self-adaptation is a promising approach to manage the complexity of modern software systems. A self-...
We present a framework for the development of real-time embedded systems based on timed automata ext...
Adjusting to resource changes, dynamic environmental conditions, or new usage modes are some of the ...
This thesis presents a framework for design, analysis, and implementation of embedded systems. We ad...
Many complex embedded systems dynamically adapt their components, services, algorithms, and paramete...
Abstract. Adaptation is important in dependable embedded systems to cope with changing environmental...
International audienceAdaptive systems can be regarded as a set of static programs and transitions b...
Adaptive systems can be regarded as a set of static programs and transitions between these programs....
Adaptation is important in dependable embedded systems to cope with changing environmental condition...
Real-time systems are found in an increasing variety of application elds. Usually, they are embedded...
In networked embedded systems, runtime adaptive software promises an increase of flexibility, fault ...
Focusing on real-time scheduling theory, the thesis demonstrates how essential realistic scheduling ...
Abstract. We present a framework for the development of real-time embedded systems based on timed au...
We present a model, task automata, for real time systems with non-uniformly re-curring computation t...
Abstract: Timed systems are notoriously hard to debug and to verify because the continuous nature of...
Self-adaptation is a promising approach to manage the complexity of modern software systems. A self-...
We present a framework for the development of real-time embedded systems based on timed automata ext...