基于软件产品线模型的安全苛求系统功能安全分析 

产品线的应用提高了生产率,降低了生产成本,缩短了产品投放市场的时间。产品线工程的关键是有计划的,可以实现的复用。产品线的共性和可变性研究用以鉴别产品线中可复用的工件,然而,复用为产品线中安全关键系统的功能安全提出了挑战。目前产品线建模技术没有考虑其功能安全,而基于安全标准的功能安全分析只针对单个产品的特定功能,不适用于...
华东理工大学  硕士论文  2014年 下载次数(158)| 被引次数(2)

模型驱动开发在安全苛求系统中的应用 

主要探讨了安全苛求系统在新需求下,如何在提高软件功能安全性的同时保证软件的质量和可信性。首先分析了在典型领域内安全苛求系统开发的标准流程,然后提出了基于模型驱动开发(MDD)SCADE(安全苛求应用开发环境)工具的开发流程。目的是规范和指导领域内安全苛求系统中的MDD开发,最终可以实现降低软件开发成本、提高软件交付质量...
《城市轨道交通研究》  2016年 第S2期 下载次数(38)| 被引次数(2)

安全苛求系统下的嵌入式C语言程序调试技巧 

介绍安全苛求系统下的嵌入式C语言程序调试的技巧。总结安全苛求系统的编码和程序调试工作中的嵌入式C语言调试经验,介绍正式代码调试之前的3件准备工作,代码调试的 版本升级比较法 ,打印添加技巧以及其它调试技巧和经验。
《铁路计算机应用》  2014年 第06期 下载次数(46)| 被引次数(6)

基于XML的安全苛求系统测试脚本生成 

针对安全苛求系统(SCS)自动化测试中测试脚本规模大、结构复杂、难维护以及安全性测试需求的特点,提出一种基于XML的测试脚本自动生成方法。将XML作为测试脚本语言,使用SED模式设计SCS测试场景,采用FSM对SCS运营场景建模,设计一系列转换生成算法自动生成XML测试脚本,实现了SCS测试脚本自动化生成和验证,并成功...
《计算机应用》  2011年 第01期 下载次数(140)| 被引次数(6)

安全苛求系统综合功能危险源分析方法的研究 

基于经典方法改进的安全分析方法—综合功能危险源分析(IFHA),综合了功能故障分析(FHA)、故障模式及影响分析(FMEA)、瞬时故障和可操作性研究(HAZOP)以及故障树分析(FTA)的分析原理,通过不同分析阶段结果的关联以及统一的故障树表示,保证系统分析全过程的一致性,克服了分别使用经典分析方法所出现的问题以及矛盾...
《铁路计算机应用》  2011年 第07期 下载次数(130)| 被引次数(8)

基于模糊逻辑的安全苛求系统失效模式与影响分析研究 

针对传统RPN(风险优先数)方法在安全苛求系统FEMA(失效模式与影响分析)过程中的不足,提出一种基于FRPN(模糊风险优先数)的新方案,即运用模糊逻辑理论进行定量的FMEA。通过运用模糊加权几何平均计算失效模式的FRPN,据此对失效模式的风险程度排序,寻找影响系统安全性的主要因素,并将其作为改善对象。最后将该方法应用...
《计算机应用与软件》  2011年 第12期 下载次数(123)| 被引次数(4)

基于改进DFTA的安全苛求系统可靠性分析 

针对传统可靠性分析方法容易忽视冗余多态性、可修复性等安全苛求系统特性问题,在形式化的系统可靠性建模中引入可修复因子,提出一种模块化动态故障树分析方法。在动态和静态相结合的模块化定量分析过程中,利用马尔可夫模型和顶事件发生概率逼近算法,有效避免动态故障树分析过程中的状态组合爆炸问题,提高安全苛求系统可靠性分析的可行性和实...
《计算机工程》  2009年 第15期 下载次数(159)| 被引次数(10)

安全苛求系统的交叉验收框架 

交叉验收是一个涉及技术和法律的工作,其目的是在新项目中能够尽快地应用类似的产品、系统和方法(PSP)。交叉验收的PSP首先要求在原始的应用中能够满足可靠性、安全性和环境要求。PSP目标和原始的应用应具有很好的相似性,因此,不需要很大的改动,在技术上和经济上可行性会很强。当然,交叉验收从根本上来说和PSP的安全性和适用性...
《中国安全科学学报》  2005年 第03期 下载次数(67)| 被引次数(1)

安全苛求系统的形式化开发方法 

从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛求系统的形式化开发模型(FDM),给出了具体的应用实例.
《北方交通大学学报》  2002年 第06期 下载次数(218)| 被引次数(15)

一种用于安全苛求系统软件升级的校验方法 

本发明公开了一种用于安全苛求系统软件升级的校验方法,包括:从硬件层面拓展至少一个新增计算单元;在冗余单元中的既有计算单元加载既有软件,在新增计算单元加载待升级软件;各既有计算单元和新增计算单元基于相同输入进行计算;根据各既有计算单元的运算结果决定实际输出;将新增计算单元的运算结果与各既有计算单元的的运算结果或由各运算结...
上海电气泰雷兹交通自动化系统有限公司  中国专利  2019年 下载次数(0)| 被引次数(0)

一种用于安全苛求系统软件升级的校验方法 

本发明公开了一种用于安全苛求系统软件升级的校验方法,包括:从硬件层面拓展至少一个新增计算单元;在冗余单元中的既有计算单元加载既有软件,在新增计算单元加载待升级软件;各既有计算单元和新增计算单元基于相同输入进行计算;根据各既有计算单元的运算结果决定实际输出;将新增计算单元的运算结果与各既有计算单元的的运算结果或由各运算结...
上海电气泰雷兹交通自动化系统有限公司  中国专利  2019年 下载次数(0)| 被引次数(0)

安全苛求系统时间确定性实现方法 

本发明实施例提供了一种安全苛求系统时间确定性实现方法。该方法主要包括:基础时钟、基本时钟和任务时钟从逻辑上依次由低到高分配给安全苛求系统的不同层次,每一层次硬件中的电子器件使用各自独立运行的本地时钟;若干个基础时钟周期构成一个基本时钟周期,若干个基本时钟周期构成一个任务微周期时钟周期,若干个任务微周期时钟周期构成一个任...
北京交通大学  中国专利  2019年 下载次数(0)| 被引次数(0)

安全苛求系统时间确定性实现方法 

本发明实施例提供了一种安全苛求系统时间确定性实现方法。该方法主要包括:基础时钟、基本时钟和任务时钟从逻辑上依次由低到高分配给安全苛求系统的不同层次,每一层次硬件中的电子器件使用各自独立运行的本地时钟;若干个基础时钟周期构成一个基本时钟周期,若干个基本时钟周期构成一个任务微周期时钟周期,若干个任务微周期时钟周期构成一个任...
北京交通大学  中国专利  2018年 下载次数(0)| 被引次数(0)

基于COTS部件构成的安全苛求系统进行故障注入测试的方法 

本发明实施例提供了一种基于COTS部件构成的安全苛求系统进行故障注入测试的方法。该方法包括:将构成安全苛求系统的COTS部件,按故障注入所需分类;对于分类使用的COTS部件采用对应的方式解除安全苛求系统实现时所设置的EMC保护措施;根据COTS部件使用的实际情况选择故障注入界面,确定各故障注入界面的故障注入点;针对不同...
北京交通大学  中国专利  2018年 下载次数(0)| 被引次数(0)

基于扩展UML模型的安全苛求系统的故障树生成方法 

本发明提供了一种基于扩展UML模型的安全苛求系统的故障树生成方法。该方法包括构造安全苛求系统的扩展UML模型;从所述扩展UML模型中提取安全苛求系统的结构关系信息,所述结构关系信息包括类图中的关联关系和基数信息;基于所述结构关系信息使用故障树生成算法生成所述安全苛求系统的动态故障树。本发明针对标准UML方法对系统安全方...
北京交通大学  中国专利  2018年 下载次数(0)| 被引次数(0)

共找到相关记录21条12下一页