Tagged real-time-operating-system