For mission and safety critical systems, Ada provides unparalleled support through type safety and careful language design. It is in widespread use amongst military and aerospace customers and continues to be chosen wherever the integrity of the system is of paramount importance.
Even in the presence of automatic code generation, the choice of target language is important. Not only must the generated code integrate easily and safely with other system components (which may be hand written in Ada) but the safety and security of Ada itself can be used to increase confidence that the models have no lurking problems and that the code generators have faithfully implemented the intent of the models.
In addition, the Ada world has a number of static analysis tools (such as the SPARK examiner) which can not only reveal hidden problems but can also provide some degree of proof of program correctness.
For these reasons the iUML tool suite includes Ada code generation capability in the form of two generators:
- TA-7 generates multi-task Ada 83 code;