登陆
注册
试看3分钟，观看完整版视频请购买课程
×
轨交功能安全之验证原理与示例分析
有172人正在学习
上海控安
2020-09-23 13:27
开发过程使用形式化方法，可以检查系统规范，完善设计模型，且可大幅减少后续测试阶段发现的错误，从而显著提升工程质量与开发效率。列车信号及控制类系统是典型的安全苛求系统，任何潜在的系统行为缺陷都会给列车运营安全带来巨大风险。目前形式化验证方法与工具已经在轨交行业中得到较大范围的推广、使用。本次课程将通过概述形式化验证的原理，分析典型示例，简介形式化验证在开发流程的应用环节，以总结目前形式化验证应用面临的挑战。
-
¥19.90¥39.90
王恪铭
王恪铭，西南交通大学 博士。硕士研究生导师，中国系统工程学会会员，英国安全苛求系统协会(The Safety-Critical Systems Club)会员，中国计算机协会会员。目前已发表各类检索论文约30篇，参与出版学术专著作1部，获省级科研二等奖励1次；主持了国家自然科学基金、中国博士后科学基金、通号院企业合作等项目。曾工作于铁路局，并在英国南安普顿大学Formal Method团队进行了两年期的博士后交流，目前主要从事形式化验证方面的研究工作。
