1- Are there any problem using c++ (i.e. OOP) with realtime applications?
Are they OS dependent? (I know in RTLinux there are some issues, what about QNX?)
2- Which is/are the better modeling tool/methodology/technics/etc?
Are Petri Nets or something like that useful?
3- What about verification?
Thanks