|
為Deos安全-臨界RTOS的矢量鑄造測試自動化平臺。
矢量軟件，一個為嵌入式軟件質(zhì)量提供創(chuàng)新軟件解決方案的供應商，以及為任務和安全關鍵的應用程序提供軟件和專業(yè)服務的DDC-I的供應商，已經(jīng)宣布了DDC-I的Deos安全關鍵實時操作系統(tǒng)(RTOS)和OpenArbor集成開發(fā)環(huán)境的VectorCAST測試自動化平臺的可用性。
集成的平臺大大減少了開發(fā)、測試和認證的時間和成本，并認證了178個安全關鍵的應用軟件。
“我們很高興能與Vector Software合作，為我們的安全關鍵的RTOS提供世界級的測試自動化工具，”DDC-I的市場和產(chǎn)品管理副總裁Greg Rose說。“我們的RTOS和工具與Vector軟件的測試自動化套件的集成解決了開發(fā)、測試和認證的所有方面，這些都是針對178個安全關鍵應用程序的。”
“我們很高興地支持DDC-I的Deos RTOS與VectorCAST測試自動化平臺，”Vector軟件產(chǎn)品管理主管Jeffrey Fortin說。“整合，以及兩家公司的DO-178專長，為客戶提供了一個更高效的認證過程的完整解決方案。”
VectorCAST是一個動態(tài)的軟件測試解決方案，可以自動化C/ c++和Ada單元和集成測試，這對于驗證安全性和關鍵任務的嵌入式系統(tǒng)是必要的。VectorCAST自動創(chuàng)建了存根和驅(qū)動程序，作為創(chuàng)建測試工具的一部分，通常是手動的過程，給開發(fā)人員時間來集中精力構(gòu)建高質(zhì)量和徹底的測試用例。使用VectorCAST，單元測試可以在本地完成，也可以在特定的目標或模擬器上完成。VectorCAST運行時支持包(RSP)提供了一個功能齊全的集成，允許使用Deos RTOS的內(nèi)置網(wǎng)絡設施下載、執(zhí)行和捕獲結(jié)果。
Deos是一個安全關鍵的嵌入式RTOS，從1998年起就被認證為DO-178 DAL a。以確定性的實時響應為特點，時間和空間分區(qū)的RTOS采用了專利的slack調(diào)度，比任何其他可認證的安全關鍵的COTS RTOS提供更高的CPU利用率。Deos是為安全關鍵的應用程序而構(gòu)建的，它是使用RTCA DO-178創(chuàng)建的唯一可認證的時間和空間分區(qū)的COTS RTOS，從它的產(chǎn)品開發(fā)的第一天就開始了這個過程。Deos為COTS RTOS提供了一個簡單、低成本的途徑，使其能夠達到178級的認證，這是安全臨界的最高水平。
Deos的開發(fā)支持包括基于eclipse的、混合語言的OpenArbor IDE，它具有Ada、C和c++的優(yōu)化編譯器、彩色編碼的源代碼編輯器、項目管理支持、自動構(gòu)建實用程序和一個符號調(diào)試器。還包括一個虛擬的目標硬件開發(fā)工具QEMU (Quick EMUlator)，它允許開發(fā)人員在實際的目標硬件可用性之前開發(fā)、調(diào)試和測試他們的開發(fā)主機上的代碼。
AC電源插座http://www.gastrotommy.com |
當前位置:
