ASE2 CARD CATALOG ENTRY

Instructions:


ASSET OVERVIEW

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

CLASSIFICATION

KEYWORDS
High Integrity Ada
Ada, High Integrity
INDEX
Jordan, David
Univ of York
York SW Eng Ltd
DEPENDENCIES
None
SEE ALSO
SHORT DESCRIPTION
Report on suitability of Ada for high integrity apps
TAXONOMY


Documents
    High Integrity Ada Study


FILE LISTING

FILE SPECS
You are on CDROM ID ase02_01
Click here to enter Asset Directory/transfer Asset File(s):
../../ase02_01/docs/hia
DIRECTORY DISPLAY
Follow path to see directory

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.

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.

ASE CARD CATALOG ENTRY NAVIGATION

Powered by the Generic Web-Based Reuse Library (GWRL)