嵌入式可靠性设计技术高级研修班已过期
推荐参加：2024软件技术大会

会议时间：2015-05-09 08:00至 2015-05-09 18:00结束

会议地点：北京详细地址会前通知

会议规模：暂无

主办单位：

发票类型：增值税普通发票增值税专用发票

行业热销热门关注看了又看换一换

会议通知

“嵌入式软件安全性工程”是一门以讲述嵌入式安全关键软件的设计、开发、测试及其安全性分析技术为主的课程，是面向软件系统分析人员、软件设计与开发人员、软件测试人员以及软件质量管理人员的一门实践性与针对性很强的新设课程。

(嵌入式可靠性设计技术高级研修班)

随着嵌入式软件的广泛应用，嵌入式软件的安全性受到越来越高的重视，针对安全关键软件的安全性专门技术成为软件领域的一个主要研究方向。

本课程正是为了适应形势要求而开设的，其任务是讲授“嵌入式软件安全性工程”中的基本概念与理论、技术、方法与工具，介绍该领域近年来的最新发展，为相关人员在工作中运用安全性工程技术和进一步学习相关知识打下基础。课程贴合工程实践，以案例式教学为主，在讲解知识内容的同时，重点培养学员独立思考能力和解决实际工作问题的能力。

课程对象：电子工程师、软件工程师、系统工程师、可靠性工程师、测试工程师、项目经理等。

会议日程
（最终日程以会议现场为准）

课程大纲：

(一)软件安全性的正确认识		1)设计评审及原型仿真技术
a)软件安全性的概念		2)设计的逻辑与数据分析
b)软件安全性与安全关键软件		3)设计的接口分析与追踪性分析
c)软件安全性与系统安全性		4)需求状态机技术
d)软件安全性与软件危险		d)设计分析的案例
e)软件安全性与软件质量		(五)软件实现与安全性分析
(二)安全关键软件的过程模型		a)软件实现技术
a)常用软件过程模型		1)编码检查单与标准
b)常用软件设计方法		2)重构技术
c)软件过程管理		3)程序切片技术
d)选择合适的软件过程		b)软件代码的安全性分析
(三)软件安全性需求与分析		1)代码的逻辑、数据、接口分析
a)软件的需求过程		2)不可达代码分析
b)软件安全性需求的获取		3)中断分析
c)软件安全性的分析		4)源代码的形式化审查
1)软件故障树方法（FTA）		c)软件实现分析的案例
2)软件FMEA方法		(六)软件测试与安全性分析
3)初步危险分析（PHA）		a)软件测试活动
d)需求分析的案例		1)测试级别
(四)软件设计与安全性分析		2)回归测试
a)设计活动的选取		3)安全性测试
b)软件安全性设计方法		4)测试环境
1)N版本方法		b)软件测试的安全性分析
2)多余度设计		1)测试覆盖率分析
3)基于规范的安全性设计		2)测试结果分析
c)软件设计的安全性分析		3)可靠性模型分析
		c)测试活动分析的案