Report on suitability of Ada for high integrity apps
languages/ada/docs/hia: File Name Size --------- ---- README 2,466 hia.zip 1,010,172 Totals ============== ============== 2 Files 1,012,638
A Study of High Integrity Ada ============================= "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. Five study reports have now been published, and all are available by FTP from the following site: minster.york.ac.uk (IP address 18.104.22.168) in the directory: /YSE in the files: hia-wp1.ps.Z work package 1 report hia-wp2.ps.Z work package 2 report hia-wp3.ps.Z work package 3 report hia-wp4.ps.Z work package 4 report hia-wp4s.ps.Z work package 4 summary The files are stored in compressed postscript format, so be sure to set binary mode when FTPing them. File Contents ---- -------- hia-wp1.ps.Z A Study of High Integrity Ada, Work Package 1 report Language Review hia-wp2.ps.Z A Study of High Integrity Ada, Work Package 2 report Analysis of Ada Programs hia-wp3.ps.Z A Study of High Integrity Ada, Work Package 3 report Trusted Ada Compilation hia-wp4.ps.Z A Study of High Integrity Ada, Work Package 4 report Tool Support for High Integrity Software Development hia-wp4s.ps.Z A Study of High Integrity Ada, Work Package 4 summary Tool Support for High Integrity Software Development For further information, contact: David Jordan Internet : firstname.lastname@example.org 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.