为Deos安全-临界RTOS的矢量铸造测试自动化平台。
矢量软件,一个为嵌入式软件质量提供创新软件解决方案的供应商,以及为任务和安全关键的应用程序提供软件和专业服务的DDC-I的供应商,已经宣布了DDC-I的Deos安全关键实时操作系统(RTOS)和OpenArbor集成开发环境的VectorCAST测试自动化平台的可用性。
集成的平台大大减少了开发、测试和认证的时间和成本,并认证了178个安全关键的应用软件。
“我们很高兴能与Vector Software合作,为我们的安全关键的RTOS提供世界级的测试自动化工具,”DDC-I的市场和产品管理副总裁Greg Rose说。“我们的RTOS和工具与Vector软件的测试自动化套件的集成解决了开发、测试和认证的所有方面,这些都是针对178个安全关键应用程序的。”
“我们很高兴地支持DDC-I的Deos RTOS与VectorCAST测试自动化平台,”Vector软件产品管理主管Jeffrey Fortin说。“整合,以及两家公司的DO-178专长,为客户提供了一个更高效的认证过程的完整解决方案。”
VectorCAST是一个动态的软件测试解决方案,可以自动化C/ c++和Ada单元和集成测试,这对于验证安全性和关键任务的嵌入式系统是必要的。VectorCAST自动创建了存根和驱动程序,作为创建测试工具的一部分,通常是手动的过程,给开发人员时间来集中精力构建高质量和彻底的测试用例。使用VectorCAST,单元测试可以在本地完成,也可以在特定的目标或模拟器上完成。VectorCAST运行时支持包(RSP)提供了一个功能齐全的集成,允许使用Deos RTOS的内置网络设施下载、执行和捕获结果。
Deos是一个安全关键的嵌入式RTOS,从1998年起就被认证为DO-178 DAL a。以确定性的实时响应为特点,时间和空间分区的RTOS采用了专利的slack调度,比任何其他可认证的安全关键的COTS RTOS提供更高的CPU利用率。Deos是为安全关键的应用程序而构建的,它是使用RTCA DO-178创建的唯一可认证的时间和空间分区的COTS RTOS,从它的产品开发的第一天就开始了这个过程。Deos为COTS RTOS提供了一个简单、低成本的途径,使其能够达到178级的认证,这是安全临界的最高水平。
Deos的开发支持包括基于eclipse的、混合语言的OpenArbor IDE,它具有Ada、C和c++的优化编译器、彩色编码的源代码编辑器、项目管理支持、自动构建实用程序和一个符号调试器。还包括一个虚拟的目标硬件开发工具QEMU (Quick EMUlator),它允许开发人员在实际的目标硬件可用性之前开发、调试和测试他们的开发主机上的代码。
AC电源插座http://www.cenxn.com |