• 参会报名
  • 会议通知
  • 会议日程
  • 会议嘉宾
  • 会议门票

嵌入式可靠性设计技术高级研修班
收藏人
分享到

嵌入式可靠性设计技术高级研修班已过期

发票类型:增值税普通发票 增值税专用发票

        会议通知


        会议日程

        (最终日程以会议现场为准)


        (一)软件安全性的正确认识
        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)测试活动分析的案

        会议嘉宾

        (最终出席嘉宾以会议现场为准)


        会议门票


        会议场地:

        • 会员折扣
          该会议支持会员折扣
          具体折扣标准请参见plus会员页面
        • 会员返积分
          每消费1元累积1个会员积分。
          仅PC站支持。
        • 会员积分抵现
          根据会员等级的不同,每抵用1元可使用的积分也不一样,具体可参见PLUS会员页面。 仅PC站支持。

        主办方没有公开参会单位

        录入信息

        Baidu
        map