Avionics software

Holloway. Why Engineers Should Consider Formal Methods (PDF). 16th Digital Avionics Systems Conference (27-30 October 1997). [2006-11-16]. （原始内容 (PDF)存档于2006年11月16日）

[2022-05-17]. （原始内容存档于2021-03-11）.  Short overview of CAN-based avionics protocols on www.avionics-networking.com （页面存档备份，存于互联网档案馆）, loaded Feb. 9th, 2010 Diagnostic

Hilderman, T. Bagha,"Avionics Certification", A Complete Guide to DO-178B and DO-254, ISBN 978-1-885544-25-4 C. Spritzer, "Digital Avionics Handbook, Second

取代。其他的非功能需求也可以追溯到其他的系統元素，可以在系統層級進行驗證。例如系統可靠度可以用系統層級的分析來驗證。飛航軟體（英语：Avionics software）以及其複雜的安全需求必需遵守DO-178B（英语：DO-178B）開發流程進行。 有些活動會讓系統需求或是軟體需求出現變化。需求工

航空电子（英語：Avionics），簡稱航電，是指飞机上所有电子系统的总和。一个最基本的航空电子系统由通信、导航（英语：Air navigation）和显示管理等多个系统构成。航空电子设备种类众多，针对不同用途，这些设备从最简单的警用直升机上的探照灯到复杂如空中预警平台无所不包。