CSA ISO/IEC TR 15942 : 2004 : R2014
Superseded
A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.
View Superseded by
INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - GUIDE FOR THE USE OF THE ADA PROGRAMMING LANGUAGE IN HIGH INTEGRITY SYSTEMS
Hardcopy , PDF
07-12-2021
English
01-01-2014
Important note : All end users must be registered with an Account prior to user licenses being assigned.
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
Describes guidance on the use of Ada when producing high integrity systems.
| DocumentType |
Standard
|
| Pages |
61
|
| ProductNote |
Reconfirmed EN
|
| PublisherName |
Canadian Standards Association
|
| Status |
Superseded
|
| SupersededBy | |
| 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 |
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.