测控系统的可靠性

介绍测控系统可靠性的概念及提高系统可靠性的途径。     

变频系统测控软件抗干扰研究

介绍了变频系统中强电条件下设计运行测控软件抗干扰技术，论述了抗干扰、防系统“死机”程序的设计思路，讨论了软件抗干扰的数据的置处方式、容错设计以及软件设计应注意的问题及方法。     

嵌入式系统测控软件的结构化设计

在分析嵌入式系统特点的基础上，提出并论述了一种嵌入式软件通用的分层递阶结构，并以PID调节器的设计为例说明了该方法的应用。     

实时测控系统的软件模拟调试方法

提出一种简单实用的，基于脉冲响应函数迭加的软件模拟调试方法，应用于实时测控系统软件开发实践中，大大减少了开发时间和费用，取得较好效果。     

可靠性技术在主从式微机测控系统中的应用

本文简要介绍了在主从式微机测控系统中可靠性设计方案的确定思路，重点阐述了软、硬件可靠性技术在该系统中的具体实施方法。     

主从分布式测控系统中图形打印软件研制

本文着重阐述主从分布式测控系统中,图形打印的原理及其软件编程思想与编程方法。采用 Turbo C 高级语言设计了图形打印软件,可按用户要求打印出采样的任一通道的整体或任一局部变化曲线。     

单片微机测控系统软件的容错设计

重点对单片微机测控系统软件容错的设计方法和技术进行讨论。主要方法有：堆栈溢出及中断冲突的预防，软件算法及软件运行的容错，重要信息的保护恢复与纠错，重要模块的安全措施，严格控制状态转移条件，软件标志位的正确使用等。     

智能化液晶显示测控系统显示软件的设计与实现

本文以智能化液晶显示多参数和测控系统应用软件的显示部分设计为例，阐述了用单片机汇编语言在液晶显示屏上设计中文界面显示软件的方法和关键技术，对读者用汇编语言设计液晶显示测控应用软件具有重要的参考价值。     

计算机控制系统中提高软件可靠性的措施

本介绍了计算机控制系统中几种实用的提高软件可靠性的措施。     

Software Reliability Experimentation and Control

This paper classifies software researches as theoretical researches, experimental researches, and engineering researches, and is mainly concerned with the experimental researches with focus on software reliability experimentation and control. The state-of-the-art of experimental or empirical studies is reviewed. A new experimentation methodology is proposed, which is largely theory discovering oriented. Several unexpected results of experimental studies are presented to justify the importance of software reliability experimentation and control. Finally, a few topics that deserve future investigation are identified.     

小型无人机飞控系统软件可靠性设计与建模研究

小型无人机硬件受系统造价及其他因素的影响,不能很好地保证小型无人机系统的整体可靠性,而必须通过软件来补充并提高小型无人机系统的整体可靠性;飞行控制系统作为无人机的核心子系统,它的软件可靠性成为了可靠性保证的重中之重。文中首先论述了某小型无人机飞行控制软件的系统结构以及软件可靠性设计的方法和过程,然后利用白盒测试方法结合修正条件/判定覆盖标准对该软件的可靠性进行了测试;测试过程中,通过设计4组不同的测试用例,检验这些用例所对应的测试路径是否与实际情况相同;实验结果表明,所设计的方法满足软件可靠性测试的需要。     

软件可靠性工程框架和评估系统实现

给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程.文章还提出一个软件可靠性评估系统的体系结构,并给出了实现所需要的一些关键技术.已经依此实现了一个软件可靠性评估系统CaSoR(Computer aid Software of Reliability),并已经被实际     

ERP系统中软件可靠性数据的收集与分析

软件可靠性研究已有四十多年的历史 ,近百个软件可靠性模型被建立起来。然而作为软件可靠性建模基础的可靠性数据在国内外文献中却不多见。软件可靠性数据是一切软件可靠性研究活动的基础 ,其重要性不言而喻。在ERP项目运行中收集了一批可靠性数据 ,分析这些数据发现 ,各类软件错误产生是有先后顺序的     

实时控制系统软件的可靠性

为了保证实时控制系统的有效运行,除了满足其实时性要求外,可靠性也很重要。该文讨论了实时控制系统的软件可靠性问题,介绍了QNX的高可用性工具,并根据低杂波系统的分布式实时控制需求提出了通用可靠性模型。该模型为低杂波各子系统的开发提供了统一规范,有效保证了系统的可靠性。     

软件可靠性分析、测试与评估工具--SRATE介绍

软件可靠性分析、测试及评估工具(SRATE)是一个集软件可靠性分析、测试及评估于一体的软件工具。该工具支持多种测试策略下的软件自动化测试及评估试验,包括随机测试策略、自适应测试策略等。该工具还集成了包括欧洲航天局的space软件、浙大CAD&CG国家重点实验室的Intra3D构件库在内的多个典型被测对象。根据工具接口要求可以方便的添加新的测试策略和测试对象。具有自动化程度高、通用性强、配置灵活、易于扩展的特点,是进行软件可靠性分析研究工作的有力工具。     

软件可靠性分析方法研究与应用

软件可靠性分析方法中,SFMEA和SFllA是两种常用的分析方法,为提高软件可靠性发挥了重要作用,在国内型号软件的开发过程中得到了越来越多的关注.针对SFMEA及SFTA方法在应用中存在的难点问题,提出了相应的解决方法,并以某航空发动机控制软件为应用对象进行了实例应用,验证了方法的可行性与有效性.     

基于构件的可信软件系统冗余机制及可靠性分析

在高可信软件的设计和开发中,软件容错是提高系统可信性的一种实现技术之一. 容错性就是指软件在故障出现时保证提供服务的能力,对退化故障进行容错的一种处理方式就是依靠冗余技术. 本文在分析结构冗余及其对可信性的影响的基础上,在基于构件的可信软件系统中提出了对核心构件进行冗余的机制,包括单个构件的双模冗余结构、组合构件的双模冗余结构和构件的三取二冗余及其扩展结构,并给出了其故障检测和判断方法. 同时,在各种冗余结构的基础上对系统可靠性能进行分析.     

软件可靠性J-M模型的特性分析

软件可靠性是软件质量的一个重要因素,如何提高软件可靠性已成为一个迫切的问题.本文综述了软件可靠性模型的概念和分类,详细分析了J-M模型参数方程的建立及其特性,由对方程根的判定推导出了一个切实可行的方程解法,通过与美国NASA开发的软件Smerfs的实验结果比较,可以看出方程的解法是合理的.