Yeah, but you need to design an OS from scratch to supported these hard realtime and safety requirements. There are a few ones out there (VxWorks, Integrity, ...). But the linked OS seems more to focus on the general purpose OS role.