上海控安入选“2020上海高新技术成果转化项目自主创新十强”

描述

12月14日,由上海市科委指导,上海市科技创业中心主办的“2021上海高新技术成果转化百佳表彰会”在中国金融信息中心举行。上海市科委、市财政局、市人社局等相关委办领导出席了会议。会议表彰了2020年度上海市高转项目十强企业和先锋人物。

项目评审组对总计3014项高转项目转化动态跟踪统计数据的梳理和指标初步筛选后,经各区科技主管部门推荐、专家评议、网上公示等程序,上海控安自研产品“智能嵌入式单元测试用例设计工具软件”入选“2020年度上海市高新技术成果转化项目自主创新十强”,上海控安总经理蒲戈光教授荣获“2020年度上海市高新技术成果转化先锋人物”荣誉称号。

软件软件

市科委副主任谢文澜为会议致辞。他表示,创新是上海的“城市基因”,也是推动高质量发展的根本动力。多年来,上海从制度保障、政策供给、能力提升等方面全方位推进科技成果转化,形成了供给端、需求端和服务端“三端发力”的体系化布局。

回顾过去,高转政策历时二十余载,在推动本市高新技术产业发展、培育企业核心竞争力等方面发挥了重要作用,目前累计认定高转项目近1.5万项,落实专项资金超110亿元,落户人才超过3000人。今年是高转项目新政实施以后的第一年,面向未来,上海高转政策将全力打好财政支持、人才落户政策的组合拳,紧扣全力做强创新引擎,打造自主创新新高地这一主线,加速科技成果向现实生产力转化,疏通成果转化的双向链接快车道,推动企业创新不断迈向新台阶。

软件

上海控安首席信息官杨昆与会发表“强基补链——实现工业软件卡脖子技术新突破”主题演讲,分享了控安入选项目成果的研发和产业化历程,以及控安人秉承“为工业安全赋能”的初心使命,不断攻克制约工控系统安全关键共性技术的实践经验。

软件

上海控安入选项目成果“智能嵌入式单元测试用例设计工具软件”作为一款软件代码测试和验证工具,以“国外工具软件的国产化替代”为目标,对标美国Vector、德国Tessy、英国Testbed等工具,填补国内嵌入式系统测试工具软件技术空白。利用程序分析技术和动态符号执行技术,实现智能化、自动化的单元测试。通过该工具,用户能够快速对安全攸关的代码进行单元级别的白盒测试、黑盒测试及回归测试,从而进一步提升单元测试的效率。

 

目前,该项目成果已经测试航空航天、地铁信号、汽车电子、核电控制等领域软件代码超过800W行,平均语句覆盖率超过80%,具有显著的技术后发优势。该工具支持的重点项目包括:嫦娥五号、天问一号、上海10号线、新一代汽车开放系统架构等,在航天五院、普华软件、申通地铁,卡斯柯等高可信工业领域代表性企业的项目中得到应用和认可。

未来,上海控安将继续秉持开放、合作、共赢的理念,以攻克战略布局中的卡脖子技术、关键共性技术为核心目标,持续推动上海高新技术产业发展,为上海城市数字化转型保驾护航!

打开APP阅读更多精彩内容
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉

全部0条评论

快来发表一下你的评论吧 !

×
20
完善资料,
赚取积分