北京：“软件可信性与安全性技术高级研修班”

关于举办“软件可信性与安全性技术高级研修班”的通知

各有关企事业单位：

随着软件在信息社会发挥日益重要的作用，人们对软件的可靠性、可靠安全性和保密安全性等可信性质的要求也愈来愈高．装备中使用软件越来越多,软件的质量及可靠性严重威胁装备的效能及战备完好性。正确地提出关于软件可信性的要求并确立相应的目标，通过设计与研制落实这些目标，最终在使用过程中实现这些目标，是所有相关工程技术人员和工程管理人员的职责。

为了帮助工程设计和管理人员掌握有关技术和工程方法，进一步完善装备的设计研制与开发过程，提高装备战备完好性水平，中国高科技产业化研究会、北京中际孚歌科技有限公司、北京中际赛威文化发展有限公司特联合组织了业内权威专家，举办“软件可信性与安全性技术高级研修班”。现将相关事宜通知如下：

一、主办单位： 中国高科技产业化研究会

二、协办单位：北京中际孚歌科技有限公司北京中际赛威文化发展有限公司

三、时间/地点： 2008年12月18-20日（18日报到）北京 (具体路线另行通知)

四、授课内容：

（一）、软件RAMS

1 导言

2 RAMS综述

2.1 定义 2.2 背景 2.3 目的 2.4 ESCC的RAMS 2.5 指南 2.6 其他技术

3 RAMS过程

3.1 SDP 3.2 输入／输出 3.3 综述 3.4 功能与物理 3.5 复杂系统 3.6 文件

4 RAMS基本任务

4.1 编制计划 4.2 原始数据 4.3 准备

5 RAMS支撑方法

5.1 功能分析 5.2 SFMECA 5.3 危险分析 5.4 SFTA 5.5 其他分析方法

6 定性和定量RAMS

7 问题

7.1 理解软件可靠性 7.2 软件可靠性工程 7.3 提高软件可靠性的技术

7.4 软件可靠性理论面临的挑战 7.5 关于DO-178B

（二）、安全关键软件等级的确定

1 引言

2 软件与系统安全

2.1 危险和安全关键软件 2.2 系统安全工作 2.3 安全需求和分析

3 软件安全规划

3.1 确定软件安全工作范围 3.2 裁剪软件安全工作

4 等级的确定过程和实例

4.1 确定过程 4.2 实例

（三）、安全性测试

1 测试策划 2 用例设计 3 评估标准和准则

（四）、可靠性测试

1 可靠性增长测试 2 可靠性鉴定测试 3 开发过程中的可靠性测量 SFMEA，测试的实例

五、讲师介绍：

支老师，总装载人航天办公室软件专家组成员，航天科工集团706所研究员，早期从事计算机应用，CMIS工程及生产过程控制，弹上计算机软件设计，武器系统地面测试设备和软件设计等工作。上世纪90年代开始从事软件测试和软件工程方面的工作，包括导弹，火箭，卫星，载人飞船中数十种软件的测试。曾获得国家级，解放军总装备部，航天部颁发的突出贡献奖和科技进步奖多项。

六、收费标准：2200元/人（含资料、午餐、证书、课时费、茶点）3人以上九五折优惠。其他费用自理，

课后由中国高科技产业化研究会向考核合格的学员颁发证书。

中国高科技产业化研究会

2008年11月03日

参加回执表

单位名称
发票抬头
地址			邮编
联系人		手机
电话		传真
参加人数	人	费用共计
住宿	间	汇款时间
参加人员姓名、所任工作及期望讲授的重点内容（可另附页）