New challenges in certification for aircraft software
New challenges in certification for aircraft software
复制标题
飞机软件认证的新挑战
DOI：
10.1145/2038642.2038675
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
J. Rushby
中科院分区：
文献类型：
--
作者：
J. Rushby
我们概述了当前飞机软件认证的方法以及 DO-178B 的作用。我们考虑其有效性的证据并讨论对此的可能解释。 We then describe how changes in aircraft systems and in the air traffic system pose new challenges for certification, chiefly by increasing the extent of interaction and integration.
We outline the current approach to certification of aircraft software, and the rôle of DO-178B. We consider evidence for its effectiveness and discuss possible explanations for this. We then describe how changes in aircraft systems and in the air traffic system pose new challenges for certification, chiefly by increasing the extent of interaction and integration.