Applying sensor integrity concepts to detect intermittent bugs in aviation software
Applying sensor integrity concepts to detect intermittent bugs in aviation software
复制标题
应用传感器完整性概念来检测航空软件中的间歇性错误
DOI：
10.1002/navi.322
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Guyer, Sam Z.
中科院分区：
文献类型：
--
作者：
Rife, Jason H.;Huang, Hu;Guyer, Sam Z.
本文对航空软件在线完整性监测的潜在效益进行了评估。如今，航空软件的安全性完全是通过部署前的验证和确认来评估的，主要是通过详尽的测试。虽然软件异常（或bug）确实会发生，但系统故障树并不为软件组件分配故障概率。此外，在线信号监测通常不用于检测漏洞。随着软件复杂性的增加，以及软件和硬件系统组件之间的交互变得更加复杂，谨慎地考虑全面的服务前软件测试是否足以维持系统安全，以及用于硬件组件的安全分析（例如，故障树和监控）是否可以应用于软件组件。本文的贡献在于提出了一种在线漏洞监控的体系结构，并量化了其潜力。所提出的概念对低成本的自主无人驾驶飞机系统具有重大的潜在影响，因为成本驱动因素禁止详尽的服役前验证。
This paper assesses potential benefits of online integrity monitoring for aviation software. Today, aviation software safety is assessed entirely via verification and validation conducted before deployment, largely through exhaustive testing. Although software anomalies (orbugs) do occur, system fault trees do not assign fault probabilities to software components. Moreover, online signal monitoring is not generally applied to detect bugs. As software complexity increases, and as interactions between software and hardware system components become more complex, it is prudent to consider whether exhaustive preservice software testing is sufficient to maintain system safety, and whether safety analyses used for hardware components (eg, fault trees and monitoring) might be applied to software components. The contribution of this paper is to propose an architecture for online bug monitoring and quantify its potential. The proposed concept has significant potential impact for low‐cost, autonomous unmanned aircraft systems, where cost drivers prohibit exhaustive preservice verification.
登录
查看更多内容
比较卡方完整性监控器重尾效应的几何近似
DOI：
--
发表时间：
2018
期刊：
Navigation
影响因子：
--
作者：
J. Rife;J. S. Parker
通讯作者：
J. S. Parker
DOI：
10.1145/2038642.2038675
发表时间：
2011
期刊：
2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT)
影响因子：
--
作者：
J. Rushby
通讯作者：
J. Rushby
敏捷产品开发：在不确定的环境中管理开发灵活性
DOI：
--
发表时间：
1998
期刊：
影响因子：
--
作者：
S. Thomke;D. Reinertsen
通讯作者：
D. Reinertsen
开发安全关键软件：航空软件和 DO-178C 合规性实用指南
DOI：
10.1201/9781315218168
发表时间：
2013
期刊：
20th IEEE International Conference on Software Maintenance, 2004. Proceedings.
影响因子：
--
作者：
L. Rierson
通讯作者：
L. Rierson
具有任意噪声分布的二次监视器的过度风险
影响因子：
4.4
作者：
J. Rife
通讯作者：
J. Rife