深圳41920武晔卿《嵌入式软件可靠性设计》.docVIP

深圳41920武晔卿《嵌入式软件可靠性设计》.doc

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
深圳41920武晔卿《嵌入式软件可靠性设计》

PAGE  欢迎咨询时代光华2014年名师大讲堂公开课安排表、内训、视频(移动商学院和E-learning等培训项目! 真诚创造成功! 欢迎咨询时代光华2012年名师大讲堂公开课安排表、内训、视频(移动商学院和E-learning等培训项目! 举办单位:北京时代光华教育集团 广州中智光华 课程费用:2800元/人/两天,凡购买学习卡会员企业凭6张学习门票入场。(午餐学员自理) 课程日期:2014年4月19-20日(周六-周日9:00-16:30) 席位有限,报满即止。 授课地点:中国 广州(外地学员可以代订住宿,标准自选) 培训形式:激情讲述、充分互动、案例分享、操作指导! 联系方式:张艳萍 020 296945088@ 培训对象:电子工程师、软件工程师、系统工程师、可靠性工程师、测试工程师、项目经理等 温馨提示:本课程可根据企业需求定制1-2天内训,欢迎来电咨询! 嵌入式软件既是电子系统的核心,也是硬件系统的有效补充,需要具备防错、判错、纠错、容错的功能,具备了这些功能,就能保证系统可靠性要求在软件分系统设计中的实现。 但是软件可靠性又不同于硬件电路,它不会随时间的推移而降低,并且其可靠性保障全部在设计过程中实现。因此软件工程的工作也是软件可靠性所要关注的内容。 本课程从嵌入式软件的系统设计、需求分析、接口、模块、变量控制、软件测试、安全性分析、硬件匹配设计等设计规范进行了总结和分析。 概述和定义 二、计算机系统设计准则 1、一般要求 2、硬件与软件功能的分配原则 3、硬件与软件可靠性指标的分配原则 4、安全关键功能的人工确认 5、安全性内核 6、自动记录系统故障 7、禁止回避检测出的不安全状态 8、保密性设计 容错设计 三、硬件设计 1、硬件选用 2、总线检测 3、加电检测 4、电源失效的安全措施 5、主控计算机失效的安全措施 6、反馈回路传感器失效的防护措施 7、电磁干扰的防护措施 维修互锁措施 软件需求分析 软件危险分析 安全关键功能设计 七、冗余设计准则 1、指令冗余设计 2、软件陷阱与软件拦截技术 软件冗余 八、接口设计准则 1、硬件接口要求 2、硬件接口的软件设计 3、人机界面设计 4、报警设计 5、软件接口设计 九、软件健壮性设计准则 1、电源失效防护 2、加电检测 3、电磁干扰 4、系统不稳定 5、接口故 6、干扰信号 7、错误操作 8、监控定时器的设计 异常保护设计 十、简化设计准则 1、单入和单出 2、模块的独立性 3、模块的扇入扇出 4、模块耦合方式 5、模块内聚顺方式 其他特殊考虑 十一、余量设计 1、资源分配及余量要求 时序安排的余量要求 十二、数据要求 1、数据需求 2、属性控制 3、数值运算范围控制 合理性检查 十三、防错程序设计准则 1、参数化 2、公用数据和公共变量 3、标志 4、文件 5、非授权存取的限制 6、无意指令跳转的处理 7、程序检测点的设置 8、寻址模式的选用 9、数据区隔离 10、安全关键信息的要求 11、信息存储要求 算法选择要求 十四、编程要求 1、语言要求 2、汇编语言编程限制 3、高级语言的编程限制 4、圈复杂度指数(McCabe) 5、软件单元的规模 6、命名要求 7、程序格式要求 8、程序注释要求与方法 (1)、注释的一般要求 (2)、模块头注释要求 (3)、模块内注释要求 (4)、安全关键内容注释要求 9程序设计风格 (1)、通用类 (2)、结构类 (3)、说明类 (4)、输人输出类 (5)、语言类 十五、多余物的处理 1、文档中未记载特征的清除 2、程序多余物的清除 3、未使用内存的处理 覆盖的处理 十六、版式 十七、注释 十八、命名 十九、可读性 二十、变量、结构 二十一、函数、过程 二十二、可测性与软件测试 1、需求遗漏或不明确 2、配置保存的生效 3、缺省配置的影响 4、报警和清除 5、菜单选项测试 6、缺省配置测试 7、系统测试注意事项 二十三、程序效率 二十四、质量保证 二十五、代码编辑、编译、审查 二十六、代码测试、维护 二十七、宏 二十八、可使用性要求 二十九、报警要求 武晔卿—原航天二院总体设计所主任设计师 北京时代光华教育集团特聘讲师 广州中智光华电子技术类课程特聘讲师 电子工程硕士,专长于电子产品系统可靠性设计与测试技术,长期从事EMC理论与设计研究,具备丰富的EMC实践和工程经验,拥有多项EMC设计技术专利。曾任航天二院总体设计所主任设计师、高级项目经理,电子产品制造企业研发总监,北京市级优秀青年工程师,科协委员。中国EMC展会技

文档评论(0)

haihang2017 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档