当前位置:首页 > 资讯 > 财经

中欧学者携手攻关打破垄断 提升中国轨交、航空运输安全


中华品牌管理网   2017-01-10  作者:陈静    访问人数:237  共有(0)条评论 我要评论
核心提示

如今78岁的世界级计算机科学家、欧洲科学院院士——简-埃蒙德·阿布瑞尔连续12年来华与华东师范大学计算机科学与软件工程学院协作攻关“安全攸关软件”。

原标题:中欧学者携手攻关打破国外巨头垄断 大大提升中国轨交、航空运输安全相关内容导读“安全” ISO22000食品安全管理体系内审员培训 深圳 2017-07-03食品安全内审员课程帮助您深入的掌握关于ISO22000食品安全管理体系标准及审核员审核掌握的技巧!为能有效开展公司内部、外部审核做好必要准备。能够明确审核各方的职责,开展食品安全管理体系有效性的审核。信息安全管理体系(ISO 27001:2013)内审员 深圳 2017-07-03ISO27001内部审核员课程,理解ISO/IEC 27001/17799对组织的意义,熟悉ISO 27001标准要求,包括管理体系的PDCA和控制措施,掌握信息安全管理体系审核的策划、执行、报告和关闭审核发现点,了解如何进行有效的沟通和访谈。企业安全、健康、环境(EHS)全面管理训练 深圳 2017-07-05企业安全、健康、环境(EHS)全面管理课程培训,内容涉及事故致因理论和海因里希事故理论,运用管理职能有效推进EHS,工业卫生具体研究对象和任务,有害物质检测技术,企业环境检查、应急制度和环境绩效等,旨在使学员掌握安全生产保障、人员的权利和义务、监督管理、应急救援与调查处理技巧,企业EHS管理者的角色认知与定位。工作安全分析JSA 上海 2017-07-06工作安全分析JSA课程帮助学员正确了解JSA工具的应用范围、对象和场所;了解使用JSA工具的步骤、方法和规则;学会应用JSA工具进行设备设施安全隐患、作业场所安全隐患、员工不安全行为隐患等的有效识别;学会应用JSA工具完善作业现场的安全操作规程等。

中新网上海1月9日电 (记者 陈静)如今78岁的世界级计算机相关内容导读“计算机” 全国计算机技术与软件专业技术资格(水平)考试网络规划设计师(高级)考前培训班 北京 2017-10-19全国软考网络规划设计师(高级)考前培训课程,针对网络规划设计师的最新考试大纲,对考试相关知识点进行串讲;梳理教材脉络,让学员更好了解考试相关的各大知识域;掌握考试重点和难点,有针对性地学习相应知识要点;提高学员考点知识的归纳能力和应试技巧,提高学员通过考试的成功率。科学家、欧洲科学院院士——简-埃蒙德·阿布瑞尔连续12年来华与华东师范大学计算机科学与软件工程学院协作攻关“安全攸关软件”。

华东师范大学计算机科学与软件工程学院副院长、上海市高可信计算重点实验室副主任蒲戈光9日告诉记者,阿布瑞尔把最早应用于欧洲轨道交通软件开发的“B方法”系统级的软件安全保障方案首次引入中国,并进行了本土化改进,突破了自主可控技术的“瓶颈”,打破了这些技术被国外巨头公司垄断的局面。据此,未来中国轨交运输工具、航空航天飞行器等核心软件安全可靠性将大大提升。

当日,这位洋院士成为中华人民共和国国际科学技术合作奖获得者。

据蒲戈光介绍,作为一种软件开发方法,“B方法”不同于传统的软件开发方法,而是用数字符号描述软件行为,从而实现以数学方法对软件进行推理和证明,获得高可靠性软件。据了解,如今世界上多家知名的工程公司轨道交通部门均使用“B方法”进行软件开发。“B方法”的成功案例包括法国巴黎地铁1号线与14号线,欧空局的火箭控制系统等。

据了解,当下,缺乏可信技术支撑是阻碍包括轨道交通类产品在内的中国产品,获得国际认证的重要因素。蒲戈光说,华东师范大学计算机科学与软件工程学院注重从软件测试、建模角度保障软件的可靠性;阿布瑞尔引入的“B方法”则注重从软件生命开发周期来保障软件的安全性。双方实现作用互补,进而使安全可靠性有了质的飞跃。

据透露,从虹桥火车站到东方绿舟的轨交线路有望年底前开通试运营的,该线路将首度使用“B方法”开发的核心控制软件。中科院院士、华东师范大学计算机科学与软件工程学院院长何积丰透露,在轨道交通领域,研究团队与上海申通,卡斯柯信号等公司合作,基于“B方法”自主开发的车载信号系统,通过了国际莱茵最高四级安全认证;在汽车电子领域,研究团队与中电科等公司合作,比如,使用“B方法”对汽车电子与航天的基础软件操作系统进行了验证,基于“B方法”形式化验证的工控操作系统通过第三方评测,获得OSEK国际认证,部署在70万辆国产汽车上;其中经过验证后的操作系统还被装载于嫦娥三期等重要卫星。

何积丰希望未来“B方法”开发软件能应用在更多与安全攸关的领域,如轨道交通、汽车电子、航空航天等。华东师范大学计算机科学与软件工程学院方面将继续进行可信软件理论研究,为软件开发方法提供更坚实的理论基础。学院将进一步从建模、测试等角度,在软件开发流程上进行可靠性保障;与阿布瑞尔引入的“B方法”形成有机的解决方案,为企业提供更完善的服务。(完)




安全生产培训也是近期大家关注的话题
标签:中欧学者安全攸关软件计算机安全
来源:中国新闻网
暂无评论,快来添加一条!
点击这里提交你的留言