聚焦 2019-03-04 13:03

绿山软件公司多核RTOS获得FACE v3.0标准认证

映雪 摘自 sensorsmag网站

据网站sensorsmag2019年2月11日刊文,绿山软件公司(Green Hills Software)INTEGRITY-178时变统一多处理(tuMP)实时操作系统(RTOS)已获得遵循未来机载能力环境(FACE)技术标准3.0版本的认证。该认证涵盖了安全性配置文件和防护性配置文件。INTEGRITY-178 tuMP RTOS是第一个遵循FACE v3.0版认证的软件组件。

FACE v3.0版对此前的v2.1.1版做了重大改进,解决了多核处理器在安全关键应用中的使用问题。该技术标准现在要求任何声称支持多核分区的操作系统部分(OSS)满足ARINC-653第1部分补充4规范的要求,包括第2节中定义的多处理的要求:“计划基于不同的处理器核、并发运行分区内的多个进程”。在ARINC-653中,每个应用程序都被称为一个分区,并拥有自己的内存空间。

非对称多处理(AMP)尚不足以满足补充4规范的要求。该公司声称其INTEGRITY-178 tuMP是唯一一个遵循FACE标准的操作系统,可满足ARINC-653补充4的要求,并且它也是除了AMP和对称多处理(SMP)之外,还可以使用混合多处理(BMP)的操作系统。BMP是一种增强和受限制的SMP形式,可以将某个应用程序的ARINC-653进程(如任务)静态绑定到一组特定的处理器内核,从而允许系统架构师更严格地控​​制多个内核的并发运行。 INTEGRITY-178 tuMP允许系统开发人员使用API​​或使用系统配置文件将应用程序中的ARINC-653进程绑定到某个内核。此外,INTEGRITY-178 tuMP还遵循ARMPC-653第2部分补充3对SMP作业的要求。

INTEGRITY-178 tuMP基于一块多核处理器、以时间分区的方式(即时变统一多处理)支持AMP、SMP和BMP的所有组合。无论选择AMP、SMP还是BMP,在多个内核并发运行的同时,满足最坏情况下运行时间(WCET)可能非常具有挑战性。尝试访问给定共享资源(如内存或I/O)的多内核之间的争用可能会在内核之间产生干扰。认证当局通过在 CAST-32A 立场文件中列入识别、缓解和检验目标,强调了其对此类干扰的担忧。

INTEGRITY-178 tuMP包括一个完全功能的多核调度程序,并支持带宽的分配和对共享处理器资源访问的管理。支持的带宽管理技术模拟基于高速硬件的方法,确保持续的分配施行。这些功能大大降低了集成和认证风险, 同时还使集成商能够管理软件应用程序更改或添加时可能发生的大幅软件重新测试的成本。

阅读 收藏

相关专题: