XiaoMi-AI文件搜索系统
World File Search System178C
AMC 20-152 关于机载电子硬件和... - EASA
主要意见 一般性意见 - 目标 A(M)C 一贯使用“should”而非“shall”来表示指导。但是，明确的目标要求更明确地向申请人传达适航当局希望实现的目标。建议在目标中使用与 ED-80/DO-254、ED-12C/DO-178C 和 MCP 的 CRI/IP 中规定的目标一致的形式，而不是使用“should”语言。为了将建议的改写保留在一条意见中，所有目标定义文本的极其有限的替换如下所示。请注意，只陈述目标的一部分来显示替换，其中未更改的文本在中间表示为“...”和“...等”。目标 CD-1 对于每台定制设备，申请人应在 PHAC 或任何相关文件中记录文件：…等。目标 CD-2 申请人应在 PHAC 或任何其他适当的硬件计划中提出一个流程，以开发包含以下内容的简单定制设备：…等。目标 CD-3 申请人应按照 ED-80/DO-254 验证流程（ED-80/DO-254，第 6 和 10 节）验证所有定制设备要求。…对于 DAL A 和 B 开发，验证活动应独立进行。目标 CD-4 对于硬件 DAL A 或 DAL B，申请人应审查详细设计以证明…等。目标 CD-5
航空电子软件计算机生命周期管理系统作为支持航空运输可持续发展的工具
摘要：本文介绍了空军技术学院 (AFIT) 在构建对飞行安全至关重要的计算机支持和软件生命周期管理系统方面开展的分析和设计工作的部分结果。开展的工作旨在开发方法并进行验证和测试，以检测所开发的航空电子软件中的错误，以确保其符合 DO-178C 标准的要求以及该标准的生产、认证和机载实施。作者根据航空电子机载设备及其软件的构建和认证（其中包括 DO-254、DO-178C、AQAP 2210、ARP 4761、ARP 4754A）的实施要求开发了一个原始计算机系统。进行的分析涉及三组基本的航空电子软件开发过程，即软件规划、创建和集成。针对每个过程组，都提供了在构建的计算机系统中实施的解决方案示例。讨论了使用分支过程预测集成航空电子系统中实施的软件漏洞的新方法的理论基础。结果表明，预测未来软件版本中的漏洞的可能性可能会对评估软件生命周期中与软件安全相关的风险产生重大影响。指出，现有的一些定量模型