• There are no items in your cart

CSA ISO/IEC TR 15942:04 (R2019)

Current
Current

The latest, up-to-date edition.

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)
Available format(s)

Hardcopy , PDF

Language(s)

English

Published date

01-01-2004

1 Scope
2 Verification Techniques
3 General Language Issues
4 Significance of Language Features for High Integrity
5 Assessment of Language Features
6 Compilers and Run-time Systems
7 References

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.

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.

DocumentType
Standard
ISBN
1-55397-738-6
Pages
66
ProductNote
Reconfirmed 2019
PublisherName
Canadian Standards Association
Status
Current
Supersedes

Standards Relationship
ISO/IEC TR 15942:2000 Identical

BS 7925-2:1998 Software testing Software component testing
ISO/IEC 15408-2:2008 Information technology — Security techniques — Evaluation criteria for IT security — Part 2: Security functional components
ISO/IEC 15026:1998 Information technology System and software integrity levels
IEEE 610.12-1990 IEEE Standard Glossary of Software Engineering Terminology
EN 50128:2011/AC:2014 RAILWAY APPLICATIONS - COMMUNICATION, SIGNALLING AND PROCESSING SYSTEMS - SOFTWARE FOR RAILWAY CONTROL AND PROTECTION SYSTEMS
ISO/IEC 15291:1999 Information technology Programming languages Ada Semantic Interface Specification (ASIS)
ISO/IEC 15408-3:2008 Information technology — Security techniques — Evaluation criteria for IT security — Part 3: Security assurance components
ISO 8402:1994 Quality management and quality assurance — Vocabulary
IEC 60880:2006 Nuclear power plants - Instrumentation and control systems important to safety - Software aspects for computer-based systems performing category A functions
BS 7925-1:1998 Software testing Vocabulary
ISO/IEC 15408-1:2009 Information technology — Security techniques — Evaluation criteria for IT security — Part 1: Introduction and general model
IEC 61508-1:2010 Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 1: General requirements (see Functional Safety and IEC 61508)
ISO/IEC 8652:2012 Information technology — Programming languages — Ada
IEC 60601-1-4:1996+AMD1:1999 CSV Medical electrical equipment - Part 1-4: General requirements for safety - Collateral Standard: Programmable electrical medical systems

View more information
US$178.00
Excluding Tax where applicable

Access your standards online with a subscription

Features

  • Simple online access to standards, technical information and regulations.

  • Critical updates of standards and customisable alerts and notifications.

  • Multi-user online standards collection: secure, flexible and cost effective.