Embedded; Real-time; Program analysis; WCET; Non-preemptive; Signal; Task

This paper addresses the problem of program modeling and analysis of real-time (embedded) applications, providing a homogenous set of models and methods that enable the development of applications with hard real-time or even critical timing behavior requirements. Program timing analysis resulting in WCET calculation for hard real-time tasks is also studied.