工具支持faa认证的Linux开发

安全关键型应用程序开发工具和工程服务供应商DDC-I宣布,其基于eclipse的OpenArbor混合语言开发环境现在支持LynuxWorks的FAA认证的LynxOS-178实时操作系统。OpenArbor开发人员使用Ada、C和嵌入式c++ (EC++)的任何组合,现在都可以在LynxOS-178目标系统上部署他们的安全关键应用程序,该系统可通过DO-178B A级认证,这是FAA的最高安全关键级别。

通过控制工程人员 二八年一月二十四日

凤凰城,阿兹-安全关键应用开发工具和工程服务供应商DDC-I宣布Eclipse基于OpenArbor的混合语言开发环境现在支持LynuxWorks的FAA认证的LynxOS-178实时操作系统。OpenArbor开发人员使用任何组合艾达C,嵌入式c++(EC++)现在可以在LynxOS-178目标系统上部署其安全关键应用程序- 178 b吗A级,联邦航空局的最高安全临界级别。
根据DDC-I的说法,LynxOS-178是第一个也是唯一一个通过DO-178B A级认证的商业硬实时操作系统,它结合了POSIX的互操作性优势和对ARINC 653应用程序执行(APEX)的支持。两者均可英特尔奔腾和飞思卡尔PowerPCLynxOS-178也是第一个也是唯一一个时间和空间分区的,faa接受的可重用软件组件(RSC)。操作系统通过使用虚拟机(VM)砖墙分区来增强安全性,防止一个RTOS分区中的系统事件干扰另一个RTOS分区中的事件。实际上,每个分区就像运行在自己独立的计算机上一样。
OpenArbor是一个混合语言、面向对象的IDE,用于开发和部署实时的、安全关键的应用程序。核心环境将优化C和嵌入式c++的编译器和库与SCORE混合语言调试器结合在一起。SCORE调试器具有直观的多窗口GUI、项目管理支持和自动构建/制作实用程序。SCORE的符号调试器可以识别C/EC++、Ada和Fortran语法和表达式,并可以查看对象、表达式、调用链、执行跟踪、穿插的机器代码、机器寄存器和程序堆栈。
OpenArbor为Ada开发提供了单独的Eclipse插件。Ada编译器插件,称为SCORE-Ada,具有优化的Ada编译器,并支持完整的Ada级调试,包括约束、属性、任务、异常、异常时中断和任务时中断事件。Ada调试器插件支持在单个会话中进行真正的混合语言调试,从而可以轻松调试用多种语言编写的应用程序。调试器是非侵入式的,可以在源级或机器级进行调试,并且可以在不更改生成的代码的情况下启用。
《被C.G.马西,资深编辑