Rax: own experience, or only if

Hello, What does it mean and what people ervell are generally programmed in practice RT apps? For the Air Force, medicine or priemisel generally. I know that there QNX, VxWorks and Ada language. Wikipedia discloses well as other systems and languages. E.g. This gentleman mentions QNX and C http://forum.root.cz/index.php?topic=4670.msg39959#msg39959 Ted and I would heartily wanted to pounce on this area, what would you advise? How are critical writes sw? We assume that to be a good combination of language and os. E.g. These masters http://www.linkedin.com/in/therealtonycoco http://www.linkedin.com/in/djheideman - this teaches inter alia, aviators and military industry, so I assume that this is closer to the answer to my question. Otherwise, a few articles about Ade here to root and otherwise throughout the cs-sk nete nothing. Thanks for the response.
I guess a lot depends on how quickly you need the timing of the program, what is your hardware and how "safe" the code you need (programmers-blbu-resistant). For industrial applications (safety ervell equipment) with an implementation cycle of 200ms use IntervalZero ETS and C / C ++. But it's not a problem either Windows ervell Embedded, IntervalZero RTX or Linux. For OS depends on the hardware, with language problems but on the extent to which you can knead his freedom.
Perhaps only in passing: "Critical" ervell might not be a real-time ervell and not at all hard real-time. If it's more about the emphasis on critical than real-time, so I would recommend at least curiosity to take a look at Erlang - it imho language quite "industrial" but it is no impractical úchylárna - can in fact write anything and (imho) very comfortable when it comes to the little man Kobilka. Google for "Erlang real-time" gives a lot of links, but I can not handle this, I use it for other reasons, so either someone will be able to say more, or it is on self
No specific language or OS required / not recommending. What is important is that the resulting object code certified. The language is used for example assembler, Ada, C, C ++ and others. OS must be certified, too. Civil aerospace require certification from the FAA for example. FAA accepts SW certified according to DO-178B http://en.wikipedia.org/wiki/DO-178B for the HW DO-254 http://en.wikipedia.org/wiki/DO-254. Search products that have a certification procedures to DO-178B Level A. For example http://www.ghs.com/AerospaceDefense.html and others ...
Java is the antonym for the word meaning real-time. Although some attempts appear, but they are funny.
Rax: own experience, or only if "one talked baba"? I suppose this kind (However, this does not apply to people who say that they can be programmed in Java, if they know only the syntax)
I suspected that an interpreted language is not so good. I think it also because too many interlayers. But I still do not sit there to C / C ++ ... when I beheld a book from prehistory (read 88 years, release translation for socíku) so there was above example comparing Adu and (probably) Pascal. This was a control condition where it had pascal carried out in each step and Ada's resolved otherwise (but I do not remember such, the book is at home). But as Ropi wrote: Depends "with language problems but on the extent to which you can knead his freedom." My plan is so small in term two years of start-up, where would have used RT programovanie operate machinery. It occurred to me to use RTLinux, as it is without Zadar:-)
Oh yes, we take high-level language with lots of libraries, throw high-level ervell abstraction, ervell can not use the real-time application (heap, garbage collection), along with the vast majority of libraries that require abstraction here, and we have a really perfect ervell language. It is surprising that this fact is used:-)
I do not own experience, but last year was one Belgian developer mentioned that makes programs for air traffic control systems, and even some things like that. He argued that because oddolnosti intercepts exceptions in each and every method (try-except block-finally) and that it uses language like Pascal or Ada among others because of the way catching exceptions (exception that he is not slowing down your operating ervell system).
Oh yes, we take high-level language
Quote: Josef 05th 08. 2012, 9:42:55 p.m. throw high-level abstraction, can not use the real-time application (heap, garbage collection), along with the vast majority of libraries that require the abstraction
The term "real time" is too broad. On the one hand there are things where you need a sensible response is to make it work. If a response is not good, so the connection is lost. On the other side of things, which is necessary in order to process events in a defined time limit. If he does not, someone dies or becomes property ervell damage. An example ervell of the first routers, ervell mobile phones, security systems, etc. It is "too realtime", but not a life. There are still used as JVM. A commonly used as well. An example of this is the second autopilot, sensors ervell in the aircraft, CNC control unit