首页--航空、航天论文--航空论文--航空仪表、航空设备、飞行控制与导航论文--电子设备论文

基于STAMP理论的IMA安全性分析方法研究

摘要第4-5页
abstract第5页
第一章 绪论第13-19页
    1.1 课题研究背景第13-16页
    1.2 国内外研究现状第16-17页
    1.3 主要研究内容第17页
    1.4 论文组织结构第17-19页
第二章 相关基础知识第19-30页
    2.1 综合模块化航空电子系统第19-20页
        2.1.1 IMA体系架构第19-20页
        2.1.2 IMA系统架构特征第20页
    2.2 ARP4761安全评估过程第20-23页
        2.2.1 功能危害性评估第21-22页
        2.2.2 初步系统安全性评估第22页
        2.2.3 系统安全性评估第22-23页
    2.3 基于系统理论事故模型的危害分析方法第23-26页
        2.3.1 STAMP模型第23-25页
        2.3.2 STPA方法第25-26页
    2.4 系统需求分析验证方法第26-29页
        2.4.1 四变量模型第26-27页
        2.4.2 SCR方法第27-29页
    2.5 本章小结第29-30页
第三章 IMA安全分析方法研究第30-41页
    3.1 安全性分析方法比较第30-31页
    3.2 IMA系统安全分析验证框架第31页
    3.3 STAMP模型构建方法第31-38页
        3.3.1 构建分层控制结构第31-33页
        3.3.2 使用OCL描述过程模型第33-34页
        3.3.3 利用UML状态图描述控制算法第34-35页
        3.3.4 控制模型的定义第35-38页
    3.4 面向需求的四变量模型第38-40页
    3.5 本章小结第40-41页
第四章 IMA系统实例分析第41-58页
    4.1 识别潜在的危险控制第41-47页
        4.1.1 确定系统级危险第41-42页
        4.1.2 构建分层控制结构第42-45页
        4.1.3 构建控制回路第45-46页
        4.1.4 辨识不安全控制行为第46-47页
    4.2 危害场景分析第47-53页
        4.2.1 过程模型第47-49页
        4.2.2 控制算法第49-50页
        4.2.3 辨识出危害场景第50-51页
        4.2.4 提取安全需求第51-53页
    4.3 控制缺陷分析第53-57页
    4.4 本章小结第57-58页
第五章 基于四变量模型的需求验证第58-62页
    5.1 四变量模型设计第58页
    5.2 SCR表设计第58-61页
    5.3 模型验证第61页
    5.4 本章小结第61-62页
第六章 总结与展望第62-64页
    6.1 总结第62页
    6.2 展望第62-64页
参考文献第64-68页
致谢第68-69页
学期间的科研成果及发表的学术论文第69页

论文共69页,点击 下载论文
上一篇:基于系统原理和多信号流的飞机系统测试诊断方法研究
下一篇:上海两场航班时刻优化研究