此页面仅提供题目阅读，不支持答题操作，本题不具备保密性
三级：系统集成（请于面试有效期2027.01.01 00:00 - 2028.01.01 00:00作答，否则成绩无效）
相关标签：
航天嵌入式开发
GNC系统设计
高可靠软件设计
硬实时系统
形式化验证
相关企业：
适配岗位：
星载GNC系统软件工程师（分别对应相关企业）
航天器星载平台软件主管设计师（分别对应相关企业）
航天器姿态控制嵌入式软件工程师（分别对应相关企业）
星载计算机嵌入式软件工程师（分别对应相关企业）
微纳卫星星载控制软件工程师（分别对应相关企业）
航空飞控系统高可靠软件工程师（分别对应相关企业）
航天测控与星载嵌入式软件工程师（分别对应相关企业）
航天嵌入式软件验证与工具链工程师（分别对应相关企业）
低轨卫星星载控制软件工程师（分别对应相关企业）
商业卫星星载平台软件工程师（分别对应相关企业）
接入大模型：
GPT-4
Claude 3
DeepSeek
通义千问
GLM-4
文心一言
讯飞星火
混元大模型
Llama 3
百川大模型
题目编号/名称:
（已认证）「2C Competition Initial 2A 001：模拟航天器姿态控制（协作式任务：自主分工，效益共担）」
题目描述/要求:
（已认证）「在浩瀚的宇宙中，航天器的稳定运行至关重要，其姿态控制系统如同"太空舵手"，必须精准控制15个不同状态（如休眠，机动，校准等）和响应超过20种关键事件（包括传感器更新，轨道调整指令或外部干扰）；请各位团队成员（团队成员人数：10个人/团队答题时间：48小时）实现一个满足以下约束的状态机，这套状态机设计面临四大严苛约束：首先，实时性，状态迁移不超过50微秒，中断响应不超过50微秒，否则微小延迟可能导致姿态失控，引发灾难性后果；容错率需抵抗太空高能辐射，单粒子翻转（SEU）防护率需大于99.9%，通过硬件冗余和错误校正码实现，确保千分之一的极低失效率；再者，能效限制严苛，单次迁移功耗不超过50毫瓦，以节省宝贵的太阳能资源，延长航天器寿命；最后，内存占用必须精简，常驻内存不超过256千字节，禁止非可控动态分配，允许使用静态内存池实现可控动态分配，所有核心数据静态预分配，避免运行时风险；请使用题目规范的十二种航天器嵌入式编程语言工具链作答，以Ada 2022语言为核心主语言，可从指定工具链中选择辅助语言，数量不限，通过标准化的接口协议实现多语言集成（编译器/工具链：GNAT Pro 23.1+SPARK Pro 24；运行时：EVA 4.0 RTEgen (Zero Footprint Profile) ），确保各语言模块在统一技术栈中的协同执行（所有辅助语言必须通过标准化接口与Ada 2022主语言集成，且全链路满足实时性、内存、功耗、安全约束，避免出现语言滥用、破坏核心约束的情况）」
状态机测评配置标记（全工具链支持集成）：
15状态/20事件
状态机测评语言标记（全工具链支持集成）：
Ansys-SCADE Suite 2024 R2
GNAT Pro 23.1 SPARK Pro 24
OSVVM 2023-IEEE 1076.1-2022
EVA 4.0 RTEgen-Frama-C 25.0
LEON5FT Backend-Verismo-KVX 3.1
ATS2-Unity 0.4.2-p3
Mathematical Components 2.0-Coq 8.18.0
CSPm Pro-KRoC 2.5
SPIR-V 1.6 Vulkan Compute-OpenCL 3.0
Bluespec TLM 2023.07
FIRRTL 5.0-Chisel 6.0.1
Gobo-EiffelStudio 22.11
状态机测评时间标记（全工具链支持集成）：
Ansys-SCADE Suite 2024 R2：10ns（硬件时序）
GNAT Pro 23.1 SPARK Pro 24：20μs（中断响应）
OSVVM 2023-IEEE 1076.1-2022：30μs（中断响应）
EVA 4.0 RTEgen-Frama-C 25.0：15μs（中断响应）
LEON5FT Backend-Verismo-KVX 3.1：8ns（硬件时序）
ATS2-Unity 0.4.2-p3：50μs（辅助逻辑运行）
Mathematical Components 2.0-Coq 8.18.0：220ms（形式化验证耗时）
CSPm Pro-KRoC 2.5：30μs（建模验证耗时）
SPIR-V 1.6 Vulkan Compute-OpenCL 3.0：45μs（并行计算运行）
Bluespec TLM 2023.07：120ns（硬件时序）
FIRRTL 5.0-Chisel 6.0.1：120ns（硬件仿真时序）
Gobo-EiffelStudio 22.11：35μs（契约验证运行）
状态机测评内存标记（全工具链支持集成）：
Ansys-SCADE Suite 2024 R2：1000 LUTs（FPGA逻辑资源）
GNAT Pro 23.1 SPARK Pro 24：64KB（主语言常驻内存）
OSVVM 2023-IEEE 1076.1-2022：32KB（C语言常驻内存）
EVA 4.0 RTEgen-Frama-C 25.0：32KB（验证工具内存）
LEON5FT Backend-Verismo-KVX 3.1：800 LUTs（FPGA逻辑资源）
ATS2-Unity 0.4.2-p3：64KB（辅助语言内存）
Mathematical Components 2.0-Coq 8.18.0：512KB（验证工具内存）
CSPm Pro-KRoC 2.5：45KB（建模工具内存）
SPIR-V 1.6 Vulkan Compute-OpenCL 3.0：95KB（并行模块内存）
Bluespec TLM 2023.07：6KB（硬件描述资源）
FIRRTL 5.0-Chisel 6.0.1：9KB（硬件仿真资源）
Gobo-EiffelStudio 22.11：38KB（契约工具内存）
状态机测评限制标记（全工具链支持集成）：
1.文件限制：禁止使用非标准库及动态链接
2.操作禁令：禁止文件系统，网络和外设操作
3.硬件约束：寄存器操作需安全证明且禁用时钟修改
4.实时要求：状态迁移≤50μs，中断≤50μs
5.容错设计：三模冗余，断点和SEU防护率≥99.9%
6.验证合规：需形式化验证或DO-178C Level A
状态机测评分块标记（全工具链支持集成）：
1.状态迁移功能：30分（迁移逻辑正确性20分+状态编码压缩10分）
2.中断响应系统：25分（优先级编码正确10分+响应时间15分）
3.容错验证系统：20分（三模冗余实现10分+故障恢复率10分）
4.资源监控系统：15分（功耗监控7分+内存控制8分）
5.事件采集通信：10分（数据采集完整5分+通信延迟5分）
状态机测评模型标记（全工具链支持集成）：
航天器嵌入式编程：状态机模型
状态机测评考点标记（全工具链支持集成）：
基础概念与设计：
事件驱动响应机制，模块化分离架构，自检基础架构，行为仿真基础
核心机制与实现：
迁移优先级仲裁，中断安全交互，通信链路控制
高级设计与航天：
回滚安全机制，遥测深度关联，有效载荷管控
复杂系统与应用：
能源感知迁移，极端环境适应
状态机测评维度标记（全工具链支持集成）：
创新性评分：[多星域协同控制框架]
理论核心度：[轨道摄动补偿]，[容错编码理论]，[实时性约束模型]
算法实现度：[状态迁移优化]，[冗余构建]，[中断调度算法]
工程保障性：[单粒子翻转防护]，[内存时序约束]，[功耗精准管控]
难度评价值：[DO-178C A级]，[ECSS-Q-ST-80C]，[空间系统认证]
特殊标识符：[深空自治控制]，[多语言工具链]，[遥测融合协议]
模型集成链：[全链支持集成]
