為Deos安全-臨界RTOS的矢量鑄造測(cè)試自動(dòng)化平臺(tái)。

矢量軟件，一個(gè)為嵌入式軟件質(zhì)量提供創(chuàng)新軟件解決方案的供應(yīng)商，以及為任務(wù)和安全關(guān)鍵的應(yīng)用程序提供軟件和專業(yè)服務(wù)的DDC-I的供應(yīng)商，已經(jīng)宣布了DDC-I的Deos安全關(guān)鍵實(shí)時(shí)操作系統(tǒng)(RTOS)和OpenArbor集成開發(fā)環(huán)境的VectorCAST測(cè)試自動(dòng)化平臺(tái)的可用性。

集成的平臺(tái)大大減少了開發(fā)、測(cè)試和認(rèn)證的時(shí)間和成本，并認(rèn)證了178個(gè)安全關(guān)鍵的應(yīng)用軟件。

“我們很高興能與Vector Software合作，為我們的安全關(guān)鍵的RTOS提供世界級(jí)的測(cè)試自動(dòng)化工具，”DDC-I的市場(chǎng)和產(chǎn)品管理副總裁Greg Rose說。“我們的RTOS和工具與Vector軟件的測(cè)試自動(dòng)化套件的集成解決了開發(fā)、測(cè)試和認(rèn)證的所有方面，這些都是針對(duì)178個(gè)安全關(guān)鍵應(yīng)用程序的。”

“我們很高興地支持DDC-I的Deos RTOS與VectorCAST測(cè)試自動(dòng)化平臺(tái)，”Vector軟件產(chǎn)品管理主管Jeffrey Fortin說。“整合，以及兩家公司的DO-178專長，為客戶提供了一個(gè)更高效的認(rèn)證過程的完整解決方案。”

VectorCAST是一個(gè)動(dòng)態(tài)的軟件測(cè)試解決方案，可以自動(dòng)化C/ c++和Ada單元和集成測(cè)試，這對(duì)于驗(yàn)證安全性和關(guān)鍵任務(wù)的嵌入式系統(tǒng)是必要的。VectorCAST自動(dòng)創(chuàng)建了存根和驅(qū)動(dòng)程序，作為創(chuàng)建測(cè)試工具的一部分，通常是手動(dòng)的過程，給開發(fā)人員時(shí)間來集中精力構(gòu)建高質(zhì)量和徹底的測(cè)試用例。使用VectorCAST，單元測(cè)試可以在本地完成，也可以在特定的目標(biāo)或模擬器上完成。VectorCAST運(yùn)行時(shí)支持包(RSP)提供了一個(gè)功能齊全的集成，允許使用Deos RTOS的內(nèi)置網(wǎng)絡(luò)設(shè)施下載、執(zhí)行和捕獲結(jié)果。

Deos是一個(gè)安全關(guān)鍵的嵌入式RTOS，從1998年起就被認(rèn)證為DO-178 DAL a。以確定性的實(shí)時(shí)響應(yīng)為特點(diǎn)，時(shí)間和空間分區(qū)的RTOS采用了專利的slack調(diào)度，比任何其他可認(rèn)證的安全關(guān)鍵的COTS RTOS提供更高的CPU利用率。Deos是為安全關(guān)鍵的應(yīng)用程序而構(gòu)建的，它是使用RTCA DO-178創(chuàng)建的唯一可認(rèn)證的時(shí)間和空間分區(qū)的COTS RTOS，從它的產(chǎn)品開發(fā)的第一天就開始了這個(gè)過程。Deos為COTS RTOS提供了一個(gè)簡(jiǎn)單、低成本的途徑，使其能夠達(dá)到178級(jí)的認(rèn)證，這是安全臨界的最高水平。

Deos的開發(fā)支持包括基于eclipse的、混合語言的OpenArbor IDE，它具有Ada、C和c++的優(yōu)化編譯器、彩色編碼的源代碼編輯器、項(xiàng)目管理支持、自動(dòng)構(gòu)建實(shí)用程序和一個(gè)符號(hào)調(diào)試器。還包括一個(gè)虛擬的目標(biāo)硬件開發(fā)工具QEMU (Quick EMUlator)，它允許開發(fā)人員在實(shí)際的目標(biāo)硬件可用性之前開發(fā)、調(diào)試和測(cè)試他們的開發(fā)主機(jī)上的代碼。

AC電源插座http://www.koudejun.com