Ogma是一个工具,用于将安全运行时监控器集成到其他系统。Ogma延伸副驾驶员,高级运行时生成硬实时C99代码的验证框架。
Ogma支持的一些用例包括:
翻译中定义的要求NASA需求获取工具FRET进入Copilot中相应的监视器。
生成使用C语言所需的粘合代码Copilot中的结构。
生成NASA核心飞行系统使用Copilot监控数据的应用程序从消息总线接收。
为NASA核心飞行系统生成消息处理程序应用程序使结构中的外部数据可用连接到Copilot监视器。
生成机器人操作系统(ROS 2)使用Copilot监控数据的应用程序从不同的主题收到。
生成F英尺使用Copilot进行监控的组件。
带有的主调用--帮助
列出了可用的子命令。
$ogma--帮助ogma—一个任意复制应用程序生成器用法:ogma COMMAND从多种语言生成完整或部分Copilot应用程序可用选项:-h、 --help显示此帮助文本可用命令:structs从C结构生成Copilot结构处理程序从C结构生成消息处理程序生成完整的cfs/Copilot应用程序fprime生成一个完整的F'监控组件fret-component-spec从fret组件生成Copilot文件规范fret-reqs-db根据fret需求生成Copilot文件数据库ros生成ros 2监控应用程序
有关更多信息,请参阅: