12月1-3日，2023年CCF中國軟件大會(huì)在上海國際會(huì)議中心成功舉辦。作為中國軟件領(lǐng)域規(guī)模最大、影響最廣的學(xué)術(shù)會(huì)議，本屆大會(huì)圍繞學(xué)術(shù)、工業(yè)、教育、競賽四大類舉辦了50余場活動(dòng)，吸引來自十個(gè)國家和地區(qū)的高校、科研機(jī)構(gòu)、企事業(yè)單位的2,300余位專家學(xué)者注冊參會(huì)。

大會(huì)現(xiàn)場，上?？匕舱故玖丝梢暬ｉ_發(fā)工具、嵌入式軟件自動(dòng)化測試平臺(tái)等多款國產(chǎn)軟件工具鏈核心產(chǎn)品，并與參會(huì)嘉賓熱烈交流當(dāng)前工業(yè)軟件安全領(lǐng)域前沿技術(shù)。

↓ 點(diǎn)擊鏈接閱讀產(chǎn)品詳情 ↓

SmartRocket Modeler 可視化建模開發(fā)工具

SmartRocket TestGrid 嵌入式軟件自動(dòng)化測試平臺(tái)

大會(huì)同期舉辦的高可信嵌入式軟件智能化開發(fā)與測試論壇上，上?？匕部尚跑浖?chuàng)新研究院副院長、系統(tǒng)建模組總監(jiān)馮勁草博士，發(fā)表“基于嵌入式系統(tǒng)模型一致性分析與驗(yàn)證”主題演講，聚焦嵌入式軟件研發(fā)過程中的需求模型與設(shè)計(jì)模型，探討保障模型正確性與一致性的方法，并基于真實(shí)案例分享工業(yè)領(lǐng)域內(nèi)軟件支撐工具的落地實(shí)踐。

軟件是增強(qiáng)我國產(chǎn)業(yè)質(zhì)量競爭力的重要支撐?！顿|(zhì)量強(qiáng)國建設(shè)綱要》明確指出，支持工業(yè)軟件等工程化開發(fā)，實(shí)現(xiàn)工業(yè)質(zhì)量分析與控制軟件關(guān)鍵技術(shù)突破。上?？匕捕嗄陙韲@工業(yè)控制系統(tǒng)功能安全和信息安全，已形成一批面向汽車電子、軌道交通、航空航天等領(lǐng)域的核心技術(shù)成果，未來將持續(xù)加強(qiáng)技術(shù)創(chuàng)新，為我國工業(yè)安全賦能。

閱讀原文