News
發布時間：2023-12-06 作者：上海工業控制安全創新科技有限公司 點擊次數：次
12月1-3日，2023年CCF中國軟件大會在上海國際會議中心成功舉辦。作為中國軟件領域規模最大、影響最廣的學術會議，本屆大會圍繞學術、工業、教育、競賽四大類舉辦了50余場活動，吸引來自十個國家和地區的高校、科研機構、企事業單位的2,300余位專家學者注冊參會。
大會現場，上海控安展示了可視化建模開發工具、嵌入式軟件自動化測試平臺等多款國產軟件工具鏈核心產品，并與參會嘉賓熱烈交流當前工業軟件安全領域前沿技術。
↓ 點擊鏈接閱讀產品詳情 ↓
SmartRocket TestGrid 嵌入式軟件自動化測試平臺
大會同期舉辦的高可信嵌入式軟件智能化開發與測試論壇上，上海控安可信軟件創新研究院副院長、系統建模組總監馮勁草博士，發表“基于嵌入式系統模型一致性分析與驗證”主題演講，聚焦嵌入式軟件研發過程中的需求模型與設計模型，探討保障模型正確性與一致性的方法，并基于真實案例分享工業領域內軟件支撐工具的落地實踐。
軟件是增強我國產業質量競爭力的重要支撐。《質量強國建設綱要》明確指出，支持工業軟件等工程化開發，實現工業質量分析與控制軟件關鍵技術突破。上海控安多年來圍繞工業控制系統功能安全和信息安全，已形成一批面向汽車電子、軌道交通、航空航天等領域的核心技術成果，未來將持續加強技術創新，為我國工業安全賦能。
