佛山船型開關(guān)矢量軟件支持AdaCore蚊Pro編譯器

矢量軟件已經(jīng)宣布支持AdaCore VectorCAST蚊Pro產(chǎn)品的安全性至關(guān)重要的手臂微控制器。

這個(gè)AdaCore蚊Pro安全性至關(guān)重要的應(yīng)用程序提供了一個(gè)完整的Ada開發(fā)環(huán)境,面向系統(tǒng),或嚴(yán)格的內(nèi)存限制需求的安全性至關(guān)重要。

臂是一個(gè)受歡迎的低成本、低功耗微處理器日益流行的行業(yè),如航空航天、國防、運(yùn)輸。

矢量軟件的VectorCAST嵌入式軟件測(cè)試平臺(tái),是一個(gè)家庭的產(chǎn)品,自動(dòng)化測(cè)試活動(dòng)跨越整個(gè)軟件開發(fā)生命周期和支持C、c++和艾達(dá)。VectorCAST包括一套Ada測(cè)試工具,大大減少了時(shí)間、精力和成本測(cè)試關(guān)鍵安全軟件寫在艾達(dá)。

支持AdaCore手臂和VectorCAST允許組織開發(fā)安全性至關(guān)重要的應(yīng)用程序在ARM Ada,或結(jié)合Ada,C,c++,有一個(gè)完整的Ada開發(fā)和自動(dòng)化測(cè)試環(huán)境。此外,VectorCAST平臺(tái)支持的自定義運(yùn)行時(shí)配置文件AdaCore包括:ZFP,Cert,Ravenscar。

“Ada早已被公認(rèn)為強(qiáng)大的軟件工程效益包括可移植性、可靠性和可維護(hù)性,”杰米·艾爾,AdaCore營(yíng)銷總監(jiān)。“我們很高興,矢量軟件已經(jīng)集成其行業(yè)領(lǐng)先的VectorCAST套件與AdaCore的蚊Pro安全關(guān)鍵產(chǎn)品的手臂。”

“這個(gè)新的集成演示了我們的承諾,提供一個(gè)完整的安全導(dǎo)向Ada開發(fā)社區(qū)開發(fā)工具集在一個(gè)大范圍的目標(biāo),”威廉·麥卡弗里說,首席運(yùn)營(yíng)官在矢量軟件。“客戶現(xiàn)在可以受益于豐富的硬件平臺(tái)使用的更廣泛的市場(chǎng)超越臨界安全性系統(tǒng)。”佛山船型開關(guān)http://www.koudejun.com