CSA ISO/IEC TR 15942:04 (R2019)
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)
Hardcopy , PDF
English
01-01-2004
Important note : Users cannot be edited or removed once added to your Multi user PDF.
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.
| DocumentType |
Standard
|
| ISBN |
1-55397-738-6
|
| Pages |
66
|
| ProductNote |
Reconfirmed 2019
|
| PublisherName |
Canadian Standards Association
|
| Status |
Current
|
| Supersedes |
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.
| 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 |
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.