面向工业领域的软件形式化建模与自动化测试关键技术及工具国产化应用
面向工业领域的软件形式化建模与自动化测试关键技术及工具国产化应用
完成单位:华东师范大学、上海工业控制安全创新科技有限公司、
卡斯柯信号有限公司、工业和信息化部电子第五研究所
主要完成人:何积丰、蒲戈光、缪炜恺、苏亭、周庭梁、刘奕宏
本项目针对控制软件的质量问题,形成了一套具有国际影响力的面向控制软件形式化建模、测试和验证的技术和工具,并在实际应用中发挥了重要作用,解决了若干关键质量问题。
<<< 上一篇
大规模智能云网络关键技术及平台
<<< 下一篇 专用处理器芯片自动设计技术与应用