2017年3月25日，华东师范大学在上海组织召开了“软件系统功能安全方法与技术研讨会”。产业界著名的企业、科研院所与高校的近三十位专家与研究人员出席了本次会议。

会议部分人员合影

       本次会议由工信部电子第五研究所、中航商发、上海自仪院、中电科第三十二研究所、卡斯柯信号系统有限公司、上海富欣、中航工业无线电电子研究所等国内航空航天、 轨道交通与汽车电子等领域的16家龙头企业，以及北京大学，北京航空航天大学，东南大学，华东师范大学等6所高校共同发起。会议主要旨在交流分享在软件系统功能安全领域的进展与观点，讨论领域技术应用与发展现状，探讨软件系统功能安全未来发展趋势。会议由计算机科学与软件工程学院副院长蒲戈光教授主持。

蒲戈光教授主持会议

       会议上，共有十几位研究人员分别就相应的研究应用情况做了技术报告。工信部电子五所的杨春晖主任对当前关于软件功能安全的标准的国内外现状和未来关于软件功能安全标准的制定和推广提出了有效的建议和提倡。中电集团三十二所封亮主任、卡斯柯信号有限公司董高云博士、上海富欣智能交通控制有限公司杨朝霞、中航工业上电所的王辉也先后就软件系统在轨道交通、航空航天等相关领域的实践应用中的功能安全等技术问题做了具体的报告介绍；来自东南大学李必信教授、北京航空航天大学刘畅教授、北京大学孙猛副教授、上海大学苏雯博士、华东师范大学缪炜恺副教授等则分别做了关于软件功能安全技术的最新研究成果展示以及与产学研合作的可能性的探讨。

会议现场

       交流报告后还进行了技术研究与行业发展的全员讨论，大家一致认为，软件功能安全是工控行业非常重要的问题，目前标准零散，不统一。随着国家科技能力的增强，功能安全的技术和标准的制定和推广都是亟需解决的问题。本次会议也为各领域与行业搭建了一个很好的交流平台，为技术开发与研究人员提供了一个良好的沟通学习的机会，与会专家建议通过此次会议，在后续的合作过程中，进一步深化合作，明确行业需求，联合高校、科研院所研究团队、企业研发应用团队以及规范标准执行机构，发挥所长，尽快建立软件系统功能安全标准联盟，面向国家与地方的发展战略，加快推进行业与技术发展。

       本次会议由我校上海市高可信计算重点实验室与国家可信嵌入式软件工程研究中心联合主办。华东师范大学团队经过多年的努力，在何积丰院士的带领下，在可信计算、工业控制基础研究等方面取得了一系列具有国际影响力的成果，并广泛应用在航空航天、轨道交通、汽车电子等领域，与相关领域的国内外企事业单位、科研院所或高校展开了丰富的学术与技术合作，相关成果获得SIL4国际认证、国际OSEC认证，特别是团队的外籍合作专家、我校外籍兼职紫江教授简•埃蒙德•阿布瑞尔教授 (Jean-Raymond Abrial)与我校团队及国内有关企业专家长期在科研一线为我国轨道交通、航空航天等安全攸关的重大社会经济领域做出了卓越的贡献，并在2016年先后获得上海市国际科技合作奖与中华人民共和国国际科学技术合作奖。我校作为上海市十三五规划工控安全功能创新平台的指导与建设单位，发挥优势，整合资源，将继续深化与国内外同行的合作，共同推进上海市和国家在软件系统与工业控制安全领域的理论与技术创新，促进加快经济转型升级，为建设智慧城市与科技创新国家贡献力量。