2011年4月26日和27日，銀凱公司在西安和上海分別舉辦兩場(chǎng)“新一代代碼生成工具包BEACON for Simulink和形式化驗(yàn)證工具包ClawZ發(fā)布會(huì)”，取得圓滿(mǎn)成功。
會(huì)上，美國(guó)ADI公司B4S產(chǎn)品經(jīng)理Bryan Ellinger向來(lái)自航空、航天、兵器和船舶的六十多名軟件工程師，介紹了代碼生成工具B4S 2.4版本的新功能和新特點(diǎn)，并做了現(xiàn)場(chǎng)使用演示。
ADI總裁 Scott James還根據(jù)ADI參加DO178C標(biāo)準(zhǔn)聯(lián)合制訂委員會(huì)的經(jīng)歷，詳細(xì)為大家講解了DO178C的內(nèi)容、進(jìn)展及其與DO178B的異同，還就大家關(guān)心的工具認(rèn)證等問(wèn)題進(jìn)行了澄清，獲得與會(huì)者高度認(rèn)可和廣泛好評(píng)。
如果您是嵌入式系統(tǒng)開(kāi)發(fā)人員，想進(jìn)一步了解關(guān)鍵安全代碼生成工具，請(qǐng)與我們聯(lián)系，銀凱公司非常樂(lè)意為您提供相關(guān)資料和服務(wù)。
 
|
