ISO/IEC TR 15942:2000

Действует

Information technology - Programming languages - Guide for the use of Ada programming language in high integrity systems — 56 стр.

Описание Изменения Ссылки Версии

На этот документ ссылаются

BS EN 61508-7:2010

Действует

Functional safety of electrical/electronic/ programmable electronic safety related systems. Overview of techniques and measures — 146 стр.

PD ISO/IEC TR 24772:2013

Действует

Information technology. Programming languages. Guidance to avoiding vulnerabilities in programming languages through language selection and use — 338 стр.

SAE AS5506/1A

Действует

SAE Architecture Analysis and Design Language (AADL) Annex Volume 1: Annex A: ARINC653 Annex, Annex C: Code Generation Annex, Annex E: Error Model Annex

SAE AS5506/1

Заменен

SAE Architecture Analysis and Design Language (AADL) Annex Volume 1:Annex A: Graphical AADL Notation,Annex C: AADL Meta-Model and Interchange Formats,Annex D: Language Compliance and Application Program InterfaceAnnex E: Error Model Annex