ASE2 CARD CATALOG ENTRY |
Instructions:
"A Study of High Integrity Ada" was carried out during 1992 and 1993 by York Software Engineering Limited and British Aerospace Defence (Military Aircraft) Limited under UK Ministry of Defence contract SLS31c/73. The first work package formulated requirements for a language that is to be used to program high integrity, particularly safety critical, applications. An assessment of Ada against these requirements, including an examination of the impact of Ada 9X, was then produced. The second work package centred on an investigation of Ada program analysis techniques (static analysis and program verification). It also included an examination of existing Ada subsets, and the definition of (what is believed to be) the largest analysable Ada subset for which tool support could be provided at the current state-of-the-art. The third work package looked at trusted compilation issues, including the feasibility of producing a trusted Ada (subset) compiler. The fourth work package concentrated on tool support for high integrity applications development.
For further information, contact:
David Jordan Internet : yse@minster.york.ac.uk York Software Engineering Limited Telephone : +44 (0)904 433741 University of York Fax : +44 (0)904 432744 York YO1 5DD ENGLAND
Aug 93 David Jordan Initial release
Approved for public release; distribution unlimited Obtained via FTP from minster.york.ac.uk
This documentation is provided "AS IS" and without any expressed or implied warranties whatsoever. No warranties as to performance, merchantability, or fitness for a particular purpose exist. The user must assume the entire risk and liability of using this document. In no event shall any person or organization of people be held responsible for any direct, indirect, consequential or inconsequential damages or lost profits.
Powered by the Generic Web-Based Reuse Library (GWRL)