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 產品只有一個簡單的原因－JNH官網要持續JNH官網在航空航天以及軍方領域的優勢” Bob Morris 說（LynuxWorks?銷售市場付總裁），“JNH官網很榮幸的做為IBM的第三方合作伙伴”。
JNH官网電子做為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級的實時多任務內核?？梢员憷嘏cLynxOS 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認證是一個非?？量滩⑶野嘿F流程。隨著項目越來越來復雜，安全性要求越來越高，通過類似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的系統中，每一個模塊（每一個驅動，每一個應用）均在不同的分區當中執行。彼此之間是獨立的。對于認證來說，當某一個模塊被修改時，只需要重新認證、測試這一個模塊就可以了。從而大大加快了開發的流程。給工程師提供了前所未有的便利。
深圳市JNH官网電子技術有限公司
總部：深圳市深南大道6013號中國有色大廈506室
電子郵件:
電 話: +86-/2/3/4/5/6
傳 真: +86-
公司主頁: www.emdoor.com
上海分部：上海市普陀區金沙江路1066號申漢商務大廈C座1103
電 話: +86-21-62650520,62643621
傳 真: +86-21- 62655790
北京分部：北京市海淀區知春路22號知音商務寫字樓512室
電 話：+86-10-62375506,62375508
傳 真：+86-10-62376767
查看更多→
首頁 > 新聞資訊 > 
