LynxOS and LynxOS-178 支持Apex 4.4.0 Ada
2005-01-12
San Jose,加利福尼亚 12-28-2004 LynuxWorks? Inc. 宣布支持新版本的IBM Rational? Ada programming environment, Apex 4.4.0, LynxOS? real-time operating system (RTOS) 和 LynxOS-178 将提供一个针对关键应用系统的完善的商业操作系统,来保障其高可靠性和高实时性。
新版的 Rational Apex 开发环境是一套实时、嵌入式Ada语言系统,为满足在航空航天以及军方等极度可靠性需求的场合而产生的,它的发布标志着Ada语音性能、功能、开发环境的一次革命。
“LynxOS and LynxOS-178 支持 IBM Rational's Apex 产品只有一个简单的原因-我们要持续我们在航空航天以及军方领域的优势” Bob Morris 说(LynuxWorks?销售市场付总裁),“我们很荣幸的做为IBM的第三方合作伙伴”。
九游会J9电子做为LynuxWorks?大中国区指定合作伙伴将全力推动其RTOS在中国航空航天以及军方的应用。欢迎垂询!
===============================================================
LynuxOS-178介绍
- - 高可靠性,高安全性嵌入式实时多任务操作系统(RTOS)
- -
新特性
低风险
严格通过美国军标DO-178B A级认证,实时多任务操作系统的开发包。为客户提供前所未有的高可靠性。
低成本
为客户节约多年的开发、研究、测试、认证努力工作,以低成本的方式获得RTOS平台。
为客户创造价值
加快客户推出产品到市场的时间,为客户提供一个通过DO-178B认证的产品。这是客户交付高质量产品的基础。满足高端通讯,高端军事系统。
全球同时通过DO-178B认证,遵循POSIX标准的RTOS
LynuxOS-178是目前市场上,第一个被业界认可的,高可靠性,高安全性的RTOS解决方案。
在军工和航天行业当中,有着非常高的技术要求,包括安全性,稳定性。 在美国,对于航天,航空系统的软件和硬件,有明确的RTCA/DO-178标准。只有当所有的细节全部通过这个苛刻的标准以的,高安全、稳定性的处理系统才能补批准离开地面。
多年科学家们的努力,使得软件通过DO-178B(相当于欧洲的EUROCAE/ED-12B)认证已经成为了一个惯例性的要求,使得这个标准成了高成本和影响项目上市的拦路虎。
LynxOS-178 实时多任务操作系统(RTOS)集成方案,由Motorola和Intel投资的硅谷LynuxWorks公司已经十几年的开发推出,它让客户可以较低的成本,得到一个经过DO-178B认证的集成模块,嵌入到客户的系统之中。大大降低了客户的开发成本。更重要的是让客户的安全地转移了产品风险。
一直以来,人来为了得到一个Commercial-off-the-shelf(现成的可靠的RTOS模块)操作系统,不知道投入了多少费用,去认证。没有意识到现成RTOS反而可以降低费用。越来越多的电子设备制造厂商,把更多的精力投入到上层的应用软件中去,而寻求一个合适的,现成的RTOS方案。LynuxWorks公司的LynxOS-178, 通过DO-178B A级认证的实时多任务操作系统(RTOS),为军工,航空,航天以及骨干网通讯系统提供了一个安全,稳定,高性能的解决方案。
LynxOS-178是全球第一个率先通过DO-178和EUROCAE/ED-12B认证,兼容POSIX标准(如Unix,Linux)的RTOS解决方案。这个LynxOS-178操作系统开发包,包括功能强大的,通过DO-178B A级的实时多任务内核。可以便利地与LynxOS Certifialbe Stack(LCS,认证模块)集成,LCS当中就有通过DO-187B的TCP/IP协议栈。为了方便客户的开发,LynxOS-178使用了全球统一标准的POSIX编程标准,任何熟悉Unix, Linux系统的工程师,均可以胜任LynxOS-178的系统开发,当然也包括LCS TCP/IP的开发。就为客户节省了大量的培训费用。不象学习其它RTOS一样,要重新学习一个新的操作系统。
一个完整的LynxOS-178包,包括一套标准的开发工具,技术支持,通过DO-178B的技术顾问和前所未有的所有通过DO-178B所需要的文档。
这就使得,客户的项目要通过DO-178B或者EUROCAE/ED-12B时,在RTOS和TCP/IP方面,不用重新认证,只需认证应用程序部分。这大大缩短了项目的开发周期,节约了高额的认证成本,更是降低了开发风险。
寻求一个低风险的方式通过DO-178B认证
显而易见地,以一个通过DO-187B认证的操作系统包,需要成千万个:人-工作日和数百万美金。对于航空方面的项目,DO-178B认证是一个非常苛刻并且昂贵流程。随着项目越来越来复杂,安全性要求越来越高,通过类似DO-178B这样的认证已经逐渐成为了共识,也成了项目的标准要求qn包括医疗设备和通讯系统,适用于所有高安全性,主可靠性的产品。DO-178B已经成了一个标准的项目安全性、可靠性的指引。这个指引包括在系统和软件生命周期方面。DO-187B的步骤和目标必要有可追溯性,只就需要空前多的文档去说明软件的开发过程和软件的维护步骤。这个可说明性需要大量的时间和精细的工作。为此,许许多多的厂商为了通过这个认证,甚至为了写125行源代码,而花了 人 - 三个月 的工作量。
为了详细说明软件开发的流程,这个标准当然要描述到一些开发中的一些结构问题。当中就包括了Partitioning(隔离技术), 因此,严格分析和测试和独立模块会被隔离,这在一个高安全,可靠的系统中,将会令人信服。为了加快产品上市的时间,降全面认证的成本,厂商必须找到一个通过认证的操作系统包。
这意味着软件包:
Address pertinent architectural considerations such as partitioning for fault containment.
Deliver mandatory data to further expedite certification.
Rock-solid基础 – LynxOS
LynuxWorks在1988年开遵照DO-178B的规范来开发LynxOS。
LynxOS-178 OS包的内核就是LynxOS。LynxOS从1988年是一个硬实时的Unix系统,从推出那天起,经过了上千万次的实际产品的测试,千锤百炼。Safety-critical系统的开发者欣喜地发现,他们找到了一个如果低故障率的嵌入式产品,对LynxOS充满了信心。对于采用了其它操作平台的项目,要已经投入多得多的人力物力,才能达到他们所预期的效果。
Partitioning – 隔离程序有误的方式
LynxOS-187一个特点,就是同时在一个空间支持多硬分区。每一个分区是被严格隔离开的。因此,当一个分区出现问题的时候,不会影响到其它分区。一个分区包括其独特的计算时间,储存器空间,资源。这一个很好的办法去保证所有的资料可以被使用,同时又隔离了其它分区的问题。
在LynxOS-178当中,硬分区的功能通过一个Virtual Machines(虚拟机)实现。每一个应用(任务,进程)只在一个硬分区里内运行,就象在一个独立的CPU在运行一样。独立的硬分区可以调用所有处理器的资源和变量名空间。这样的保护方式,让开发工程师降低了开发的压力,每一个模块可以独立开来。后组为一个复杂的系统。Partition通过Virtual-Machine Configuration Table(VCT虚拟机配置表)来管理,这是LynxOS-178强制要求的。
Time partitioning—ARINC 653-like scheduler (调度)The LynxOS kernel has been enhanced in the DO-178B release to provide features that specifically address key DO-178B architectural considerations. The one such enhancement has been the addition of an ARINC 653-like scheduler, driven by a 1msec timer. This configurable, fixed cyclical time-slicing scheduler provides the time partitioning required for guaranteed availability of CPU time when running safety-critical applications.
Memory partitioning (存储器分区)
硬性的存储器分区可以通过处理器中的MMU自动处理。这个机制使得出错可以限制在特定的内存区域内,与此同时,每一个虚拟机所控制的内存大小,就是该分区内所使用的内存大小。LynxOS-178完全支持MMU,这就可以提供一个高可靠性的特性,包括保护内存功能和极高处理性能(通过hardware-mapped 地址保护对区分每一个虚拟机,或者说是硬分区)。通常在LynxOS-178系统当中,MMU的功能主要是协调在不同分区中的任务和进程。这就保证了每一个任务只能强制性地、可靠地运行在它本身所在的地址空间当中。这个功能降低了工程师的开发难度,因为项目当中的每一个任务中以单独地去认证。并且之间没有关连性。
要求的代码均被测试过
一个非常重要,也是非常昂贵的DO-178B A级认证的要求,就是测试。众所周知的Structural Coverage测试。对于DO-178B的A级,每一行源代码必须进行Modified Condition/Decision Coverage(MCDC)测试。如果代码比较复杂,这些测试可能需要上百万美金的费用。而LynxOS-178 通过MCDC的测试。如果在LynxOS-178平台上进行开发,那么工程师就可以专注于应用部分,而不必花大量的精力的操作系统上面。同时,操作系统这部分也不需要重要进行认证。
快速升级,快速通过认证
LynxOS-178支持可更换的、模块化 (Mountable) 的文件系统,保证了独立任务的执行和动态设备驱动。这个特性,使得应用程序和设备驱动成为独立的模块,而不是跟所有的程序混在一起执行。在LynxOS-178的系统中,每一个模块(每一个驱动,每一个应用)均在不同的分区当中执行。彼此之间是独立的。对于认证来说,当某一个模块被修改时,只需要重新认证、测试这一个模块就可以了。从而大大加快了开发的流程。给工程师提供了前所未有的便利。
深圳市九游会J9电子技术有限公司
总部:深圳市深南大道6013号中国有色大厦506室
电子邮件: info@emdoor.com
电 话: +86-755-83474891/2/3/4/5/6
传 真: +86-755-83474895
公司主页: www.emdoor.com
上海分部:上海市普陀区金沙江路1066号申汉商务大厦C座1103
电 话: +86-21-62650520,62643621
传 真: +86-21- 62655790
北京分部:北京市海淀区知春路22号知音商务写字楼512室
电 话:+86-10-62375506,62375508
传 真:+86-10-62376767
查看更多→