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 將提供一個針對關鍵應用系統(tǒng)的完善的商業(yè)操作系統(tǒng)，來保障其高可靠性和高實時性。
新版的 Rational Apex 開發(fā)環(huán)境是一套實時、嵌入式Ada語言系統(tǒng)，為滿足在航空航天以及軍方等極度可靠性需求的場合而產(chǎn)生的，它的發(fā)布標志著Ada語音性能、功能、開發(fā)環(huán)境的一次革命。
“LynxOS and LynxOS-178 支持 IBM Rational's Apex 產(chǎn)品只有一個簡單的原因－我們要持續(xù)我們在航空航天以及軍方領域的優(yōu)勢” Bob Morris 說（LynuxWorks?銷售市場付總裁），“我們很榮幸的做為IBM的第三方合作伙伴”。
億道電子做為LynuxWorks?大中國區(qū)指定合作伙伴將全力推動其RTOS在中國航空航天以及軍方的應用。歡迎垂詢！
===============================================================
LynuxOS-178介紹
- - 高可靠性，高安全性嵌入式實時多任務操作系統(tǒng)（RTOS）
- -
新特性
低風險
嚴格通過美國軍標DO-178B A級認證，實時多任務操作系統(tǒng)的開發(fā)包。為客戶提供前所未有的高可靠性。
低成本
為客戶節(jié)約多年的開發(fā)、研究、測試、認證努力工作，以低成本的方式獲得RTOS平臺。
為客戶創(chuàng)造價值
加快客戶推出產(chǎn)品到市場的時間，為客戶提供一個通過DO-178B認證的產(chǎn)品。這是客戶交付高質(zhì)量產(chǎn)品的基礎。滿足高端通訊，高端軍事系統(tǒng)。
全球同時通過DO-178B認證，遵循POSIX標準的RTOS
LynuxOS-178是目前市場上，第一個被業(yè)界認可的，高可靠性，高安全性的RTOS解決方案。
在軍工和航天行業(yè)當中，有著非常高的技術要求，包括安全性，穩(wěn)定性。 在美國，對于航天，航空系統(tǒng)的軟件和硬件，有明確的RTCA/DO-178標準。只有當所有的細節(jié)全部通過這個苛刻的標準以的，高安全、穩(wěn)定性的處理系統(tǒng)才能補批準離開地面。
多年科學家們的努力，使得軟件通過DO-178B（相當于歐洲的EUROCAE/ED-12B）認證已經(jīng)成為了一個慣例性的要求，使得這個標準成了高成本和影響項目上市的攔路虎。
LynxOS-178 實時多任務操作系統(tǒng)（RTOS）集成方案，由Motorola和Intel投資的硅谷LynuxWorks公司已經(jīng)十幾年的開發(fā)推出，它讓客戶可以較低的成本，得到一個經(jīng)過DO-178B認證的集成模塊，嵌入到客戶的系統(tǒng)之中。大大降低了客戶的開發(fā)成本。更重要的是讓客戶的安全地轉(zhuǎn)移了產(chǎn)品風險。
一直以來，人來為了得到一個Commercial-off-the-shelf（現(xiàn)成的可靠的RTOS模塊）操作系統(tǒng)，不知道投入了多少費用，去認證。沒有意識到現(xiàn)成RTOS反而可以降低費用。越來越多的電子設備制造廠商，把更多的精力投入到上層的應用軟件中去，而尋求一個合適的，現(xiàn)成的RTOS方案。LynuxWorks公司的LynxOS-178, 通過DO-178B A級認證的實時多任務操作系統(tǒng)（RTOS），為軍工，航空，航天以及骨干網(wǎng)通訊系統(tǒng)提供了一個安全，穩(wěn)定，高性能的解決方案。
LynxOS-178是全球第一個率先通過DO-178和EUROCAE/ED-12B認證，兼容POSIX標準（如Unix，Linux）的RTOS解決方案。這個LynxOS-178操作系統(tǒng)開發(fā)包，包括功能強大的，通過DO-178B A級的實時多任務內(nèi)核。可以便利地與LynxOS Certifialbe Stack（LCS，認證模塊）集成，LCS當中就有通過DO-187B的TCP/IP協(xié)議棧。為了方便客戶的開發(fā)，LynxOS-178使用了全球統(tǒng)一標準的POSIX編程標準，任何熟悉Unix, Linux系統(tǒng)的工程師，均可以勝任LynxOS-178的系統(tǒng)開發(fā)，當然也包括LCS TCP/IP的開發(fā)。就為客戶節(jié)省了大量的培訓費用。不象學習其它RTOS一樣，要重新學習一個新的操作系統(tǒng)。
一個完整的LynxOS-178包，包括一套標準的開發(fā)工具，技術支持，通過DO-178B的技術顧問和前所未有的所有通過DO-178B所需要的文檔。
這就使得，客戶的項目要通過DO-178B或者EUROCAE/ED-12B時，在RTOS和TCP/IP方面，不用重新認證，只需認證應用程序部分。這大大縮短了項目的開發(fā)周期，節(jié)約了高額的認證成本，更是降低了開發(fā)風險。
尋求一個低風險的方式通過DO-178B認證
顯而易見地，以一個通過DO-187B認證的操作系統(tǒng)包，需要成千萬個：人-工作日和數(shù)百萬美金。對于航空方面的項目，DO-178B認證是一個非?？量滩⑶野嘿F流程。隨著項目越來越來復雜，安全性要求越來越高，通過類似DO-178B這樣的認證已經(jīng)逐漸成為了共識，也成了項目的標準要求qn包括醫(yī)療設備和通訊系統(tǒng)，適用于所有高安全性，主可靠性的產(chǎn)品。DO-178B已經(jīng)成了一個標準的項目安全性、可靠性的指引。這個指引包括在系統(tǒng)和軟件生命周期方面。DO-187B的步驟和目標必要有可追溯性，只就需要空前多的文檔去說明軟件的開發(fā)過程和軟件的維護步驟。這個可說明性需要大量的時間和精細的工作。為此，許許多多的廠商為了通過這個認證，甚至為了寫125行源代碼，而花了 人 - 三個月 的工作量。
為了詳細說明軟件開發(fā)的流程，這個標準當然要描述到一些開發(fā)中的一些結構問題。當中就包括了Partitioning（隔離技術）, 因此，嚴格分析和測試和獨立模塊會被隔離，這在一個高安全，可靠的系統(tǒng)中，將會令人信服。為了加快產(chǎn)品上市的時間，降全面認證的成本，廠商必須找到一個通過認證的操作系統(tǒng)包。
這意味著軟件包：
Address pertinent architectural considerations such as partitioning for fault containment.
Deliver mandatory data to further expedite certification.
Rock-solid基礎 – LynxOS
LynuxWorks在1988年開遵照DO-178B的規(guī)范來開發(fā)LynxOS。
LynxOS-178 OS包的內(nèi)核就是LynxOS。LynxOS從1988年是一個硬實時的Unix系統(tǒng)，從推出那天起，經(jīng)過了上千萬次的實際產(chǎn)品的測試，千錘百煉。Safety-critical系統(tǒng)的開發(fā)者欣喜地發(fā)現(xiàn)，他們找到了一個如果低故障率的嵌入式產(chǎn)品，對LynxOS充滿了信心。對于采用了其它操作平臺的項目，要已經(jīng)投入多得多的人力物力，才能達到他們所預期的效果。
Partitioning – 隔離程序有誤的方式
LynxOS-187一個特點，就是同時在一個空間支持多硬分區(qū)。每一個分區(qū)是被嚴格隔離開的。因此，當一個分區(qū)出現(xiàn)問題的時候，不會影響到其它分區(qū)。一個分區(qū)包括其獨特的計算時間，儲存器空間，資源。這一個很好的辦法去保證所有的資料可以被使用，同時又隔離了其它分區(qū)的問題。
在LynxOS-178當中，硬分區(qū)的功能通過一個Virtual Machines（虛擬機）實現(xiàn)。每一個應用（任務，進程）只在一個硬分區(qū)里內(nèi)運行，就象在一個獨立的CPU在運行一樣。獨立的硬分區(qū)可以調(diào)用所有處理器的資源和變量名空間。這樣的保護方式，讓開發(fā)工程師降低了開發(fā)的壓力，每一個模塊可以獨立開來。后組為一個復雜的系統(tǒng)。Partition通過Virtual-Machine Configuration Table（VCT虛擬機配置表）來管理，這是LynxOS-178強制要求的。
Time partitioning—ARINC 653-like scheduler （調(diào)度）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 (存儲器分區(qū))
硬性的存儲器分區(qū)可以通過處理器中的MMU自動處理。這個機制使得出錯可以限制在特定的內(nèi)存區(qū)域內(nèi)，與此同時，每一個虛擬機所控制的內(nèi)存大小，就是該分區(qū)內(nèi)所使用的內(nèi)存大小。LynxOS-178完全支持MMU，這就可以提供一個高可靠性的特性，包括保護內(nèi)存功能和極高處理性能（通過hardware-mapped 地址保護對區(qū)分每一個虛擬機，或者說是硬分區(qū)）。通常在LynxOS-178系統(tǒng)當中，MMU的功能主要是協(xié)調(diào)在不同分區(qū)中的任務和進程。這就保證了每一個任務只能強制性地、可靠地運行在它本身所在的地址空間當中。這個功能降低了工程師的開發(fā)難度，因為項目當中的每一個任務中以單獨地去認證。并且之間沒有關連性。
要求的代碼均被測試過
一個非常重要，也是非常昂貴的DO-178B A級認證的要求，就是測試。眾所周知的Structural Coverage測試。對于DO-178B的A級，每一行源代碼必須進行Modified Condition/Decision Coverage（MCDC）測試。如果代碼比較復雜，這些測試可能需要上百萬美金的費用。而LynxOS-178 通過MCDC的測試。如果在LynxOS-178平臺上進行開發(fā)，那么工程師就可以專注于應用部分，而不必花大量的精力的操作系統(tǒng)上面。同時，操作系統(tǒng)這部分也不需要重要進行認證。
快速升級，快速通過認證
LynxOS-178支持可更換的、模塊化 (Mountable) 的文件系統(tǒng)，保證了獨立任務的執(zhí)行和動態(tài)設備驅(qū)動。這個特性，使得應用程序和設備驅(qū)動成為獨立的模塊，而不是跟所有的程序混在一起執(zhí)行。在LynxOS-178的系統(tǒng)中，每一個模塊（每一個驅(qū)動，每一個應用）均在不同的分區(qū)當中執(zhí)行。彼此之間是獨立的。對于認證來說，當某一個模塊被修改時，只需要重新認證、測試這一個模塊就可以了。從而大大加快了開發(fā)的流程。給工程師提供了前所未有的便利。
深圳市億道電子技術有限公司
總部：深圳市深南大道6013號中國有色大廈506室
電子郵件: info@emdoor.com
電 話: +86-755-83474891/2/3/4/5/6
傳 真: +86-755-83474895
公司主頁: www.emdoor.com
上海分部：上海市普陀區(qū)金沙江路1066號申漢商務大廈C座1103
電 話: +86-21-62650520,62643621
傳 真: +86-21- 62655790
北京分部：北京市海淀區(qū)知春路22號知音商務寫字樓512室
電 話：+86-10-62375506,62375508
傳 真：+86-10-62376767
查看更多→
首頁 > 新聞資訊 > 
