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