Guidance for the use of the Ada programming language in high integrity systems

ABSTRACT

This paper is the current result of a study by the ISO HRG Rapporteur group which is being circulated for comment. Many people have contributed to this, but those who have either attended two recent meetings of group or have made substantial e-mail comments are: Praful V Bhansali (Boeing, USA), Alan Burns (University of York, UK), Bernard Carre' (Praxis Critical Systems, UK), Dan Craigen (ORA, Canada), Nick Johnson MoD, UK), Stephen Michell (Canada), Gilles Motet (DGEI/INSA, France), George Romanski (AONIX, USA), Mark Saaltink (ORA, Canada), Gareth Rowlands (MoD, UK), Adam Tacy (MoD, UK), (Phil) JP Thornley (BAe, UK), David Tombs (DERA, UK), Tullio Vardanega (ESA/ESTEC, Netherlands), Brian Wichmann (NPL, UK).

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Ada

Additional Classification:
  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS

General Terms:
Design, Languages, Management, Measurement, Performance, Verification