Skip to content
Please enter a keyword to search

  • CSA ISO/IEC TR 15942 : 2004 : R2014

    View superseded by
    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

    Available format(s):  Hardcopy, PDF

    Superseded date:  12-07-2021

    Language(s):  English

    Published date:  01-01-2014

    Publisher:  Canadian Standards Association

    Add To Cart

    Table of Contents - (Show below) - (Hide below)

    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

    Abstract - (Show below) - (Hide below)

    Describes guidance on the use of Ada when producing high integrity systems.

    General Product Information - (Show below) - (Hide below)

    Document Type Standard
    Product Note Reconfirmed EN
    Publisher Canadian Standards Association
    Status Superseded
    Superseded By
    Supersedes

    Standards Referencing This Book - (Show below) - (Hide below)

    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

    • 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, flexibile and cost effective