飞行软件是任何航天器成功执行任务的基础。飞行软件的可靠性并不是一个新话题,过去几十年来,人们通过质量保证、容错和故障安全操作对飞行软件进行了广泛的研究,特别关注了具有冗余层的飞行软件。尽管人们关注故障管理原则和实践,但对飞行软件的网络安全关注有限。飞行软件的容错与飞行软件的安全挑战之间的主要区别在于,容错假设故障本质上是概率性的,并且故障将按照可预测的顺序从可预测的环境影响中发生。飞行软件的网络安全威胁是由一个聪明的对手传播的,尽管有故障安全机制或可用的防御措施,他们可能会积极地与飞行软件互动,故意以一种意想不到的方式强调其流程。攻击者的追击或下一步行动并不像环境传播的故障那样可预测。虽然飞行软件社区历来以隐蔽安全为幌子运作,但飞行模块的开源和商用现货 (COTS) 日益普及,抹去了任何可察觉的安全优势。美国宇航局的核心飞行系统 (cFS) 和美国宇航局喷气推进实验室的 F' 飞行软件可供对手和安全研究人员随时探索,这迫使公众讨论太空飞行软件安全实践和“新”太空时代的要求。本文提出了飞行软件安全的研究议程,讨论了迄今为止在相关领域开展的强有力的相关研究,
活动四 第一部分:反思 SWOT 分析和首选未来陈述,以确定最紧迫的行动策略。确定 6-12 项最紧迫的策略,如果得到解决,将推动学区进一步实现其首选的未来使命、愿景、价值观/承诺和目标。
规划委员会 - 2024 年 1 月 17 日 - 会议记录 - Pdf 5. 信息项目(仅讨论)A. 规划委员会议会程序 3 PC 议会程序建议动议:N/A 6. 动议考虑 A. 2024 年综合计划档案和其他修正案 4 - 7 2024 年综合计划档案和其他修正案 - AB PC2024-0005 - Pdf 建议动议:我提议将 2024 年综合计划档案和发展条例修正案转发给市议会审议。 B. 2024 年规划委员会主席选举 8 2024 年规划委员会主席选举 - AB PC2024-0004 - Pdf 建议动议:我提议选举(插入姓名)为 2024 年规划委员会主席。 C. 2024 年规划委员会副主席选举 9 2024 年规划委员会副主席选举 - AB PC2024-0003 - Pdf 建议动议:我提议选举(插入姓名)为 2024 年规划委员会副主席。 7. 休会
会议行为:如果本次会议被一人或多人故意打断或扰乱,导致会议无法有序进行,主席可命令将故意扰乱会议的个人驱逐出会议。此类个人可能会被逮捕。如果无法通过驱逐恢复秩序,管理局成员可命令清空会议室(除未参与骚乱的新闻界或其他新闻媒体代表外),会议可继续进行。
下午 5:30 - 会见国家教育和青年部长 Pap Ndiaye 先生和武装部队部长兼国家教育和青年部长国务秘书 Sarah El Haïry 女士(负责青年和全民国民服务)
