机构名称：
¥ 1.0
Ada 在旗舰军事计划中的成功直接归功于 Ada 在其整个发展过程和连续标准（1983、1995、2005、2012 以及即将推出的 2022）中始终注重可靠性和可维护性，这是其他编程语言所无法比拟的。这一重点与当今军事系统软件的开发至关重要。随着所有功能数字化的提高，软件的复杂性和重要性也随之增加，这可能导致灾难性的故障（例如，1997 年，宙斯盾导弹巡洋舰 USS Yorktown 在其远程数据库管理器软件 3 中出现一个除以零的错误后失去了对其推进系统的控制）。网络战的加剧和武器系统对软件的依赖日益增加，加剧了这些担忧。前者增加了关键软件漏洞被敌人发现和利用的可能性：2007 年的 Orchard 4 行动展示了如何通过网络手段压制敌人的防空系统，这可能是未来众多行动中的第一个。随着下一代空中优势 5 或英国暴风雨 6 等系统的开发和部署，后者可能会增加一个数量级。
开发军用级软件
主要关键词
相关文件推荐
