# 航天

NASA 开发的飞行软件与嵌入式系统框架，用于构建高可靠、可验证的航天器控制软件。