Task priorities in non strictly real-time systems