There's only one a few projects I know of that provide formal proofs wrt their real time guarantees; sel4 being the only public example. That being said, vibes

There's only one a few projects I know of that provide formal proofs wrt their real time guarantees; sel4 being the only public example. That being said, vibes and kiss principle can get you remarkably far.