Skip to content

Publications ADA LANGUAGE PACKAGE

Sorry, no image available for ADA LANGUAGE PACKAGE

ADA LANGUAGE PACKAGE - Consists of CAN/CSA-ISO/IEC 8652:15 - Information technology - Programming languages - Ada (Adopted ISO/IEC 8652:2012, third edition, 2012-12-15); CAN/CSA-ISO/IEC 14519-04, Information technology - POSIX® ada language interfaces - Binding for system application program interface (API) (Adopted ISO/IEC 14519:2001 / IEEE 1003.5, 1999, second edition, 2001-12-15); CAN/CSA-ISO/IEC 15291:12, Information technology - Programming languages - Ada semantic interface specification (ASIS) (Adopted ISO/IEC 15291:1999, first edition, 1999-04-15); CAN/CSA-ISO/IEC TR 15942-04, Information technology - Programming languages - Guide for the use of the ada programming language in high integrity systems (Adopted ISO/IEC TR 15942:2000, first edition, 2000-03-01) and CAN/CSA-ISO/IEC TR 24718-06, Information technology - Programming languages - Guide for the use of the ada ravenscar profile in high integrity systems (Adopted ISO/IEC TR 24718:2005, first edition, 2005-02-15)

Publication Year:

  • 2012

Total Pages:

2257

Publisher:

  • CSA
CAN/CSA-ISO/IEC 8652:15 - Information technology - Programming languages - Ada

CSA Preface

Standards development within the Information Technology sector is harmonized with international standards development. Through the CSA Technical Committee on Information Technology (TCIT), Canadians serve as the Canadian Advisory Committee (CAC) on ISO/IEC Joint Technical Committee 1 on Information Technology (ISO/IEC JTC1) for the Standards Council of Canada (SCC), the ISO member body for Canada and sponsor of the Canadian National Committee of the IEC. Also, as a member of the International Telecommunication Union (ITU), Canada participates in the International Telegraph and Telephone Consultative Committee (ITU-T).

For brevity, this Standard will be referred to as "CAN/CSA-ISO/IEC 8652" throughout.

This Standard supersedes CAN/CSA-ISO/IEC 8652:96 (adoption of ISO/IEC 8652:1995).

At the time of publication, ISO/IEC 8652:2012 is available from ISO and IEC in English only. CSA Group will publish the French version when it becomes available from ISO and IEC.

Scope

This International Standard specifies the form and meaning of programs written in Ada. Its purpose is to promote the portability of Ada programs to a variety of computing systems.

Ada is a programming language designed to support the construction of long-lived, highly reliable software systems. The language includes facilities to define packages of related types, objects, and operations. The packages may be parameterized and the types may be extended to support the construction of libraries of reusable, adaptable software components. The operations may be implemented as subprograms using conventional sequential control structures, or as entries that include synchronization of concurrent threads of control as part of their invocation. Ada supports object-oriented programming by providing classes and interfaces, inheritance, polymorphism of variables and methods, and generic units. The language treats modularity in the physical sense as well, with a facility to support separate compilation.

The language provides rich support for real-time, concurrent programming, and includes facilities for multicore and multiprocessor programming. Errors can be signaled as exceptions and handled explicitly. The language also covers systems programming; this requires precise control over the representation of data and access to system-dependent properties. Finally, a predefined environment of standard packages is provided, including facilities for, among others, input-output, string manipulation, numeric elementary functions, and random number generation, and definition and use of containers.

1.1.1 Extent

This International Standard specifies:

- The form of a program written in Ada;

- The effect of translating and executing such a program;

- The manner in which program units may be combined to form Ada programs;

- The language-defined library units that a conforming implementation is required to supply;

- The permissible variations within the standard, and the manner in which they are to be documented;

- Those violations of the standard that a conforming implementation is required to detect, and the effect of attempting to translate or execute a program containing such violations;

- Those violations of the standard that a conforming implementation is not required to detect.

This International Standard does not specify:

- The means whereby a program written in Ada is transformed into object code executable by a processor;

- The means whereby translation or execution of programs is invoked and the executing units are controlled;

- The size or speed of the object code, or the relative execution speed of different language constructs;

- The form or contents of any listings produced by implementations; in particular, the form or contents of error or warning messages;

- The effect of unspecified execution.

- The size of a program or program unit that will exceed the capacity of a particular conforming implementation.

---------------------------------------------------------------

CAN/CSA-ISO/IEC 14519-04 - Information technology - POSIX® ada language interfaces - Binding for system application program interface (API)

Scope

This standard defines a set of system application program interfaces to operating system services.

These interfaces provide access via the Ada programming language to the same operating system services for which C-language interfaces are specified in ISO/IEC 9945-1:1996 f2g c 1)2) and IEEE P1003.1g fB14g.

The purpose of this standard is to support application portability at the Ada source code level. This standard is intended to be used by both application developers and system implementors.

This standard is intended to be compatible with implementations of the 1995 revision to the Ada language standard (ISO/IEC 8652:1995 f1g). Fall-back approaches compatible with implementations of the original Ada language standard (ISO/IEC 8652:1987 fB5g) are also provided (see 1.3).

---------------------------------------------------------------

CAN/CSA-ISO/IEC 15291:12 - Information technology - Programming languages - Ada semantic interface specification (ASIS)

CSA Preface

Standards development within the Information Technology sector is harmonized with international standards development. Through the CSA Technical Committee on Information Technology (TCIT), Canadians serve as the Canadian Advisory Committee (CAC) on ISO/IEC Joint Technical Committee 1 on Information Technology (ISO/IEC JTC1) for the Standards Council of Canada (SCC), the ISO member body for Canada and sponsor of the Canadian National Committee of the IEC. Also, as a member of the International Telecommunication Union (ITU), Canada participates in the International Telegraph and Telephone Consultative Committee (ITU-T).

At the time of publication, ISO/IEC 15291:1999 is available from ISO and IEC in English only. CSA will publish the French version when it becomes available from ISO and IEC.

Scope

The Ada Semantic Interface Specification (ASIS) is an interface between an Ada environment (as defined by ISO/IEC 8652:1995) and any tool requiring information from this environment. An Ada environment includes valuable semantic and syntactic information. ASIS is an open and published callable interface which gives CASE tool and application developers access to this information. ASIS has been designed to be independent of underlying Ada environment implementations, thus supporting portability of software engineering tools while relieving tool developers from needing to understand the complexities of an Ada environment's proprietary internal representation.

Examples of tools that benefit from the ASIS interface include: automated code monitors, browsers, call tree tools, code reformators, coding standards compliance tools, correctness verifiers, debuggers, dependency tree analysis tools, design tools, document generators, metrics tools, quality assessment tools, reverse engineering tools, re-engineering tools, safety and security tools, style checkers, test tools, timing estimators, and translators.

This International Standard specifies the form and meaning of the ASIS interface to the Ada compilation environment.

This International Standard is applicable to tools and applications needing syntactic and semantic information in the Ada compilation environment.

---------------------------------------------------------------

CAN/CSA-ISO/IEC TR 15942-04 - Information technology - Programming languages - Guide for the use of the ada programming language in high integrity systems

Scope

This Technical Report provides guidance on the use of Ada when producing high integrity systems.

In producing such applications it is usually the case that adherence to guidelines or standards has to be demonstrated to independent bodies.

These guidelines or standards vary according to the application area, industrial sector or nature of the risk involved.

For safety applications, the international generic standard is [IEC 61508] of which part 3 is concerned with software.

For security systems, the multi-national generic assessment guide is [ISO CD 15408].

For sector-specific guidance and standards there are: Airborne civil avionics: [DO-178B] Nuclear power plants: [IEC 880] Medical systems: [IEC 601-4] Pharmaceutical: [GAMP]

For national/regional guidance and standards there are the following: UK Defence: [DS 00-55] European rail: [EN 50128] European security: [ITSEC] US nuclear: [NRC] UK automotive: [MISRA] US medical: [FDA] US space: [NASA]

The above standards and guides are referred to as Standards in this Technical Report.

The above list is not exhaustive but indicative of the type of Standard to which this Technical Report provides guidance. The specific Standards above are not addressed individually but this Technical Report is synthesized from an analysis of their requirements and recommendations.

---------------------------------------------------------------

CAN/CSA-ISO/IEC TR 24718-06 - Information technology - Programming languages - Guide for the use of the ada ravenscar profile in high integrity systems

Scope

This Technical Report provides a description of the motivations behind the Ravenscar Profile, to show how Ada programs using the profile can be analysed, and gives examples of usage.

Publication type

Print Page

Tell a Friend

GST REG No R119441681
QST REG No R1006017360