文档介绍：中国电子电器可靠性工程协会关于举办“嵌入式软件可靠性设计”专题讲座邀请函各有关单位:嵌入式软件既是电子系统核心,也是硬件系统有效补充,需要具备防错、判错、纠错、容错功能,具备了这些功能,就能保证系统可靠性要求在软件分系统设计中实现。但是软件可靠性又不同于硬件电路,它不会随时间推移而降低,并且其可靠性保障全部在设计过程中实现。因此软件工程工作也是软件可靠性所要关注内容。为此,中国电子电器可靠性工程协会决定组织召开《嵌入式软件可靠性设计》讲座,本讲座主要从嵌入式软件系统设计、需求剖析、接口、模块、变量控制、软件测试、安全性剖析、硬件匹配设计等设计规范进行总结与剖析,深层次剖析嵌入式软件可靠性设计技巧。现具体事宜通知如下:一、课程提纲::、一般要求;、硬件与软件功能分配原则;、硬件与软件可靠性指标分配原则;、安全关键功能人工确认;、安全性内核;、自动记录系统故障;、禁止回避检测出不安全状态;、保密性设计;、:、硬件选用;、总线检测;、加电检测;、电源失效安全措施;、主控计算机失效安全措施;、、电磁干扰防护措施;、:、指令冗余设计;、软件陷阱与软件拦截技术;、:、硬件接口要求;、硬件接口软件设计;、人机界面设计;、报警设计;、:、电源失效防护;、加电检测;、电磁干扰;、系统不稳定;、、、错误操作;、、异常保护设计10. 简化设计准则:、单入与单出;、模块独立性;、模块扇入扇出;、模块耦合方式;、模块内聚顺方式;、:、、时序安排余量要求12. 数据要求:、数据需求;、属性控制;、数值运算范围控制;、合理性检查13. 防错程序设计准则:、参数化;、公用数据与公共变量;、标志;、文件;、、无意指令跳转处理;、、寻址模式选用;、数据区隔离;、安全关键信息要求;、信息存储要求;、算法选择要求14. 编程要求:、语言要求;、、高级语言编程限制;、圈复杂度指数(McCabe)、软件单元规模;、命名要求;、程序格式要求;、程序注释要求与方法;、、模块头注释要求;、模块内注释要求;、安全关键内容注释要求;;、通用类;、结构类;、说明类;、输人输出类;、语言类15. 多余物处理:、文档中未记载特征清除;、程序多余物清除;、未使用