Title :
High integrity Ada-the problem
Author_Institution :
NPL, Teddington, UK
Abstract :
The most significant potential source of insecurities in Ada arises from errors in Ada compilers. Several potential sources of insecurity in the language have been identified, and steps should be taken to avoid these issues. The Ada evaluation service can be used to check many potential problems with an Ada system. Other such tools are being developed
Keywords :
Ada; data integrity; program compilers; software reliability; Ada; Ada compilers; Ada evaluation service; errors; insecurities; software reliability;
Conference_Titel :
High Integrity Ada, IEE Colloquium on
Conference_Location :
London
