支撑航天、地铁等工业装备 沪研制人员攻克软件安全难题

支撑航天、地铁等工业装备 沪研制人员攻克软件安全难题
材料图:2018年,上海工业操控系统安全立异功能型渠道揭幕仪式。华东师范大学 供图   中新网上海5月19日电 (郑莹莹)由华东师范大学牵头,华东师范大学软件工程学院创院院长、中国科学院院士何积丰作为榜首完成人的《面向严重工业配备中心操控软件的安全可信保证技能及使用》项目19日取得2019年度上海市科技进步特等奖。  获奖团队代表、华东师范大学软件工程学院院长助理缪炜恺介绍,该项目不只服务于上海地铁线路、C919大飞机等工程,还支撑了“风云四号”卫星和“神舟八号与天宫一号对接”等在内的多项重要航天使命。  据介绍,项目牵头单位聚集软件安全可信保证技能,历经十余年深入研究,以产教育研协同立异为途径,霸占了软件安全可信保证技能的三大难题,即正确性“验证难”、可靠性“保证难”与复杂性“剖析难”。  项目组支撑卡斯柯信号有限公司的地铁信号系统是取得世界最高安全认证SIL4的信号系统。  来自申通地铁集团技能中心的检测总经理技能总监万勇兵泄漏,具有10多条线路、700多公里路程、400余座车站的上海地铁,为对接国家自主可控战略需求,4月已延聘何积丰院士担纲首席科学家。上海地铁将在10号线、17号线无人驾驶基础上,把高可信技能使用于上海才智地铁建造之中,更新晋级“才智轨交”,助力上海保持在国内外城市轨道交通职业的技能领先地位和持续快速开展。  在该项意图支持下,作为支撑上海科技立异中心“四梁八柱”的重要立异力气——上海工业操控系统安全立异功能型渠道2018年正式树立。该渠道是以可信软件结构为中心技能,聚集轨道交通、航空航天、轿车电子和电力操控等安全攸关范畴的软件研制,是上海市第一批推进建造的18个研制与转化功能型渠道之一。渠道的树立也是项目长期以来有力支撑上海世界科创中心建造、辐射长三角地区,带动相关工业开展的落地行动。  据悉,项目组成员致力于完成“产教育研”的深层次交融,支撑工业和院校的长期化高质量人才培养。未来,项目团队将持续聚集软件工业,为国产大飞机、深空勘探和新式轨道交通信号系统等严重国家级技能攻关供给共性技能,助力上海科创中心建造。(完) 【修改:黄钰涵】

标签:,

发表评论

电子邮件地址不会被公开。 必填项已用*标注

Related Post

民政部、国务院扶贫办联合召开社会救助兜底脱贫工作推进会民政部、国务院扶贫办联合召开社会救助兜底脱贫工作推进会

民政部、国务院扶贫办联合召开社会救助兜底脱贫工作推进会5月8日,民政部、国务院扶贫办联合举行社会救助兜底脱贫作业推动会,布置组织、催促调度社会救助兜底脱贫举动展开。民政部党组成员、副部长唐承沛,国务院扶贫办党组成员、副主任夏更生出席会议并说话。湖北省扶贫办和广西壮族自治区、四川省民政厅以及贵州省威宁县、甘肃省礼县政府负