机构名称：
¥ 1.0
飞行软件是任何航天器成功执行任务的基础。飞行软件的可靠性并不是一个新话题，过去几十年来，人们通过质量保证、容错和故障安全操作对飞行软件进行了广泛的研究，特别关注了具有冗余层的飞行软件。尽管人们关注故障管理原则和实践，但对飞行软件的网络安全关注有限。飞行软件的容错与飞行软件的安全挑战之间的主要区别在于，容错假设故障本质上是概率性的，并且故障将按照可预测的顺序从可预测的环境影响中发生。飞行软件的网络安全威胁是由一个聪明的对手传播的，尽管有故障安全机制或可用的防御措施，他们可能会积极地与飞行软件互动，故意以一种意想不到的方式强调其流程。攻击者的追击或下一步行动并不像环境传播的故障那样可预测。虽然飞行软件社区历来以隐蔽安全为幌子运作，但飞行模块的开源和商用现货 (COTS) 日益普及，抹去了任何可察觉的安全优势。美国宇航局的核心飞行系统 (cFS) 和美国宇航局喷气推进实验室的 F' 飞行软件可供对手和安全研究人员随时探索，这迫使公众讨论太空飞行软件安全实践和“新”太空时代的要求。本文提出了飞行软件安全的研究议程，讨论了迄今为止在相关领域开展的强有力的相关研究，
航天软件安全研究议程
主要关键词
相关文件推荐
