Yes, the VITAL systems will be running Vertix Ada and what have you. The problem is, when is a system VITAL?
The train designers consider everything fundamental to running the train to be vital. So every system of it runs Vertix Ada or some other fairly simple code that can be carefully checked to prevent errors. So the train is safe from malfunction, does this help if the train doesn't know that another train is coming at it around the corner?
Systems that aren't determined "vital" and "critical" to the functioning of the device in question may very likely not be running such a safe OS. However there can still be catastrophic effects if these "non-vital" systems have problems.
Slashdot Mirror
Why? It's not as if no one else has mentioned that e-mail address before.... http://www.macopinion.com/columns/tangible/01/01/1 1/talk/5.html
Yes, the VITAL systems will be running Vertix Ada and what have you. The problem is, when is a system VITAL?
The train designers consider everything fundamental to running the train to be vital. So every system of it runs Vertix Ada or some other fairly simple code that can be carefully checked to prevent errors. So the train is safe from malfunction, does this help if the train doesn't know that another train is coming at it around the corner?
Systems that aren't determined "vital" and "critical" to the functioning of the device in question may very likely not be running such a safe OS. However there can still be catastrophic effects if these "non-vital" systems have problems.