可信软件与网络安全党支部

X

嵌入式软件与智能系统党支部

X

上海控安与国工中心党支部

4月每周四 20:00-21:00

尊龙凯吋官方网站教工党支部“牵手”

联合上海控安-功能安全社区

共同启动功能安全系列直播课

特邀学院4位优秀教师线上免费培训

这么好的学习机会，怎能错过？

直播课·第三弹

课程安排 Schedule

时间：4月23日 周四 20:00

地点：线上课堂

流程：

1、20:00-20:45 嘉宾PPT讲解

2、20:45-21:00 线上自由互动环节

主题 Theme

形式化方法与功能安全

分享内容 Contents

-形式化方法回顾：形式化方法以其精确性和抽象性的特点，成为安全关键领域确保核心软件正确开发的强烈推荐或强制使用方法。

-功能安全：在工业控制领域，由于系统设计不合理、设备元器件故障或失效、软件系统故障往往会造成严重的后果。因此必须用标准和法规来规范领域内安全相关系统的使用，使技术在安全的框架内发展。这里以汽车电子功能安全标准ISO26262为例，浅析确保汽车电子功能安全的系统工程方法学。

-形式化方法在汽车电子功能安全中应用：一方面，功能安全标准本身在很多环节强烈推荐或强制使用形式法方法；另一方面，随着形式化方法的发展，形式化方法又促进标准的不断更新和完善。

核心内容

1. 形式化方法回顾

2. 浅析汽车电子功能安全标准

3. 形式化方法在汽车电子功能安全中应用

讲师介绍 Lecturer

赵涌鑫 副教授

主要研究方向为形式化方法、可信软件工程、程序设计语言理论、智能系统的可信建模与分析等领域，在形式语言理论、程序统一理论、组合验证等方面有着较为长期的研究积累和丰富的研究成果，在形式化方法领域国际权威期刊和会议ACM TOSEM，FAOC等发表相关学术论文40余篇。主持国家自然科学基金青年基金、装发预研项目、上海市自然科学基金面上项目等。

报名加入 Registration

方式一：扫描海报中二维码，关注“上海控安研发与转化功能型平台”公众号，后台回复“直播”，即可获取直播地址

方式二：扫码添加工作人员微信，邀请进入“功能安全社区群”