导读:本文包含了安全苛求系统论文开题报告文献综述及选题提纲参考文献，主要关键词:安全苛求系统,嵌入式系统,C语言,调试技巧
安全苛求系统论文文献综述
董高云,周庭梁[1]（2014）在《安全苛求系统下的嵌入式C语言程序调试技巧》一文中研究指出介绍安全苛求系统下的嵌入式C语言程序调试的技巧。总结安全苛求系统的编码和程序调试工作中的嵌入式C语言调试经验,介绍正式代码调试之前的3件准备工作,代码调试的"版本升级比较法",打印添加技巧以及其它调试技巧和经验。(本文来源于《铁路计算机应用》期刊2014年06期）
张箫笛[2]（2013）在《基于软件产品线模型的安全苛求系统功能安全分析》一文中研究指出产品线的应用提高了生产率,降低了生产成本,缩短了产品投放市场的时间。产品线工程的关键是有计划的,可以实现的复用。产品线的共性和可变性研究用以鉴别产品线中可复用的工件,然而,复用为产品线中安全关键系统的功能安全提出了挑战。目前产品线建模技术没有考虑其功能安全,而基于安全标准的功能安全分析只针对单个产品的特定功能,不适用于整个软件产品线。本文提出将软件产品线模型用于产品线功能安全分析的方法。软件产品线模型包含产品线的共性及可变性信息,这些信息为产品线的功能安全分析提供了依据。本文首先调查了各种产品线建模方法,并对其中具有实现可能的建模方法深入研究。我们选取轮式装载机为研究对象,利用基于特征的建模和基于UML的软件产品线设计方法对该对象产品线建模。最后提出软件产品线建模技术在领域分析中应用的评价规则。对于产品线的功能安全研究,本文首先调查了各种安全分析技术,最终选取故障树分析方法作为主要应用的方法,并对单个系统故障树扩展以用于产品线安全分析。我们将产品线模型与产品线故障树建立联系,基于此提出评价产品线建模技术在安全分析中应用的评价规则。作为基于UML的产品线建模的应用,本文建立嵌入式实时产品线PLUS模型,并将其模型包含的动态信息用于产品线安全分析,从而改进了产品线安全分析。最后我们验证了PLUS过程的有效性,并提出了PLUS模型的改进方法,以使其更适合产品线安全分析。(本文来源于《华东理工大学》期刊2013-12-01）
周荣[3]（2011）在《安全苛求软件测试方法在CTCS-3级列控系统车载设备测试中的应用研究》一文中研究指出摘要：随着计算机科学技术和中国铁路的飞速发展,计算机及软件在轨道交通系统中起着越来越重要的作用。软件的质量直接决定了整个轨道交通系统的质量,软件的故障可能会引发灾难性的后果以及造成无法估计的损失。软件测试能够最大限度地发现软件中的错误并减少软件中残留的隐患,因此,在轨道交通系统中,加强安全苛求软件的测试工作是保证软件安全性的基本途径和有效手段。随着我国高铁的发展,为确保列车可靠、安全地运行,迫切需要装备性能稳定、安全可靠的列控系统。而对于通过引进国外关键技术、消化吸收再创新的国产化CTCS-3级列控系统,由于其起步较晚,专门针对列车控制系统中安全苛求软件测试的研究还很少,所以必须研究适用于CTCS-3级列控系统的测试方法。论文对安全苛求软件的测试方法及其在CTCS-3级列控系统车载设备测试中的应用进行研究。介绍了安全苛求软件测试的模型,包括开发人员的自测试、静态测试、单元测试、集成测试、功能测试、安全性测试,对各个阶段软件测试原理及现行软件测试方法和测试技术进行了研究。作为实际应用的研究,以CTCS-3级列车控制系统的车载ATP软件为例,论文主要做了以下工作：1)在CppUnit的框架上设计出用于开发人员对ATP软件进行自测试的测试工具,编写测试案例对ATP软件部分模块进行测试；2)使用TestBed工具配合人工代码走查完成了ATP软件的静态测试,并对测试结果进行分析；3)完成了ATP软件单元测试、集成测试案例的编写,并使用TestBed工具进行测试,记录测试结果并分析；4)在CTCS-3级列控系统仿真测试环境中,根据功能特征设计测试案例对ATP软件进行功能测试,记录测试结果并分析；5)对ATP软件进行故障树分析,完成安全功能需求的提取,根据安全功能特征编写测试案例,在仿真测试环境中进行安全性功能的测试,记录测试结果并分析。(本文来源于《北京交通大学》期刊2011-12-16）
袁峰,陈邦兴,祝玉军,向侯鹏[4]（2011）在《基于模糊逻辑的安全苛求系统失效模式与影响分析研究》一文中研究指出针对传统RPN(风险优先数)方法在安全苛求系统FEMA(失效模式与影响分析)过程中的不足,提出一种基于FRPN(模糊风险优先数)的新方案,即运用模糊逻辑理论进行定量的FMEA。通过运用模糊加权几何平均计算失效模式的FRPN,据此对失效模式的风险程度排序,寻找影响系统安全性的主要因素,并将其作为改善对象。最后将该方法应用到高速铁路列控系统的FMEA过程中,结果表明,所提出的FRPN方法比传统RPN更加科学严谨,更能紧密联系应用环境,具有较高的科学性和实用价值。(本文来源于《计算机应用与软件》期刊2011年12期）
李雷,王海峰,唐涛[5]（2011）在《安全苛求系统综合功能危险源分析方法的研究》一文中研究指出基于经典方法改进的安全分析方法—综合功能危险源分析(IFHA),综合了功能故障分析(FHA)、故障模式及影响分析(FMEA)、瞬时故障和可操作性研究(HAZOP)以及故障树分析(FTA)的分析原理,通过不同分析阶段结果的关联以及统一的故障树表示,保证系统分析全过程的一致性,克服了分别使用经典分析方法所出现的问题以及矛盾。IFHA应用于CBTC的地面子系统—ZC系统,帮助识别在系统设计阶段ZC软件功能可能出现的危险源,此例既可作为一个案例也可作为继续分析的项目。将ZC系统的软件和硬件结合进行的安全分析将是下一步的分析工作。(本文来源于《铁路计算机应用》期刊2011年07期）
郑长宗[6]（2011）在《安全苛求通信系统的形式化建模及验证》一文中研究指出随着计算机、通信和控制技术的深度融合以及通信技术的飞速发展,通信在铁路信号、航空航天等这些安全苛求的控制领域中起到越来越重要的作用。对高速铁路列车运行控制系统这类安全完整性等级要求极高、且具有大量安全相关通信传输需求的安全苛求控制系统,把安全相关的通信功能独立出来不但可使系统的结构优化、性能提升、有利于系统的研发,更有利于系统的安全性验证工作。而对高铁列控系统这类硬件集成度与软件规模都空前复杂的安全苛求控制系统,采用基于严格数学定义的形式化方法能有效弥补传统性能验证方法的不足。作者在深入分析高铁列控系统的安全苛求性能需求与安全相关通信需求的基础上,成功地实施了一种适用于CTCS-3级列控系统地面设备的计算机安全相关信息通信系统的研发;并从安全苛求通信系统的角度,首次将形式化方法引入高铁列控计算机通信系统的研发工作中,采用可修复动态故障树(RDFTA)方法对系统的多模冗余结构进行了安全性验证、采用有色Petri网(CPN)方法对其安全通信协议进行了安全性验证。论文主要工作如下:1.对应用于安全苛求控制系统领域的形式化方法进行了综述,并针对适用于CTCS-3级列控系统地面设备的安全苛求通信系统的设计方案,分析选取了适用的建模与验证方法:RDFTA方法与CPN方法。2.针对安全苛求通信系统的特点,深入分析了系统的安全苛求与安全相关通信的需求,实施了一种应用于C3列控系统地面设备-临时限速服务器TSRS的安全苛求通信系统TSRS-安全通信机(TSRS-SCM)的设计方案,研制了具有安全结构的系统软、硬件平台,实现了该系统安全相关通信的功能。3.针对TSRS-SCM的多模冗余的安全结构,提出了一种基于修复盒(RB)的可修复动态故障树(RDFT)的建模与分析方法,给出了RB的形式化语义,并采用RDFTA的方法对SCM系统结构及设备上的相关功能平台进行整体建模与安全性分析,得出设备整体的顶事件概率,验证系统安全性。4.针对TSRS-SCM的安全相关通信功能,采用CPN的方法对中国铁路信号安全通信协议RSSP-II进行建模与验证,重点分析了适配及冗余管理层(ALE)与安全应用中间子层(SAI)的部分功能,通过大量仿真得出的结论验证了协议的安全性。(本文来源于《中国铁道科学研究院》期刊2011-06-01）
何欢,徐中伟,喻钢,杨世玉[7]（2011）在《基于XML的安全苛求系统测试脚本生成》一文中研究指出针对安全苛求系统(SCS)自动化测试中测试脚本规模大、结构复杂、难维护以及安全性测试需求的特点,提出一种基于XML的测试脚本自动生成方法。将XML作为测试脚本语言,使用SED模式设计SCS测试场景,采用FSM对SCS运营场景建模,设计一系列转换生成算法自动生成XML测试脚本,实现了SCS测试脚本自动化生成和验证,并成功应用到高速铁路CTCS-2级列车运行控制系统仿真测试中。(本文来源于《计算机应用》期刊2011年01期）
喻钢,徐中伟,杜军威[8]（2010）在《场景—事件驱动的安全苛求软件系统仿真测试脚本语言研究》一文中研究指出脚本技术是实现软件测试自动化技术的有效方法。软件测试脚本化可以降低测试成本,提高测试效率。测试脚本语言是脚本技术的核心,但是目前没有专门针对安全苛求软件测试的脚本语言。因此结合安全苛求软件测试的特点,提出了场景—事件驱动的针对安全苛求软件仿真测试的通用测试脚本语言SED_SCS_STL,对该语言的设计以及在测试环境中的实现机制进行了阐述,并将其应用于高速铁路CTCS-2级车站列控中心的软件仿真测试中。(本文来源于《计算机应用》期刊2010年02期）
吴剑,徐中伟,喻钢,李弋强[9]（2009）在《基于改进DFTA的安全苛求系统可靠性分析》一文中研究指出针对传统可靠性分析方法容易忽视冗余多态性、可修复性等安全苛求系统特性问题,在形式化的系统可靠性建模中引入可修复因子,提出一种模块化动态故障树分析方法。在动态和静态相结合的模块化定量分析过程中,利用马尔可夫模型和顶事件发生概率逼近算法,有效避免动态故障树分析过程中的状态组合爆炸问题,提高安全苛求系统可靠性分析的可行性和实践效率。(本文来源于《计算机工程》期刊2009年15期）
ALI,Hessami,燕飞[10]（2005）在《安全苛求系统的交叉验收框架》一文中研究指出交叉验收是一个涉及技术和法律的工作,其目的是在新项目中能够尽快地应用类似的产品、系统和方法(PSP)。交叉验收的PSP首先要求在原始的应用中能够满足可靠性、安全性和环境要求。PSP目标和原始的应用应具有很好的相似性,因此,不需要很大的改动,在技术上和经济上可行性会很强。当然,交叉验收从根本上来说和PSP的安全性和适用性有关。目前交叉验收缺乏系统的指导和专门的标准,笔者阐述的一个基于风险分析的结构化PSP交叉验收框架包括7个主要原则。该框架基于笔者多年在安全苛求系统和铁路领域开发应用控制风险和安全确信系统框架的经验,采用通行的原则,对于目前还未建立交叉验收系统框架的安全苛求系统尤其适用(本文来源于《中国安全科学学报》期刊2005年03期）
安全苛求系统论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
产品线的应用提高了生产率,降低了生产成本,缩短了产品投放市场的时间。产品线工程的关键是有计划的,可以实现的复用。产品线的共性和可变性研究用以鉴别产品线中可复用的工件,然而,复用为产品线中安全关键系统的功能安全提出了挑战。目前产品线建模技术没有考虑其功能安全,而基于安全标准的功能安全分析只针对单个产品的特定功能,不适用于整个软件产品线。本文提出将软件产品线模型用于产品线功能安全分析的方法。软件产品线模型包含产品线的共性及可变性信息,这些信息为产品线的功能安全分析提供了依据。本文首先调查了各种产品线建模方法,并对其中具有实现可能的建模方法深入研究。我们选取轮式装载机为研究对象,利用基于特征的建模和基于UML的软件产品线设计方法对该对象产品线建模。最后提出软件产品线建模技术在领域分析中应用的评价规则。对于产品线的功能安全研究,本文首先调查了各种安全分析技术,最终选取故障树分析方法作为主要应用的方法,并对单个系统故障树扩展以用于产品线安全分析。我们将产品线模型与产品线故障树建立联系,基于此提出评价产品线建模技术在安全分析中应用的评价规则。作为基于UML的产品线建模的应用,本文建立嵌入式实时产品线PLUS模型,并将其模型包含的动态信息用于产品线安全分析,从而改进了产品线安全分析。最后我们验证了PLUS过程的有效性,并提出了PLUS模型的改进方法,以使其更适合产品线安全分析。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
安全苛求系统论文参考文献
[1].董高云,周庭梁.安全苛求系统下的嵌入式C语言程序调试技巧[J].铁路计算机应用.2014
[2].张箫笛.基于软件产品线模型的安全苛求系统功能安全分析[D].华东理工大学.2013
[3].周荣.安全苛求软件测试方法在CTCS-3级列控系统车载设备测试中的应用研究[D].北京交通大学.2011
[4].袁峰,陈邦兴,祝玉军,向侯鹏.基于模糊逻辑的安全苛求系统失效模式与影响分析研究[J].计算机应用与软件.2011
[5].李雷,王海峰,唐涛.安全苛求系统综合功能危险源分析方法的研究[J].铁路计算机应用.2011
[6].郑长宗.安全苛求通信系统的形式化建模及验证[D].中国铁道科学研究院.2011
[7].何欢,徐中伟,喻钢,杨世玉.基于XML的安全苛求系统测试脚本生成[J].计算机应用.2011
[8].喻钢,徐中伟,杜军威.场景—事件驱动的安全苛求软件系统仿真测试脚本语言研究[J].计算机应用.2010
[9].吴剑,徐中伟,喻钢,李弋强.基于改进DFTA的安全苛求系统可靠性分析[J].计算机工程.2009
[10].ALI,Hessami,燕飞.安全苛求系统的交叉验收框架[J].中国安全科学学报.2005