What is the abbreviation for The realtime operating system?

Looking for the shorthand of The realtime operating system or how to abbreviate it? We have 2 shorthands for The realtime operating system.