Developing Fault Tolerant Software in Ada for Real-Time Dependable Systems

The Ada language has been used in the Space industries since approximately 1988. Lots of investments industrial investments have been made on the Ada development environment but also on the accompanying upstream design methods and the downstream test and validation means. This design and development environment will continue to be used for the development of our future Space Systems. But once again, why using Ada? Simply because it helps getting more reliable software through the simple use of a compiler. This is a fundamental property of the Ada language which follows a more general trend towards procuring more dependability. In the near future, the dependability of the objects of our everyday life will be significantly enhanced; even, dependability will be more than today the keyword for marketing products.