一种实时多任务软件可靠性验证方法

针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法.该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解方法;通过该模型把待验证的软件系统可靠性指标分配到各个任务模块,然后用统计测试的方法对任务模块的可靠性指标进行验证,以达到对整个软件系统可靠性指标验证的目的.实验证明该方法的有效性和灵活性.     

基于构件的嵌入式软件仿真开发环境模型研究

为支持嵌入式系统软件与硬件的并行开发和解决其多样性问题,引入了仿真技术和构件技术,建立了一个通用的构件化软件仿真开发环境模型(CSIDE).通过一个原型软件验证CSIDE模型具有以下特点以工具总线为基础的构件化体系结构可以为各种软件定制出分布式仿真开发平台;能以可视化方式重用库中构件建造出与真实硬件环境基本一致的硬件仿真环境,支持软件的仿真调试.     

嵌入式Linux系统实时性能测试研究

为了对比分析嵌入式实时Linux系统和嵌入式Linux系统的实时性能差异,提出了软硬件协同测试的思想,以任务响应时间和中断响应时间为切入点,依托软件编程和硬件辅助设备分别测试了二者的实时性能。测试结果表明,经过实时化改造后的Linux系统其实时性能较标准Linux有了很大改善,尤其是在有背景负载情况下这种改善更为明显。分别给出了软件和硬件测试的原理和方法,通过两者测试结果的对比分析,相互验证了测试结果的有效性和合理性。     

基于统计覆盖测试技术的软件测试充分性研究

研究了基于可信度的统计覆盖测试技术,以及基于统计覆盖测试技术的测试充分性,指出"以至少C的可信度确信,下一次软件测试出现新的覆盖项(如语句,分支,路径等)的概率小于或等于一个给定的正数B",是一种测试充分性的标准.在此基础上,进一步研究了统计测试技术与软件可靠性技术指标中的软件失效率之间的联系,给出了基于统计测试技术的软件失效率的度量方法.     

面向机载软件适航验证的灰盒测试方法

针对国内大飞机及新一代战机机载软件综合化、模块化的特点,根据机载软件适航验证要求,在分析传统黑、白盒测试方法与DO-178B《机载系统和设备合格审定的软件考虑》中软件验证要求适用性的基础上,应用灰盒理论,建立了满足软件适航验证要求的灰盒测试方法及其应用过程,并对该方法展开了分析,说明了其局限性,并对测试环境提出了新的需求。     

基于专家知识的ANFIS软件质量评价建模与仿真

通过研究目前广泛用于软件质量评判的模糊综合评判法,分析了该方法存在的不足,并提出了基于专家知识的自适应神经推理(adaptive neural-fuzzy inference system,ANFIS)软件质量评价模型。在建模过程中,利用专家知识获取输入指标的不同重要度,对指标进行修正作为软件质量评判模型的输入,结合ANFIS的自适应、自学习特性,实现了软件质量评价过程中推理规则适应度、隶属度函数形状及参数的自适应调节,提高了质量评判模型的可信度、准确度。最后运用该模型对嵌入式软件质量进行评价,仿真和试验结果说明了该方法的可行性和有效性。     

基于dSPACE的卫星控制实时仿真系统设计

为满足某在研大型挠性卫星计算机在回路中的仿真需要,利用dSPACE多处理器系统设计了卫星姿态和轨道控制实时仿真系统。介绍了该系统的软、硬件构成。以星载计算机与惯性基准单元串口通信为例,重点介绍了采用RTI模块、Simulink和Stateflow,实现该实时系统的串口通信建模方法。在星上自主模式下,对该实时系统进行了实时仿真。仿真结果证明了设计的卫星姿态和轨道控制实时仿真系统和串口通信接口模型的有效性。此方法对dSPACE实时仿真系统在航空航天领域的工程应用具有参考价值。     

基于Agent的计算机建模平台的比较研究

近年来，越来越多的研究者已认识到了基于Agent的计算机模拟平台在复杂系统研究中的重要作用，但因缺乏计算机应用和编程方面的基础，对如何使用这些功能强大的模拟平台还不是很熟悉、基于此，从介绍系统科学的3种基本研究方法入手，先简单介绍了计算机建模的两种方法，然后重点介绍了当今主流的6种基于Agent的建模平台的基本特点和下载地址，并作为主体部分对这6种模拟平台的共同性和区别进行了详细深入的比较研究，最后探讨了基于Agent的建模平台的发展趋势、     

Class of modified parallel combined methods of real-time numerical simulation for a stiff system

A class of modified parallel combined methods of real-time numerical simulation are presented for a stiff dynamic system. By combining the parallelism across the system with the parallelism across the method, and relaxing the dependence of stage value computation on sampling time of input function, a class of modified real-time parallel combined methods are constructed. Stiff and nonstiff subsystems are solved in parallel on a parallel computer by a parallel Rosen-brock method and a parallel RK method, respectively. Their order conditions and convergences are discussed. The numerical simulation experiments show that this class of modified algorithms can get high speed and efficiency.     

武器装备效能仿真的可组合建模框架研究

武器装备效能仿真不同于一般的复杂系统仿真, 具备很大的组合建模潜力和迫切的组合仿真需求. 当前的统一仿真协议、统一建模方法、统一模型规范等组合仿真途径主要还是从技术角度出发的, 没有充分结合应用领域的实际, 难以真正实现组合仿真. 提出了基于模型框架实现组合仿真的思路, 通过将领域共性不变知识(DIK)固化为可组合的模型框架, 而应用可变知识(AVK)则可在模型框架基础上通过定制或扩展的方式进行描述. 设计了武器装备效能仿真的可组合建模框架(CMF), 应用实践表明能够明显地提高仿真开发效率, 有力地支持模型级可组合.     

基于SMP2的复杂系统生成式仿真建模方法

复杂系统仿真迫切需要能够同时支持多领域分别独立针对性建模和全系统统一集成仿真的方法. 将当前用于复杂系统仿真的建模方法分为统一型、组合型和生成式三大类, 分析指出生成式建模方法具有较之其它方法的独特优势, 有望解决复杂系统仿真建模面临的问题. 研究了当前仿真领域应用的各类生成式建模方法存在的不足. 提出了以仿真模型可移植性标准(SMP2)为基础, 综合利用生成式建模方法的两大流派-模型驱动架构(MDA)和模型集成计算(MIC)-的先进技术和规范, 构建复杂系统生成式仿真建模方法的研究思路. 分析了其中的多领域生成式仿真模型公共表示规范、各类仿真形式体系到SMP2的映射与模型变换以及面向领域的仿真建模工具的自动生成等三大关键技术问题. 设计了生成式仿真建模一体化支撑环境的体系结构, 介绍了其中已经完成的工作和下一步的重点.     

嵌入期权的激励相容型软件外包付款合同设计

扩展了文献[1]的经典模型, 建立起激励相容框架下软件外包付款合同设计的正式模型. 特别之处在于嵌入了一个中期检查的触发期权, 在模型中采用示性函数的方法简洁表示. 通过基准模型与嵌入触发期权的模型结果的比较, 证明了嵌入触发期权对外包的风险控制、促进承接商(vendor)提高努力程度均占有优势. 还发现嵌入期权对客户(client)与承接商的双重约束功能, 主要通过改变超支分担系数来约束客户行为. 利用中国对日本的软件外包承接商的调查研究数据, 证实了嵌入触发期权主要通 过促进承接商超支控制效率的提高而实现外包风险有效控制,也证实了双重约束功能及其他主要理论结果.     

IP网流量仿真与建模

针对网络仿真中的关键问题——流量的仿真与建模，分析了IP网络流量的特点和软件仿真系统OPNET的流量仿真建模机制，详细阐述了一种基于OPNET仿真平台建立IP网流量模型的方法。该方法将流量仿真分成背景路由流量建模、背景利用率流量建模和前景业务流量建模3部分，并综合利用网管导入流量和业务源建模来建立流量模型。最后通过仿真建模验证了该方法的有效性.     

Extended research on software hybrid testing combining reliability and directed testing

The software reliability testing has many disadvantages in practice,such as high complexity of constructing operational profiles and poor fault detection efficiency.Oppositely,the directed testing with a high fault detection rate is incapable of estimating reliability quantificationally.To solve this problem,a hybrid testing combining reliability and directed testing as well as a reliability model based on the order statistic(OS) model were presented by Mitchell.An extended research on Mitchell’s work is proposed.Firstly,the most proper distribution of the fault’s failure rate which tends to be lognormal is suggested,and a detailed form of the OS model based on lognormal and the corresponding parameter estimation method are proposed,respectively.Secondly,an implementing framework for the hybrid testing is proposed.Finally,the hybrid testing and the OS model are applied on a real website system.The experimental results indicate:the hybrid testing has more efficient fault detection power and lower testing cost than the reliability testing;compared with three traditional software reliability growth models,the OS model has a best or pretty estimation or prediction power for each data set;and for the failure data set collected from hybrid testing,the OS model also achieves an acceptable estimation result.     

基于OPNET的Link 16建模与仿真

针对Link 16的概念、特点,对其发展趋势进行了分析。根据Link 16的组网特点设计了一种基于时分多址接入的组网方式。同时,利用目前公认的网络仿真软件OPNET对所设计的这种Link 16的TDMA组网方式进行了建模与仿真。并通过有限状态机的方式,对建模和仿真中最关键的TDMA模块进行了分析说明。     

嵌入式实时调度系统抖动稳定性分析

分析了嵌入式实时调度系统中控制任务的采样周期和延时不规则抖动属性及稳定性能。并且,针对抖动范围有界但抖动属性不能精确已知的离散状态系统,提出一个保守的系统稳定性充分判据。该判据将抖动引起的时变不确定性描述为系统的离散时间闭环区间状态矩阵,利用李雅普诺夫方程和矩阵的无穷范数,导出区间系统鲁棒稳定的充分条件。该方法计算量小且能减小区间代数计算结果易于扩张的问题。仿真算例表明该判据简单有效且能降低保守性。     

DESIGN OF A SOFTWARE AGENT FOR BUSINESS GAMING SIMULATION

1. Introduction 1.1 Gaming Simulation Gaming Simulation is categorized into the following five fields: Entertainment games, Educational games, Experimental games, Research games, and Operational games (Stahl, 1983). Business game is one of the Educational games. Business game is a tool that focuses on understanding about business and the principle of management through the experience in a virtual world. Through this method the players have roles of managers or presidents of companies (Ter…     

A message-driving formalism for modeling and simulation of multi-agent supply chain systems

To acquire a competitive advantage in the expanding market, manufacturing enterprises should be able to manage their supply chains as effectively as possible. It is now becoming popular to model supply chains as multi-agent systems and use discrete event simulation to learn more about their behaviors or investigate the implications of alternative configurations. In order to enhance the computational efficiency and keep the simulation credibility, this paper proposes a message-driving formalism for the simulation of multi-agent supply chain systems. Through the message-driving formalism, the problem of shared variables is addressed and the parallel operation of agents is implemented. Simulation experiments with a prototype implementation show that the message-driving formalism is able to provide credible results in significantly less simulation time.     

WDM光网络仿真系统的数学建模与设计

根据WDM光网络系统中光网络结构优化设计以及有限网络资源条件下光网络性能分析与优化的仿真要求,建立了用于实现WDM光网络仿真系统计算机模拟的数学模型,该模型能够体现WDM光网络系统组成原理、系统结构、系统参数等方面的不同。此外,考虑到WDM光网络仿真系统的用途、仿真的层次、仿真系统的运行条件以及仿真结果的表现方法的不同,对WDM光网络仿真系统的功能进行了分析,并实现了系统的设计。最后,对该仿真系统的优越性和创新点进行了总结。