求知 文章 文库 Lib 视频 iPerson 课程 认证 咨询 工具 讲座 Model Center   Code  
会员   
 
 
 
开班计划 | 技术学院 | 管理学院 | 嵌入式学院 | 机械 | 军工学院 | 定向培养 | 专家指导 | 角色培养  
 电话 English
成功案例   品质保证
 
成功案例
某整车企 《功能需求分析与设
某通信设 产品需求分析与管理
南方电网 需求分析师能力培养
航天信息 需求分析与管理最佳
某大型央 从需求过渡到设计
徕卡医疗 嵌入式系统需求分析
科大讯飞 需求分析与管理

需求管理平台-iwork 
 
全部课程 >需求管理  
面向安全关键软件的需求分析与验证技术
1884 次浏览  53 次
王老师
北京航空航天大学博士,美国德克萨斯大学达拉斯分校访问学者,副教授。
 
地点时间: 北京、上海、 深圳根据报名开课
课程费用: 5000元/人
报公开课  
企业内训:可以根据企业需求,定制内训,详见 内训学习手册


认证方式:
培训前了解能力模型。
培训后进行能力评测:
  • 在线考试
  • 能力分析,给出学习建议
  • 合格者颁发证书,作为职业技能资格证明


    安全关键软件是目前装备中应用最为广泛的一类软件系统。强调安全性与可靠性的融合是安全关键系统软件的最显著的特征,由于软件需求在软件生命周期中的重要作用,所以需求阶段的分析和验证对于安全关键软件的质量尤为重要。本课程从安全关键系统/软件的基本概念出发,引出软件安全性工程和软件需求工程的相关知识,重点介绍了软件需求阶段的分析和验证技术,包括针对安全性与可靠性的功能危险分析和失效模式及影响分析两种分析技术以及要求更为严格的模型检验技术,最后对测试验证技术进行了详细的介绍。
    培训目标:

    针对工程人员进行安全相关的需求分析与验证相关知识讲解,
    让学员了解安全关键软件系统的基本特征以及需求分析与验证方法。
    培训对象: 软件可靠性分析人员
    学员基础:
    (1) 掌握软件需求的基本概念。
    (2) 了解和熟悉至少一类安全关键软件。
    (3)了解软件测试与软件验证的关系。
    (4)了解软件安全性与可靠性的基本概念。
    (5)初步了解软件工程常用研究方法
    授课方式: 定制课程 + 案例讲解 + 小组讨论,60%案例讲解,40%实践演练
    培训内容:2天

    安全关键软件系统概述 1.1 什么是安全关键软件
    1.1.1 安全关键系统
    1.1.2 安全关键软件
    1.2 软件安全性概述
    1.2.1 软件的安全与可靠
    1.2.2 软件安全性工程
    1.3 软件需求工程概述
    1.3.1 软件的需求
    1.3.2 安全关键软件的需求
    安全关键软件的需求分析技术
    1 软件需求工程过程
    2.1.1 需求的获取
    2.1.2 需求的分析
    2.1.3 需求的验证与表达
    2.2 软件需求的安全性分析
    2.2.1 需求级别的FHA分析
    2.2.2 软件需求的FMECA分析
    2.3其他分析方法介绍
    安全关键软件的需求验证技术 3.1 基于需求的测试验证
    3.1.1 基于需求的测试过程
    3.1.2 基于模型的安全关键软件系统测试(案例+实验+讨论)
    3.2 安全关键软件的模型检验技术
    3.2.1 系统需求的建模过程;
    3.2.2 系统需求的安全约束表达;
    3.2.3 模型检验;
    3.3 安全关键软件需求的分析与验证综合讨论
       
    1884 次浏览  53 次
    其他人还看了课程
    互联网敏捷需求管理  1686 次浏览
    需求分析师-认证  31167 次浏览
    基于业务平台的需求分析  3730 次浏览
    非功能需求分析与管理  5577 次浏览
    敏捷需求原理与实践(迭代开发者的指南)  4355 次浏览
    基于用例的需求分析与管理  2471 次浏览
    定制内训


    咨询服务:需求分析与管理
    咨询目标 帮助客户建立需求分析方法,需求管理流程与工具
    咨询范围 需求工作流程,需求文档模板,需求评价标准,需求管理工具,需求分析技能。
    咨询方式 需求工作现状调研,建立需求分析与管理体系,搭建需求管理工具,结合实际项目示范,建立需求复用资源库。
    成功案例 中兴嘉盛,帕吉特石油,安泰人寿,亮点时间等等
    详情咨询:010-62670969, zhgx@uml.net.cn
    课程计划
    数据建模方法与工具 12-3[北京]
    基于模型系统仿真与验证 12-14 [讲座]
    白盒测试技术与工具实践 12-24[线上]
    LLM大模型应用与项目构建 12-26[特惠]
    UML和EA进行系统分析设计 12-20[线上]
    SysML建模专家 1-16[北京]