|
会议详情 |
|
推荐会议：2024软件技术大会
发票类型：增值税普通发票 增值税专用发票
“嵌入式软件安全性工程”是一门以讲述嵌入式安全关键软件的设计、开发、测试及其安全性分析技术为主的课程，是面向软件系统分析人员、软件设计与开发人员、软件测试人员以及软件质量管理人员的一门实践性与针对性很强的新设课程。
(嵌入式可靠性设计技术高级研修班)
随着嵌入式软件的广泛应用，嵌入式软件的安全性受到越来越高的重视，针对安全关键软件的安全性专门技术成为软件领域的一个主要研究方向。
本课程正是为了适应形势要求而开设的，其任务是讲授“嵌入式软件安全性工程”中的基本概念与理论、技术、方法与工具，介绍该领域近年来的最新发展，为相关人员在工作中运用安全性工程技术和进一步学习相关知识打下基础。课程贴合工程实践，以案例式教学为主，在讲解知识内容的同时，重点培养学员独立思考能力和解决实际工作问题的能力。
课程对象：电子工程师、软件工程师、系统工程师、可靠性工程师、测试工程师、项目经理等。
课程大纲：
| (一)软件安全性的正确认识 | 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)测试活动分析的案 |
.jpg!hdj123)
王俊
北京航空航天大学
副教授
培训费：2800元/人,含教材、讲义、资料、证书及专家邀请费、午餐等。培训部协助学员安排食宿，费用自理。
培训发票：培训会务工作指定由北京硕博电子科技有限公司组织协调，并为学员开具机打发票。
相关会议
2024-12-13北京
商务会议
会议嘉宾
会议主办方
会议场地
会议PPT
APP参会
订单查询
开通会员
2015-05-09 08:00 至 2015-05-09 18:00
