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

发布时间：2021-12-30 06:18:50 来源：欧宝体育域名

　　创无止境，智在未来！上海控安技术成果入选“2020年度上海市高新技术成果转化项目自主创新十强”

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

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

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

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

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

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

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

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

　　向善向上 保持年轻 ——云集创始人兼CEO肖尚略受邀参加2021年中国青年创新创业交流营

　　向善向上 保持年轻 ——云集创始人兼CEO肖尚略受邀参加2021年中国青年创新创业交流营

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

　　创无止境，智在未来！上海控安技术成果入选2020年度上海市高新技术成果转化项目自主创新十强12月14日，...

上一篇:中国高新技术论坛上专家热议人工智能
下一篇:日照市加快培育高新技术企业“18条”正式发布