Name: CSA ISO/IEC TR 15942:2004
Brand: CSA

CSA ISO/IEC TR 15942:2004

Superseded

INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - GUIDE FOR THE USE OF THE ADA PROGRAMMING LANGUAGE IN HIGH INTEGRITY SYSTEMS

Available format(s)

Hardcopy , PDF

Superseded date

07-12-2021

Language(s)

English

Published date

01-01-2014

Publisher

Canadian Standards Association

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	CSA ISO/IEC TR 15942 : 2004 : R2014

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