一个符合飞行要求的 WebAssembly 解释器。
SpaceWasm 是 [WASM 1.0](https://webassembly.github.io/spec/versions/core/WebAssembly-1.0.pdf) 规范的实现，用于解释 WASM 二进制在航天器上的数据。它由 [NASA JPL](https://www.jpl.nasa.gov) 开发。 1. **排序**：高级航天器活动通常在嵌入式飞行软件之外以命令序列的形式进行编码。这些活动可以包括从驱动火星车和操作其臂，到检查温度范围是否正常等各种操作。从历史上看，序列的形式和功能因任务而异，导致实施方式杂乱和分散。SpaceWasm 实现了行业标准，从而实现了整合。 2. **沙盒化**：飞行软件开发的成本和时间都很高，这与其受限的要求和范围有关。验证新的飞行软件功能通常需要验证与整个系统的交互。这会延长 V&V 进程时间，增加对测试平台资源的竞争，使得新的自主软件很难投入飞行。WebAssembly 为不受信任或信任度低的可执行文件提供了机会，使其能够在飞行软件的控制下进入系统，同时限制访问和计算时间，并监控健康和安全状况。 3. **可移植性**：WebAssembly 提供了明确定义的接口和沙箱，使其易于转移到其他平台。
暂无开放 Issues，或尚未同步最近议题。