I have some basic questions. (getting started)

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?


Answered on osnews.com forums.