嵌入式可靠性设计技术高级研修班
- 参会报名
- 会议通知
- 会议日程
- 会议嘉宾
- 会议门票
嵌入式可靠性设计技术高级研修班已过期
|
发票类型:增值税普通发票 增值税专用发票 |
会议通知
会议日程
(最终日程以会议现场为准)(一)软件安全性的正确认识 | 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)测试活动分析的案 |
会议门票
会议场地:
- 会员折扣
该会议支持会员折扣
具体折扣标准请参见plus会员页面 - 会员返积分
每消费1元累积1个会员积分。
仅PC站支持。 - 会员积分抵现
根据会员等级的不同,每抵用1元可使用的积分也不一样,具体可参见PLUS会员页面。 仅PC站支持。
主办方没有公开参会单位