Re: A point of order seems to need clarifying.
No. Plenty of experience developing for VxWorks and exactly the same issues apply with int32/time rollover, etc. Moreover, many products are using very old, heavily patched versions of the OS because it's considered too risky/expensive to migrate. Especially in aerospace. And the fact that it's only used in dedicated applications in relatively small volumes, means that many bugs remain undiscovered and unfixed for years. It may be a more deterministic OS, but that only gets you so far.