Ada

Ada is a very expressive and robust language in which the default for every programing construct is inherently safe. It was designed to allow programs to be engineered rather than crafted and that is why Ada is chosen for applications where failure would result in catastrophic losses in terms of human life, economic damage, or a major breach of security. In such applications reliability is not just desirable, it is mandatory.

Ada-Europe Conference: June 11-15, 2012

The 17th International Conference on Reliable Software Technologies will take place in Stockholm, Sweden. Following its traditional style, the conference will span a full week, including, from Tuesday to Thursday, three days of parallel scientific, technical and industrial programs, along with parallel tutorials and workshops on Monday and Friday. For details visit http://www.ada-europe.org/conference2012

Swiss-based Projects

Ada has a long and successful track record in Switzerland in the development of mission-, safety-, and security-critical applications. A sample of some Swiss-based projects that owe much of their success to Ada are illustrated in the following slideshow images.