Abstract
The language Ada is no less safe than other languages. Because of its strong typing, the predefined exception mechanism and the standardized tasking features, it has an even greater advantage compared to other languages. There are reasonable alternatives to restricting Ada to a ’PASCAL subset’ as required in the EFA Safe Ada Study. With some precise rules, Ada fulfills all requirements of safety critical avionic applications. The adherence to these safety rules can be controlled with appropriate tools and methods.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have