ARINC 613 : 1988

1.0 INTRODUCTION
1.1 Purpose of this document
1.2 Intended audience
1.3 Scope
1.4 Document organization
1.5 Background
1.6 References
2.0 PURPOSE OF THE ADA LANGUAGE
2.1 Introduction
2.2 Ada language domain for commercial avionics
      equipment
3.0 DESIGN RECOMMENDATIONS
3.1 Introduction
3.2 Design principles
3.3 Data abstraction using types
3.4 Activity abstraction
3.5 Encapsulation
3.6 Portability issues
3.7 Efficiency issues
4.0 FORMAT RECOMMENDATIONS
4.1 Introduction
4.2 Standard style
4.3 Declarations
4.4 Lexical ordering of program units
4.5 Ada source file naming
4.6 Application of WITH and USE
4.7 Named association
5.0 CODE RECOMMENDATIONS
5.1 Introduction
5.2 Control flow
5.3 Numerical precision
5.4 Storage management
5.5 Resource allocation
5.6 Ada programming support environment
6.0 TEST RECOMMENDATIONS
6.1 Introduction
6.2 Analytical activities
6.3 Testing activities
6.4 Verification of the run-time library
6.5 Testing tools
7.0 PRAGMAS
7.1 Introduction
7.2 Pragma CONTROLLED
7.3 Pragma INLINE
7.4 Pragma INTERFACE
7.5 Pragma OPTIMIZE
7.6 Pragma PACK
7.7 Pragma PRIORITY
7.8 Pragma SUPPRESS
7.9 Pragma SYSTEM_NAME, STORAGE_UNIT and MEMORY_SIZE
7.10 Interrupt optimization pragmas
8.0 ATTRIBUTES
8.1 Introduction
8.2 Attribute P'ADDRESS
8.3 Attribute P'COUNT
9.0 COMPILE TIME PROCESSING
9.1 Static expressions
9.2 Generics
10.0 TASKS
10.1 Introduction
10.2 Ada language versus assembly for task management
10.3 Dynamic task allocation
10.4 Task scheduling and priorities
10.5 DELAY statement
10.6 SELECT statement
11.0 EXCEPTIONS AND ERROR HANDLING
11.1 Use of exceptions and error handling
12.0 REPRESENTATIONS
12.1 Introduction
12.2 Length clauses
12.3 Enumeration representation clauses
12.4 Record representation clauses
12.5 Address clauses
12.6 Example use of record representation and length
      clauses
13.0 PREDEFINED UNITS
13.1 The package SYSTEM
13.2 Procedure UNCHECKED_DEALLOCATION
13.3 Function UNCHECKED_CONVERSION
14.0 USE OF OTHER LANGUAGES
14.1 Introduction
14.2 Waivers
14.3 Use of assembly code
14.4 Use of other high-order languages
15.0 COMPILER ISSUES
15.1 Introduction
15.2 Compilation order
15.3 Compiler validation
15.4 Quality and performance
16.0 RUNTIME ISSUES
APPENDICES
A - Glossary
B - Need for an avionics language standard
C - Ada language
D - Recommended Ada features for avionics
E - Sample data type declarations
F - Stylistic recommendations
G - Use of the Ada programming language in flight
    simulators