一、课程介绍：

随着我国武器装备数字化、智能化水平不断提高，软件在武器装备中的作用越来越关键。由于软件能以人所不能比的速度可靠地完成关键控制任务，几乎在每个重要系统中都由计算机系统来进行控制，软件在运行和控制危险以及在安全关键功能中持续地起着越来越重要的作用，软件安全性可靠性也越来越引起各方面的重视。为促进武器装备安全性和可靠性的提高，我单位特举办此次讲座，以期对学员的设计能力有实际的帮助和支持。具体课程安排如下：

二、主办单位：

北京中际赛威文化发展有限公司

北京中际赛威教育科技有限公司

三、时间：2024年9月27- 28日（26日报到）

四、地点：北京（具体地点会前通知）

五、课程大纲：

1、结合GJB 102A讲解军用软件可靠性安全性设计要求

1.1 讲解可靠性安全性设计的一般原则

1.2 讲解可靠性安全性设计的具体准则

    1.2.1 配合硬件或系统设计的考虑事项

    1.2.2 容错和容失效的设计

    1.2.3 接口设计

    1.2.4 通讯设计

    1.2.5 数据安全性设计

    1.2.6 中断设计

    1.2.7 模块设计

    1.2.8 定时/吞吐量和规模的余量设计

    1.2.9 防错设计

    1.2.10 自检查设计

    1.2.11 异常保护设计中的具体设计要求

   11.3 结合设计准则讲解相关典型案例

    11.4 讲解软件设计的一些量化度量指标

2、结合GJB 8114讲解军用软件可靠性安全性C/C++编码要求

2.1 介绍C语言编程准则的发展和编码安全性子集的内涵

2.2 针对违背编程准则的后果进行实验演示

     2.2.1 禁止对浮点数进行是否相等的比较

     2.2.2 以函数形式定义的宏，参数和结果必须用括号括起来

     2.2.3 禁止在sizeof中使用赋值

     2.2.4 逻辑判别表达式中的运算项必须要使用括号

    2.2.5 谨慎做整型量除以整型变量的除法

    2.2.6 引起二义性理解的逻辑表达式，必须使用括号显式说明优先级顺序

    2.2.7 禁止无符号数与有符号数之间的直接比较

    2.2.8 除法运算中禁止被零除

    2.2.9 禁止使用或释放未分配空间或已被释放的指针

2.3 重点讲解GJB 8114中的35条编程准则及相关典型案例

五、培训费用及注意事宜：

1. 培训费：3890元/人(含培训费、午餐费、讲义资料费、证书费)。

2. 线上企业版收费标准: 28900元/单位。（不限听课人数，线上课程只招收团体 ）

3. 以上费用不含食宿，培训期间食宿统一安排，费用自理。

4. 培训会务工作由北京中际赛威文化发展有限公司组织， 并为学员出具正式发票。

六、课程咨询：010-64113137