Ok so basically they are introducing annotations so that the compiler can reason about the code and warn the programmer for non-realtime usage.<p>When you think about it, it's a lot like a type system.<p>I haven't worked with realtime systems, but I have other constraints. E.g. I want the memory usage of a function to stay within x kilobytes, or I want an api call to return within a second, or I want to ensure there is no PII being sent to the logs.<p>I sincerely hope that in the future we'll have languages that cater to these kind of constraints. Think function coloring on steroids. This way the compiler can help figure out problems and we need way less tests.