基于SCADE的核反应堆保护系统嵌入式软件设计

发布时间：2021-01-15 02:46

　　本文研究了一种核反应堆保护系统（RPS）嵌入式保护软件设计方法，即利用高安全性应用程序的开发环境SCADE（Safety-Critical Application DevelopmentEnvironment）开发RPS的嵌入式保护软件的方法。本文按照SCADE开发嵌入式软件的设计流程，依据HAD102/16规定的软件生命周期，通过软件需求阶段的工艺需求分析、保护软件需求分析和逻辑处理模块需求分析，软件设计阶段的逻辑处理模块设计和保护软件设计，软件实现阶段的逻辑处理模块实现和保护软件实现，通过SCADE自动生成可直接面向工程的高安全性嵌入式保护软件。同时，在SCADE开发环境中，对逻辑处理模块完成了MC/DC覆盖率分析、安全性验证，在PC机平台中，对逻辑处理模块SCADE生成代码在Matlab Simulink中进行了功能验证测试，提出了不受硬件限制的嵌入式软件功能测试的新方法，并有效地验证了该方法的可行性。本文说明在SCADE下实现了RPS保护软件开发的自动化，减少了软件开发成本、加快了开发时间进度，且最终生成的代码具有高安全性特征，满足了RPS嵌入式保护软件的开发要求，验证了SCA... 

【文章来源】：西安电子科技大学陕西省 211工程院校 教育部直属院校

【文章页数】：68 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
第一章 绪论
    1.1 引言
    1.2 开发平台
    1.3 运行平台
    1.4 软件生命周期
    1.5 论文结构
第二章 需求分析
    2.1 工艺需求分析
        2.1.1 压水堆简介
        2.1.2 工艺需求分析
    2.2 保护软件需求分析
        2.2.1 功率量程保护功能
        2.2.2 稳压器压力低保护功能
    2.3 逻辑处理模块需求分析
第三章 软件设计及实现
    3.1 逻辑处理模块设计及实现
        3.1.1 逻辑处理模块设计
        3.1.2 逻辑处理模块实现
    3.2 保护软件设计及实现
        3.2.1 保护软件设计
        3.2.2 保护软件实现
第四章 软件验证测试与分析
    4.1 MC/DC覆盖率分析
    4.2 安全性验证
    4.3 验证测试与分析
第五章 总结与展望
    5.1 总结
    5.2 存在的问题及展望
致谢
参考文献
附录 MC/DC覆盖率分析TCL脚本


【参考文献】：
期刊论文
[1]SCADE平台下的图形化设计和代码自动生成[J]. 章晓春,金平,孙全艳.  软件. 2011(05)
[2]基于SCADE的列车调度软件设计[J]. 高博文.  铁道通信信号. 2010(08)
[3]基于SCADE实现的三余度飞控计算机系统任务同步[J]. 吴成富,王睿,陈怀民,段晓军.  航空计算技术. 2009(01)
[4]基于模型的软件开发技术在型号软件研制中的应用[J]. 张杰,宋志刚.  科学技术与工程. 2008(15)
[5]基于SCADE的无人机自主导航飞行软件设计[J]. 张合军,陈欣.  计算机测量与控制. 2007(10)
[6]SCADE平台下C代码的自动生成[J]. 颜雯清,李秀娟.  计算机仿真. 2007(10)
[7]SCADE在弹载软件建模中的应用[J]. 邓志云,宋志刚,马金梭.  航空兵器. 2007(03)
[8]三余度信号表决系统在SADE下的设计与实现[J]. 林成文,吴成富,陈怀民,段晓军.  科学技术与工程. 2007(09)
[9]基于SCADE的无人机三余度飞控系统设计及实现[J]. 王群伟,吴成富,陈怀民,徐克.  测控技术. 2007(04)
[10]基于SCADE的PID控制器设计与应用[J]. 谢辉峰,陈欣,欧干良.  计算机仿真. 2006(10)

硕士论文
[1]基于PVS对SCADE开发轨交控制系统的形式化建模与验证[D]. 周佳铭.华东师范大学 2011
[2]SCADE在无人机飞行控制软件设计中的应用[D]. 程黎.西安电子科技大学 2011
[3]无人机余度飞行控制软件设计与研究[D]. 刘路.南京航空航天大学 2011
[4]基于SCADE的CBTC区域控制器软件开发[D]. 张路.北京交通大学 2010
[5]基于SCADE的无人机飞行控制系统软件设计[D]. 王鑫.南京航空航天大学 2008
[6]机载软件图形化设计与自动代码生成研究[D]. 林成文.西北工业大学 2007
[7]基于SCADE的无人机飞行控制系统软件设计[D]. 张合军.南京航空航天大学 2007



本文编号：2978065