上海控安是国企吗（上海控安公司简介）

12月14日，由上海市科委指导、上海科技创业中心主办的“2021年度上海百强高新技术成果转化表彰大会”在中国金融信息中心召开。市科委、市财政局、市人力资源社会保障局等相关部门领导出席会议。会议表彰了2020年上海高速换乘工程十强企业和先锋。

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

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

回顾过去，高新技术转移政策已持续20多年，为推动我市高新技术产业发展、培育企业核心竞争力发挥了重要作用。目前，共确定高速转移项目近1.5万个，实施专项资金超过110亿元。元，拥有落户人才3000余人。今年是高铁换乘项目新政策实施的第一年。面向未来，上海高速转移政策将全力把金融支持和人才落户政策结合起来，紧紧围绕强化创新引擎、打造自主创新新高地的主线。加快科技成果转化为现实生产力，畅通成果转化双向链接快车道，推动企业创新不断迈上新台阶。

上海港安首席信息官杨坤出席会议并发表“做强基链——，实现工业软件卡顿技术新突破”的主题演讲，分享了入选项目成果的研发及产业化过程金刚，以及金刚人秉承“服务行业”的原则。 “安全赋能”的初衷是不断攻克制约工业控制系统安全的共性技术的实践经验。

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

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

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