核电厂安全级仪控设备的商品级软件鉴定初论

对于结构简单、功能单一的安全级数字化仪控设备中所包含的商品级软件,特别是已经完成设计开发的软件,要求软件设计方按照相关标准实施软件的设计开发过程以及验证与确认过程是不现实的。论述了安全级数字化仪控设备中所包含的商品级软件的鉴定方法,重点介绍了IEC标准和EPRI报告中相关的鉴定方法。通过对商品级软件进行安全评价,并完成相关鉴定工作,以补充证明软件在规定条件下执行其预定的安全功能是可行的。这有利于我国的数字化仪控设备厂商开展软件的鉴定工作。     

复杂工程建模和模拟的验证与确认

综述国内外建模和模拟(Modeling and Simulation,MS)的验证与确认(Verification and Validation,VV)的相关概念、术语、规范、置信度评估方法和应用等方面的发展和研究进展,概括MS的VV中的几个关键问题,构建复杂工程MS的VV的知识指南,为MS的VV技术真正走向应用提供参考.     

实时数据处理系统自主闭环测试验证技术研究

本文针对实时数据处理系统人工测试验证模式中存在的效率低下、工作强度高、测试验证不充分等问题,提出了基于偏差模型的测量数据模拟方法,设计了基于经典误差分析方法的测试验证评估模型,构建了实时数据处理系统自主闭环测试验证体系,实现了实时数据处理系统测试验证的自动化.以航天测控实际应用场景开展实验,发现本文所提出的自主闭环测试...     

微观交通仿真中的模型验证技术

模型标定和模型验证是微观交通流仿真建模理论中非常重要的两个方面。人们往往注重前者而忽略后者,或因数据采集困难等原因,注重从宏观角度、而忽略从微观角度进行模型验证,从而导致模型在进一步应用过程中的失效。针对上述情况,文章运用五轮仪实验系统所采获的实际数据,结合了一种基于综合认知结构的车辆跟驰模型的构建过程,从微观角度研究了模型检验和确认的关键技术。研究表明,直观对比和统计推断都是模型验证过程中行之有效的方法。     

某通讯监控系统可靠性分配与验证

本文在探讨各种软件可靠性分析方法的基础上,利用基于软件复杂性因子的分配方法对某通讯监控系统进行了可靠性指标分配与验证,详细介绍了特定系统可靠性分配的一般分析方法与其实现过程,其它类似系统亦可参照使用。     

Error Detection in Concurrent Java Programs

Concurrency in multithreaded programs introduces additional complexity in software verification and testing, and thereby significantly increases the cost of Quality Assurance (QA). We present a case study in which a specialized model checker was used to discover concurrency errors in a large preexisting code base. The results revealed race conditions that lead to data corruption errors whose detection would have been prohibitively expensive with conventional testing and QA methods. We describe our methodology and highlight parts of the methodology that could be automated.     

系统软件可靠性验证测试方法研究

文章提出了一种系统软件的可靠性验证试验测试方法,介绍了软件可靠性度量指标、试验参数的选取原则,详细阐述了系统软件的可靠性验证测试方案的制定方法,同时还给出了系统软件无失效考核交付测试方案的制定方法。     

Using genetic algorithms for early schedulability analysis and stress testing in real-time systems

Reactive real-time systems have to react to external events within time constraints: Triggered tasks must execute within deadlines. It is therefore important for the designers of such systems to analyze the schedulability of tasks during the design process, as well as to test the system's response time to events in an effective manner once it is implemented. This article explores the use of genetic algorithms to provide automated support for both tasks. Our main objective is then to automate, based on the system task architecture, the derivation of test cases that maximize the chances of critical deadline misses within the system; we refer to this testing activity as stress testing. A second objective is to enable an early but realistic analysis of tasks' schedulability at design time. We have developed a specific solution based on genetic algorithms and implemented it in a tool. Case studies were run and results show that the tool (1) is effective at identifying test cases that will likely stress the system to such an extent that some tasks may miss deadlines, (2) can identify situations that were deemed to be schedulable based on standard schedulability analysis but that, nevertheless, exhibit deadline misses.

故障预测与健康管理系统验证与确认方法综述

介绍了故障预测与健康管理验证与确认的研究动机,说明了该方法在整个系统设计中的地位;将验证和确认方法分为三大支撑技术：验证方法与性能评估、原型验证系统和不确定性管理,综述了这三种支撑技术的现有方法,分析比较了各方法的区别和联系,指出了具体的实现途径;点明了故障预测与健康管理系统验证与确认方法要关注的问题,明确了未来的发展趋势。     

作战仿真系统的可信度研究

随着计算机技术和仿真技术在作战领域中的广泛应用,仿真的正确性和可信性成为衡量作战仿真系统的核心因素,直接影响着仿真的成败。论文在介绍作战仿真系统可信度国内外研究现状的基础上,对目前作战仿真系统可信度评估中所存在的问题进行了综述,明确了作战仿真系统可信度评估的相关概念。根据作战仿真系统的层次和规模,给出了不同层次的作战仿真系统校验、验证和确认(VV&A)的内容和方法,同时对于作战仿真系统可信度评估的目标、影响因素、数据和体系结构也进行了详细阐述。论文对于研究作战仿真系统的可信度有重要的现实意义。     

基于J-M模型的监控系统可靠性度量与预测

针对监控系统软件可靠性分析的实时性和求解高效性,通过对各类软件可靠性模型的比较,采用J－M模型并对其进行了理论推导和有解无解分析。根据模型参数方程的非严格单调的特点,对其采用了步长为0．1的械探性数值求解,保证了在较短时间内求得满意解。通过对监控系统的数据处理,可得到包括故障发生次数、下一故障发生时间、当前错误查出率、当前失效率等评估参数值,所有评估结果可视化显示。     

基于场景分析的系统形式化模型生成方法

采用形式化方法对系统的安全性进行分析与验证,是构造可靠安全软件系统的一个重要途径。当前的形式化安全分析方法,面临着系统的形式化建模难的问题。以铁路车站联锁系统中基本进路建立为例,提出基于场景分析的系统形式化模型生成方法。该方法首先采用OCL前/后置条件分析法对UML时序场景作一致性分析,然后将UML时序图中对象交互的行为序列转换成FSP进程代数模型,进而得到系统的形式化模型。该方法为系统的形式化建模提供了新思路,从安全质量方面改善了安全苛求软件的设计与开发,丰厚了基于模型的软件形式化开发方法。     

HLA作战仿真的VV&A过程

介绍了HLA作战仿真的基本情况及其联邦结构。以某作战仿真为例,将校核、验证与确认(VV&;A)过程作为研究的重点,把VV&;A过程分为7个步骤,分别对每一步进行研究。结果表明,该作战仿真达到了可信度要求,是可以接受的,对它进行VV&;A研究,对联邦的开发和系统的改进有一定的帮助,能够在一定程度上起到提高联邦可信度的作用。     

MOTEC: 一个存储一致性模型验证工具

由于缺乏可利用的额外观察条件,在芯片流片后阶段进行存储一致性模型验证较困难。为此,利用多核处理器系统中通用的性能计数器,通过定期扫描性能计数器以获得关键活动访存指令集合的信息,实现MOTEC工具。该工具由MOTEC随机指令发生模块、多核处理器性能计数器记录模块和MOTEC分析模块3个部分组成。对其核心算法的分析结果表明,MOTEC的时间复杂度仅为 ,在目前流片后阶段进行验证的工具中时间复杂度最低。     

体系结构评估方法的研究与实现

体系结构评估方法在体系结构评估中起着决定性的作用,论文对于目前比较流行的体系结构评估方法进行了比较,并在深入分析体系结构评估基本原理、实现步骤的基础上,从需求角度、开发角度和项目管理角度提出了一套较为通用的体系结构验证评估指标体系,以期能为体系结构的验证评估提供理论和技术参考.     

具有可控与不可控因素系统的可靠性维持方法

为了研究系统或元件可靠性维持方法,提出一种基于SFT的可靠性维持方法。在SFT框架下提出了可控与不可控因素的概念。目前SFT中的不可控因素指时间,其余为可控因素。给出了分析并制定系统或元件可靠性维持方法的步骤。分析表明在SFT内必须设定故障概率才能实施该方法。列举了一例进行分析,考虑的不可控因素为时间t,可控因素为温度c。分别将故障概率设置为10%、20%、30%、40%,50%,求出了元件更换周期,及其温度控制曲线和函数。与已有文献相比所得元件更换周期更为经济,方法更精确且可操作增强性。