Mohamed-Lamine Boukhanoufa

  • Citations Per Year
Learn More
Developing real-time embedded systems poses significant challenges to the developers. In such systems, correctness means not only computing the right results but also produce It in a timely way. This implies that response time is as important as producing correct results. Therefore, real-time systems must be built to meet these response times. Several(More)
The requirements of adaptive real-time systems include time constraints. They do not only have to hold during normal operation, but also during reconfiguration. This implies time constraints for adaptation operations, which are executed by a reconfiguration framework. In this paper, we present an off-line verification of these time constraints based on a(More)
  • 1