The behaviour of a real-time system can be validated at the system level by means of a real-time operating system model in a VHDL simulation environment. The model consists of the real-time operating system, hardware described in behavioural VHDL and task descriptions written in C. The real-time operating system behaviour, HW/SW partitioning and HW/SW interfacing can be analysed by studying the simulation results.