XiaoMi-AI文件搜索系统
World File Search System飞行软件
NASA 关于飞行软件复杂性的研究
“对复杂硬件/软件系统的需求增长速度超过了设计、实施、测试和维护这些系统的能力。……软件的集成潜力使设计人员能够考虑涵盖更广泛和更多学科范围的更雄心勃勃的系统，软件组件使用率的增长在很大程度上导致了许多系统设计的整体复杂性高。” Michael Lyu 软件可靠性工程手册，1996 年 “虽然技术可以快速变化，但让你的人改变却需要更长的时间。这就是为什么软件开发这项人力密集型工作 40 多年来一直存在同样的问题。这也是为什么，除非你做些什么，否则情况不会自行改善。事实上，目前的趋势表明，你未来的产品将使用更多的软件，比现在的产品更复杂。这意味着更多的人将从事软件工作，他们的工作将更难追踪，更难管理。除非你对软件工作的方式做出一些改变，否则你当前的问题可能会变得更糟。”瓦茨·汉弗莱 (Watts Humphrey)，《以软件取胜：高管战略》，2001 年
将飞行软件作为CCSD在船上参考体系结构
- 奥地利航天局（ASA）/奥地利。- 比利时科学政策办公室（BELSPO）/比利时。- 机器建筑中央研究所（TSNIIMASH）/俄罗斯联合会。- 北京跟踪与电信技术研究所（CLTC/BITTT）/中国/中国卫星卫星发射和跟踪控制将军/中国。- 中国科学院（CAS）/中国。- 中国太空技术学院（CAST）/中国。- 英联邦科学与工业研究组织（CSIRO）/澳大利亚。- 丹麦国家航天中心（DNSC）/丹麦。- deciênciae tecnologia Aerospacial（DCTA）/巴西。- 电子和电信研究所（ETRI）/韩国。- 欧洲剥削气象卫星（Eumetsat）/欧洲的组织。- 欧洲电信卫星组织（Eutelsat）/欧洲。- 地理信息和太空技术发展局（GISTDA）/泰国。- 希腊国家太空委员会（HNSC）/希腊。- 希腊航天局（HSA）/希腊。- 印度太空研究组织（ISRO）/印度。- 太空研究所（IKI）/俄罗斯联合会。- 韩国航空航天研究所（KARI）/韩国。- 通信部（MOC）/以色列。- 穆罕默德垃圾箱拉希德航天中心（MBRSC）/阿拉伯联合酋长国。- 国家信息与通信技术研究所（NICT）/日本。- 国家海洋与大气管理局（NOAA）/美国。- 哈萨克斯坦共和国国家航天局（NSARK）/哈萨克斯坦。- 国家太空组织（NSPO）/中国台北。- 海军太空技术中心（NCST）/美国。- 荷兰太空办公室（NSO）/荷兰。- 粒子与核物理研究所（KFKI）/匈牙利。- 土耳其科学技术研究委员会（Tubitak）/土耳其。- 南非国家航天局（SANSA）/南非共和国。- 太空和高中气氛研究委员会（Suparco）/巴基斯坦。- 瑞典太空公司（SSC）/瑞典。- 瑞士太空办公室（SSO）/瑞士。- 美国地质调查局（USGS）/美国。
基于物联网的智能飞行软件机器人研究
2010年中国物联网应用推进联盟指出机器人是100项前沿技术之一。2015年，机器人领域前列的top10技术，包括物联网嵌入式技术、仿真技术、大数据技术、机器人云计算、机器人自主技术等等。机器人采用的传感器技术是物联网的关键技术。为了让生活更加美好便捷，研究物联网技术与应用，重点研究基于物联网的智能飞行球形监控软件机器人技术。本文可以使用mat lab仿真机器人并编程算法，使用先进的编程语言开发智能飞行机器人。智能飞行监控软件机器人技术的研究成果可以应用于学术界和工业界以及医疗运输领域。本文研究物联网下的智能飞行监控软件机器人。
航天软件安全研究议程
飞行软件是任何航天器成功执行任务的基础。飞行软件的可靠性并不是一个新话题，过去几十年来，人们通过质量保证、容错和故障安全操作对飞行软件进行了广泛的研究，特别关注了具有冗余层的飞行软件。尽管人们关注故障管理原则和实践，但对飞行软件的网络安全关注有限。飞行软件的容错与飞行软件的安全挑战之间的主要区别在于，容错假设故障本质上是概率性的，并且故障将按照可预测的顺序从可预测的环境影响中发生。飞行软件的网络安全威胁是由一个聪明的对手传播的，尽管有故障安全机制或可用的防御措施，他们可能会积极地与飞行软件互动，故意以一种意想不到的方式强调其流程。攻击者的追击或下一步行动并不像环境传播的故障那样可预测。虽然飞行软件社区历来以隐蔽安全为幌子运作，但飞行模块的开源和商用现货 (COTS) 日益普及，抹去了任何可察觉的安全优势。美国宇航局的核心飞行系统 (cFS) 和美国宇航局喷气推进实验室的 F' 飞行软件可供对手和安全研究人员随时探索，这迫使公众讨论太空飞行软件安全实践和“新”太空时代的要求。本文提出了飞行软件安全的研究议程，讨论了迄今为止在相关领域开展的强有力的相关研究，
CYSAT 2023 利用太空攻击研究与战术入侵航天器
攻击者在地面站执行中间人攻击，他们在 UDP 流量中记录命令数据包 [REC-0005 ， RD-0005.01]，以便重播给航天器 [EX-0001.01]。在此示例中，UDP 模仿射频链路。可以通过 RF 信号嗅探 [REC-0005.01，IA-0008.01] 和 UDP 捕获来实施相同的攻击。从航天器的角度来看，飞行软件会处理流量，无论流量是否被编码为射频信号然后在航天器上解码。收到命令后，航天器飞行软件会通过将命令计数器数据下行链路到地面来响应，表明已收到命令 [EXF-0003.02]。在这种情况下，攻击者在地面站收集命令 [EXF-0003.01、EXF-0007]，然后迅速将流量重播到航天器 [EX-0001.01]，从而导致飞行软件再次重新处理命令 [EX-0001]。这将在下行链路命令计数器中可见 [REC-0005.02、EXF-0003.02]，除非地面操作员正在监控特定的遥测点，否则这种攻击很可能不会被注意到。如果重播的命令被视为关键命令，如启动推进器，那么可能会对航天器造成更严重的影响 [IMP-0002、IMP-0004、IMP-0005]。
Fortem 推出新款人工智能 DroneHunter F700
根据在保护区数英里外探测到的动态威胁，制定对策并实时部署。据该公司称，起落架配有弹簧销和有效载荷卡扣，与人工智能发射和飞行软件集成在一起。
Astro2020 十年调查
• 所有飞行子系统均已完成 • 所有飞行光学器件均已集成到光学工作台上 • 可变形镜已准备好安装在光学工作台上（2023 年 1 月） • 电子箱已安装到甲板上并经过测试；飞行软件功能测试正在进行中；将于 2023 年夏季进行全面测试
高级复合太阳帆系统（ACS3）任务更新
用于SB和相机系统的控制航空电子学（AS），用于帆部署捕获的摄像头系统以及作为飞行软件（FSW）。- NASA Langley研究中心（LARC） - ACS3 SAIL/BOOM子系统（SBS）。- AST太空移动美国 /纳米汽车美国航天器总线。- 纳米载体美国 /国外 - 分配器。- 圣克拉拉大学机器人系统实验室 - ACS3操作支持。- 火箭实验室 - 发射提供商。
使用合格工具进行基于模型的 DO-178B 设计
I. 简介 基于模型的设计允许工程师设计嵌入式系统并在其桌面环境中对其进行仿真，以进行分析和设计。基于模型的设计提供了各种代码生成功能，团队可以使用这些功能生成源代码，用于多种目的，包括仿真、快速原型设计和硬件在环测试。基于模型的设计在飞行代码设计和嵌入式部署中的应用也已得到充分证实 [1-4]。飞行软件需要经过严格且有据可查的验证活动才能获得飞行认证，例如商用机载软件认证标准 DO-178B [5]。根据 DO-178B，执行开发或验证任务的工具需要经过认证，或者其输出需要经过验证。根据 DO-178B 对工具进行认证的程序取决于工具的作用。如果工具用于开发活动，则适用严格的认证程序；对于验证工具，则使用大量但不太严格的程序。本文将介绍使用商用现货 (COTS) 基于模型的设计技术开发嵌入式飞行软件的框架。本文将介绍一个工作流程，其中包括文本要求、详细设计模型、自动代码生成和各种自动验证步骤。本文将与使用纸质设计和手工编码的传统开发流程进行比较。本文还将研究工具鉴定工件