《表5 不同平台的验证比较》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《嵌入式实时操作系统内核混合代码的自动化验证框架》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

注:形式化规范的总重用率为83.8%

表5将两个平台上的验证结果进行了对比.由于系统调用代码与硬件无关，因此系统调用验证的可重用性达到100%.核心服务程序的可重用率达到67.6%，操作系统的总可重用性为83.8%.根据表5中的内容显示，本验证框架具有验证其他任意平台上的μC/OS-II内核的能力.