Нормативные ссылки

[1] DO - 178C. Факторы программного обеспечения в бортовых системах и сертификации оборудования. RTCA, 2011.

[2] DO-278A - факторы обеспечения целостности программного обеспечения для коммуникации, навигации, наблюдения и управления воздушным движением (CNS/ATM) системы. RTCA, 2011.

[3] DO-330. Факторы проверки программного инструмента. RTCA, 2011.

[4] DO-331. Основанное на модели дополнение разработки и верификации к DO - 178C и DO - 278A. RTCA, 2011.

[5] DO-332. Объектно-ориентированный метод и связанное дополнение методов к DO - 178C и DO - 278A. RTCA, 2011.

[6] DO-333. Дополнение формальных методов к DO - 178C и DO - 278A. RTCA, 2011.

[7] ARP4754A - инструкции для разработки гражданских самолетов и систем. SAE International, 2010.