[LAD] Static verification of real-time safety

[David Robillard]

Hello,

Does anyone know if anything has emerged from

http://www.google-melange.com/gsoc/proposal/review/google/gsoc2012/fundamental/1

or, what alternative solutions for doing the same thing exist today?

I know I have

#ifdef __clang__
#    define REALTIME __attribute__((annotate("realtime")))
#else
#    define REALTIME
#endif

in my code and was tinkering with an implementation capable of doing
this at some point, but can't dig up the details, or whatever system I
was using to do it.

It would be oh so very nice to be able to statically verify that code is
real-time safe...

-- 
dr