页面加载中,请稍候
来源:开源Linux发布时间:2022-04-081247浏览
询问 AI

1、波音-787,AH-64用的操作系统是VxWorks
来自:VxWorks的官方网站VxWorks ®是世界上第一个也是唯一一个支持通过容器部署应用程序的实时操作系统 (RTOS)。VxWorks 的最新版本包括对 OCI 容器的支持。现在,您可以使用类似 IT 的传统技术更好更快地开发和部署智能边缘软件,而不会影响确定性和性能。了解独立研究人员 VDC 为何再次将 VxWorks 命名为边缘的第一 RTOS。VxWorks ®在最具挑战性的安全关键应用中得到验证,使技术供应商能够更轻松、更具成本效益地满足 EN 50128、IEC 61508、ISO 26262、DO-178C 和 ED-12C 的严格安全认证要求。VxWorks 653 是一个安全、可靠和可靠的实时操作系统 (RTOS),它在最新的 ARM ®、 Intel ®和 PowerPC 多核处理器平台上提供了一个具有强大时间和空间分区功能的开放式虚拟化平台。VxWorks 653 的技术已在 100 多架民用和军用飞机上经过 360 多个客户的 600 多个安全程序证明,正在推动航空航天和国防领域向软件定义系统的过渡,带来解决实际业务问题的创新技术。VxWorks Cert Edition 为希望开发和认证安全、可靠和可靠的解决方案、降低风险、成本和认证工作的受监管行业提供可认证的 RTOS 系统。2、B-2, F-16, F-22, F-35, 空客-380 使用的操作系统是Integrity-178B
这是INTEGRITY-178 tuMP的官方网站类似波音-787,空客-380,空客-350内部设备之间是使用以太网的一种变体来互联的,叫AFDX,在应用软件这一层,同普通的以太网程序没有任何区别。INTEGRITY-178 tuMP 实时操作系统 (RTOS) 是世界领先的多核 RTOS,适用于安全和安保关键型应用。INTEGRITY-178 和 INTEGRITY-178 tuMP 是系统的一部分,已通过最高级别的机载安全 (DO-178B/C DAL A) 和安全 (SKKP/EAL 6+) 认证,适用于 80 多个机载系统。INTEGRITY-178 tuMP 是第一个经过认证的操作系统,符合最新的未来机载能力环境 (FACE™) 技术标准 3.0 版,并且通过了安全基础和安全配置文件的认证。INTEGRITY-178 tuMP 是第一个唯一获得多核认证的 RTOSDO-178C 和 CAST-32A。3、过去这些设备经常使用ADA语言来编写,现在为了降低成本,在F-35项目上已经改为使用C++了。
这是F-35项目的C++编程规范F-35的微处理器是PowerPC指令集的,为了保证可靠性,采用的编译器也是同普通的编译器不太一样。编译器也是有可能出bug的,为了保障源代码同编译出来的目标代码完全一致,避免编译器的bug造成问题,在JSF项目内部的软件开发中,经常使用CompCert编译器。这个编译器只能编译C99,但是可靠性极高。总结:新闻来源:开源Linux,文中所述为作者独立观点,不代表icspec立场。更多精彩资讯请下载icspec App。如对本稿件有异议,请联系微信客服specltkj。
暂无评论哦,快来评论一下吧!

2026-06-29
2026-06-22

2026-06-24