Global Sources
電子工程專輯
 
電子工程專輯 > EDA/IP
 
 
EDA/IP  

Aonix新版ObjectAda開發工具支援PikeOS

上網時間: 2006年11月08日     打印版  Bookmark and Share  字型大小:  

關鍵字:Aonix  PikeOS  RAVEN  ObjectAda 

以安全和關鍵應用為其主要業務的解決方案供應商Aonix,與可靠元件軟體歐洲供應商SYSGO聯手推出ObjectAda Real-Time RAVEN V8.2。ObjectAda 8.2版支援基於英特爾(Intel)的Linux平台,以及PowerPC/PikeOS

ObjectAda中有性能有明顯改進的編譯器,以及執行於PikeOS作業系統的除錯技術協同工作,可將來自該應用程式其它分區的DO-178B Level A可證明程式碼(certifiable code)分離開來。這一作業充分利用了PikeOS的可視功能,允許即時應用程式(如Ada和傳統的Linux)在不同的PikeOS分區中可靠地同時執行。

PikeOS對微核存取硬體加以控制,並允許多個彼此嚴格分隔的軟體分區在單個CPU中執行。每一個區可執行應用程式或某個完整的作業系統(如Linux、POSIX或ARINC653)。這一靈活性可實現對執行在這些不同系統下的應用程式的控制,使其和Linux或Java下的可視軟體平行地執行。出道時間較早但是潛在不可信任的應用程式,如Linux,可與關鍵組件分離,並且因此可整合於安全至上的系統中。若要求認證,則只有安全至上組件需要被認證。

支援PowerPC/PikeOS的ObjectAda即時RAVEN為一款嵌入式Ada開發系統,可使工程師們在Linux環境下建構應用程式,以對執行於某個PowerPC平台的PikeOS的適當配置的分區進行展開。該產品由一個完全相容ACATS 2.5 Ada 95編譯器和包括build/bind tool、程式庫工具和除錯器在內的支援工具組成,並且提供一個預符合完全預定義語言的Ravenscar profile子集的預先最佳化程式庫。ObjectAda 8.2與PikeOS 1.3和PowerPC OEA CPU架構相容。




投票數:   加入我的最愛
我來評論 - Aonix新版ObjectAda開發工具支援PikeOS
評論:  
*  您還能輸入[0]個字
*驗證碼:
 
論壇熱門主題 熱門下載
 •   將邁入40歲的你...存款多少了  •  深入電容觸控技術就從這個問題開始
 •  我有一個數位電源的專利...  •  磷酸鋰鐵電池一問
 •   關於設備商公司的工程師(廠商)薪資前景  •  計算諧振轉換器的同步整流MOSFET功耗損失
 •   Touch sensor & MEMS controller  •  針對智慧電表PLC通訊應用的線路驅動器
 •   下週 深圳 llC 2012 關於PCB免費工具的研討會  •  邏輯閘的應用


EE人生人氣排行
 
返回頁首