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

X

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

X

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

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

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

联合上海控安-功能安全社区共同启动功能安全系列直播课

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

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

直播课•第二弹

课程安排 Schedule

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

地点：线上课堂

流程：

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

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

主题 Theme

形式化方法在需求工程中的应用

分享内容 Contents

形式化方法与软件工程：从软件工程的过程视角看形式化方法的应运而生。

形式化方法的特点与工程困境：形式化方法的成功之处在于提供了一种数学上的准确性。然而在工程应用层面的困境，又显示出了其面对实际工程环境的局限，并催生出形式化工程方法的需求。

形式化方法在需求工程中的应用：形式化方法在工程中落地应用的关键是在“领域化”和“工程化”等层面予以适当平衡和剪裁。我们以航空控制软件为例，详细展示形式化方法在这个领域需求分析过程中的具体应用。

总结与探讨：形式化方法应用的要素条件和体会。

核心内容

1. 形式化方法与软件工程的关系

2. 形式化方法的工程化要点

3. 采用形式化理论实施需求工程应用

讲师介绍 Lecturer

缪炜恺 副教授

尊龙凯吋官方网站 院长助理

嵌入式软件与智能系统 系主任

主要研究领域为软件需求、软件形式化方法和软件测试等。主持多项国家自然科学基金青年基金、面上基金及重点企业合作项目，在国内外高水平期刊与会议发表学术论文20余篇。曾获得上海市科技进步特等奖、上海市高校青年教师教学竞赛一等奖。多年来聚焦嵌入式控制软件的形式化需求建模与分析验证，所研制的工具在航空航天和轨道交通领域多家重点企业应用。

报名加入 Registration

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

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