PAL CARD CATALOG ENTRY

SHORT DESCRIPTION

Report on suitability of Ada for high integrity apps


MOVEMENT WITHIN THE PAL CARD CATALOG
Move to top-level taxonomy
Move to keyword list

ASSET PROFILE

UNIT NAME
HIA
VERSION
N/A
ORIGIN
University of York
REVIEW CODE
OK
INET ADDRESS
yse@minster.york.ac.uk
AUTHOR
David Jordan
York Software Engineering Limited
University of York
York
YO1 5DD
ENGLAND
RIGHTS
Released to the public; distribution unlimited
COPYRIGHT
1993 David Jordan
LOCATION
PAL

FILE LISTING

Directory Display


languages/ada/docs/hia:
  File Name                 Size
  ---------                 ----
  README                   2,466
  hia.zip              1,010,172


Totals
  ==============  ==============
    2 Files            1,012,638

ABSTRACT

                         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 144.32.128.41)

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  : 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


REVISION HISTORY

Aug 93  David Jordan  Initial release


RELEASE NOTICE

Approved for public release; distribution unlimited
Obtained via FTP from minster.york.ac.uk


DISCLAIMER

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.