NASA/JPL开源了SpaceWASM，这是一种专为航天器序列控制设计的符合飞行标准的WebAssembly解释器。该工具包含解码器和验证器，能将WASM字节码转换为优化的中间表示形式，以确保在安全关键环境中实现确定性、低内存占用的执行。
背景
WebAssembly (Wasm) 因其可移植性和安全沙箱特性，正逐渐被探索用于嵌入式和航空航天应用，但传统实现往往缺乏太空任务所需的确定性。
- 来源
- Lobsters
- 发布时间
- 2026年7月9日 05:50
- 评分
- 7.0 / 10
NASA/JPL开源了SpaceWASM，这是一种专为航天器序列控制设计的符合飞行标准的WebAssembly解释器。该工具包含解码器和验证器，能将WASM字节码转换为优化的中间表示形式，以确保在安全关键环境中实现确定性、低内存占用的执行。
WebAssembly (Wasm) 因其可移植性和安全沙箱特性，正逐渐被探索用于嵌入式和航空航天应用，但传统实现往往缺乏太空任务所需的确定性。