机构名称：
¥ 1.0
在航空电子领域，飞机系统的认证由监管机构管辖，例如欧洲的 EASA 和美国的 FAA。EASA 制定了认证规范 (CS 2x.1301/1309)，定义了规定系统适航性的要求。除此之外，当局还发布了 AMC/AC（可接受的合规方法/咨询通函），以承认使用工业标准（复杂系统为 ED-79A/ARP4754A、软件项目为 ED-12C/DO-178C 和硬件项目为 ED-80/DO-254）开发系统是可接受的方法，可以证明系统行为、软件和/或硬件项目实现的操作功能符合监管要求。在用于认证目的的方法中，保证案例概念并不是新鲜事物。安全领域是最早阐述安全案例概念的领域之一。安全案例最初由 Tim Kelly [KBMB97] 理论化，然后由 John Rushby [Rus15] 概括。特别是在 [Rus15] 中，Rushby 声称在行业中引入这种方法对系统和软件保证和认证做出了重大贡献。
使用 ML 技术认证安全相关系统：ACAS-Xu 经验
主要关键词
相关文件推荐
