Multi-Criteria Optimization of Hard Real-Time Systems

Modern embedded hard real-time systems often have to com-ply with several design constraints. On the one hand, the system’s execution time has to be provably less than or equal to a given deadline. On the other hand, further constraints may be given with regard to maximum code size and en-ergy consumption due to limited resources. We propose an idea for a compiler-based approach to automatically opti-mize embedded hard real-time systems with regard to mul-tiple optimization criteria. 1