教育论文网

基于形式化方法的系统需求建模与安全性分析研究

硕士博士毕业论文站内搜索    
分类1:教育论文网→工业技术论文→自动化技术、计算机技术论文计算技术、计算机技术论文一般性问题论文安全保密论文
分类2:教育论文网→航空航天论文→航空论文航空仪表、航空设备、飞行控制与导航论文电子设备论文
基于形式化方法的系统需求建模与安全性分析研究
论文目录
 
摘要第1-5页
abstract第5-6页
缩略词第13-14页
第一章 绪论第14-22页
    1.1 研究背景第14-16页
    1.2 研究现状第16-19页
    1.3 研究意义第19页
    1.4 论文的研究内容第19-22页
第二章 背景知识第22-28页
    2.1 形式化方法第22-23页
    2.2 基于模型的系统安全性分析方法第23-24页
    2.3 MBSA方法中的关键技术第24-27页
        2.3.1 形式化建模与验证第24-25页
        2.3.2 基于MBSA的故障分析第25-27页
    2.4 本章小结第27-28页
第三章 安全关键系统需求建模与分析框架第28-43页
    3.1 基于SCR与 NuSMV的需求验证框架第28-29页
    3.2 四变量模型与SCR需求建模第29-33页
        3.2.1 四变量模型第29-30页
        3.2.2 SCR建模第30-33页
    3.3 基于模型检测的形式化验证方法第33-37页
        3.3.1 模型检测第33-35页
        3.3.2 NuSMV建模第35-37页
    3.4 从SCR到 NuSMV的模型转换第37-42页
        3.4.1 类型的转换第37-39页
        3.4.2 变量的转换第39页
        3.4.3 时态的对应第39-40页
        3.4.4 模式的转换第40-41页
        3.4.5 项的转换第41-42页
    3.5 本章小结第42-43页
第四章 系统模型的故障扩展与安全性分析第43-53页
    4.1 基于MBSA的安全性分析第43-44页
    4.2 系统故障行为扩展建模第44-47页
        4.2.1 故障注入机制第44-45页
        4.2.2 故障模式与模型扩展第45-47页
    4.3 扩展模型的形式化分析第47-52页
        4.3.1 基于NuSMV的形式化分析第47-48页
        4.3.2 故障分析方法第48-50页
        4.3.3 IMA分区管理的实例第50-52页
    4.4 本章小结第52-53页
第五章 飞行引导系统的需求建模第53-72页
    5.1 实例系统概述第53-60页
        5.1.1 自动飞行控制系统概述第53-54页
        5.1.2 飞行引导系统第54-60页
    5.2 构建系统的需求模型第60-69页
        5.2.1 四变量建模分析第61-63页
        5.2.2 SCR建模与验证第63-69页
    5.3 NuSMV模型的形式化生成第69-71页
    5.4 本章小结第71-72页
第六章 飞行引导系统的安全性分析与验证第72-84页
    6.1 验证功能模型第72-75页
        6.1.1 需求性质的形式化描述第72-73页
        6.1.2 系统功能属性验证第73-75页
    6.2 故障扩展建模与分析第75-81页
        6.2.1 故障行为设计第75-77页
        6.2.2 故障注入与不动点设计第77-78页
        6.2.3 故障模式第78-80页
        6.2.4 模型扩展第80-81页
    6.3 故障分析及实验结果第81-83页
        6.3.1 生成故障树第81-82页
        6.3.2 生成FMEA表第82-83页
    6.4 本章小结第83-84页
第七章 总结与展望第84-86页
    7.1 研究总结第84-85页
    7.2 未来工作展望第85-86页
参考文献第86-91页
致谢第91-92页
在学期间的研究成果及发表的学术论文第92页

本篇论文共92页,点击这进入下载页面
 
更多论文
基于形式化方法的系统需求建模与安
移动对象轨迹隐私保护方法研究
多障碍物环境下基于无人机的移动目
多属性移动对象存储和查询
S-PIN固态等离子体频率可重构芯片天
基于惯性/GNSS/UWB信息融合的小型无
高压开关型脉冲静电除尘电源技术研
欺骗式攻击下GNSS信号参数估计算法
基于UWB与惯性技术的室内定位方法研
面向SIKE有限域模乘的算法优化与硬
色噪声背景下基于稀疏重构的Off-Gr
基于TMS320C6678多核DSP的LTE无线网
面向特种应用的可穿戴式导航系统关
面向热量与拥塞控制的三维片上网络
嵌套阵下的DOA估计算法研究
高性能JPEG编解码系统的研究与设计
融合地图测绘与图像导航的车辆高精
基于激光雷达的飞机大型构件测量站
基于软件接收机的GNSS多策略欺骗方
基于准周期序列的阵列天线研究
超表面全息天线在电波混响室中的应
基于Plücker坐标的影像点云与LiDA
基于卡尔曼滤波的压缩感知ISAR成像
分布式天线系统中基于无线携能通信
多载波雷达探测系统的目标距离信息
适用于非合作照射源的无源分布式孔
协作空间调制系统中自适应功率分配
基于外差式体系结构的回复式反射微
基于微波光子去斜接收的高分辨雷达
基片集成波导缝隙阵列天线研究
基于多频光本振的微波光子宽带射频
视频SAR成像处理算法及其FPGA实现
捷变频相参雷达旁瓣抑制研究
近地大气环境下太赫兹无线通信信道
基于FPGA的星载SAR成像信号处理技术
MIMO极化编码协作系统的研究及半平
钻削刀具状态监测技术的研究
群集性无线局域网技术研究
宽带多极化微带缝隙天线研究
基于星载GNSS的低轨卫星定轨方法研
复杂运动目标ISAR成像处理关键技术
雷达探测系统的互信息量研究
基于择多逻辑的算术运算单元设计
光电混合片上网络热稳定性控制方法
超大规模集成电路的单粒子效应预估
基于电网高电位在线监测设备的激光
太赫兹矩形波导微腔体电化学加工技
基于激光扫描的结构件测量轨迹规划
同步和异步双波长锁模掺镱光纤激光
矢量光场的调控及其在表面加工中的
超表面在电波混响室中的应用研究
基于激光扫描的飞机蒙皮修配特征提
硅晶体放电加工伺服控制系统及闭环
半导体材料电火花多线切割多物理场
色温可调LED用荧光膜设计与光仿真分
仿生微孔髋关节假体结构建模技术研
股骨假体宏微一体化结构建模及优化
α-(Nb_(1-x)Ag_x)_5Si_3的第一性
可降解ZnMgY合金力学性能及体外降解
羟基磷灰石骨支架DLP成形工艺试验研
n-HA/CPP复合水凝胶的制备及其在骨
3D打印多孔结构钛基植入体表面改性
基于ASL序列的飞行员模拟失重状态脑
医用X射线的MC模拟及防护材料的优化
甲氟喹联合X射线对胶质瘤细胞的杀伤
基于复杂度分析的脑胶质瘤患者认知
不同年龄段儿童原发性EB病毒感染的
不同雌激素剂量对中重度宫腔粘连术
男性不育患者适用心理量表的比较研
益生菌制剂对去卵巢骨质疏松SD大鼠
 
安全关键性系统论文 SCR论文 NuSMV论文 模型转换论文 模型扩展论文 MBSA论文 故障树分析论文 FMEA论文
版权申明:目录由用户hexiaoh**提供,www.51papers.com仅收录目录,作者需要删除这篇论文目录请点击这里
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved