一种面向性质的实时系统测试方法

尽管Statecharts在反应式实时系统建模领域获得了广泛应用,基于Statecharts开发的实时软件的测试仍然十分困难.由于引入了时间维,待测系统的行为空间变得非常庞大,使得难以对其进行全面深入测试.本文提出了一种面向性质的实时系统测试方法.首先对UML Statecharts作适当实时扩展,使得扩展后能描述non-trivial时间约束;然后用一种受限实时逻辑描述待测系统的功能特性;在此基础上根据待测性质从系统模型生成有针对性的测试序列.实验表明,在相同测试深度下,面向性质测试比非面向性质测试需要少得多的测试序列.     

小湾-楚雄500 kV输电系统内过电压研究

针对小湾-楚雄500 kV输电系统的内过电压问题进行了计算研究,得出了该线路在各种方式下的暂时过电压和操作过电压水平,并提出相应的限制措施,研究结果可供工程设计参考.     

锅炉粉灰的PLC控制自动计量包装系统

针对锅炉粉灰的包装，设计了基于PLC控制的自动计量包装系统和数据信息采集系统，介绍了其工作原理和设备构成，并对设计安装调试中常见问题进行必要阐述。     

基于UML的电力现场物资管理系统建模

提出了应用UML建模技术设计和开发电力现场物资管理系统的解决方案 ;在对UML建模语言及其建模工具RationalRose介绍和分析的基础上 ,建立了库存管理系统的用例图和入库业务活动图 ,并建立了入库业务对象模型 ;借助于RationalRose生成了系统源代码框架 ,说明了基于UML进行系统建模的主要过程     

数字电路板的自动测试与仿真技术

文章描述了利用自动测试系统对数字电路板进行仿真、测试和故障维修的方法。首先介绍了基于VXI总线的自动测试系统集成技术,然后探讨如何利用数字仿真软件自动为数字电路板生成测试向量和故障字典。最后给出了一个自动测试程序集成开发环境的体系结构,可以方便地利用自动测试系统为数字电路板开发自动测试程序和故障诊断程序。     

UML顺序图的自动验证

UML顺序图反映了系统中并发对象之间的消息交互及顺序,在软件建模中占有重要地位。该文对UML顺序图模型的自动验证方法进行了研究,在把UML顺序图转换为Promela语言后,使用模型检验器SPIN来验证系统设计模型是否满足某些关键性质需求。为了加强该方法的适用性,采用可扩展的标记语言XML文件格式定义顺序图模型的外部表示形式,该表示方法遵从OMG的XMI标准,从而使验证过程适用于不同的UML建模环境。     

丝光工艺中碱液浓度控制系统设计

以印染行业前处理为背景，简要介绍了前处理工艺中的丝光流程。为了达到对丝光工艺中碱液浓度控制的目的，设计开发了控制系统。详细介绍了系统的总体方案，硬件设计和软件设计等问题。用pH复合电极测量稀释后的碱液的pH值，计算出碱液的浓度，通过计算的结果来对碱液进行加水或者碱液来达到控制碱液浓度恒定的目的。通过对系统的分析认为，该系统如应用模糊控制和自适应控制等更优化的控制算法，采用光谱检测，改进pH值的检测方法，可使系统的可靠性精度和实时性进一步提高。     

基于多级一致性协议的多核处理器WCET分析方法

由于多核处理器优越的计算性能,多核处理器现已广泛应用在嵌入式实时系统中.相对于单核处理器,多核处理器存在资源共享竞争、并行任务干扰等因素,尤其是缓存（Cache）一致性问题,导致任务最坏情况执行时间（worst-case execution time,WCET）的预测更加困难.基于以上因素,提出基于多级一致性协议的多核处理器WCET分析方法.该方法针对多级一致性协议体系架构,提出多级一致性域的概念,将多核处理器的数据访问分为域内访问和跨域访问2个层次,根据Cache读写策略和MESI(modify exclusive shared invalid)一致性协议,得出一致性域内部和跨一致性域的Cache状态更新函数,从而实现多级一致性协议嵌套情况下的WCET分析.实验结果表明,在改变Cache配置参数的情况下,该方法分析结果与GEM5仿真结果的变化趋势一致,经过相关性分析,GEM5仿真结果与该方法分析结果相关性系数不低于0.98;在分析精度方面,该方法的平均过估计率为1.30,相比现有方法降低了0.78.     

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

给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程。文章还提出一个软件可靠性评估系统的体系结构。并给出了实现所需要的一些关键技术。已经依此实现了一上软件可靠性评估系统ＣａＳｏＲ（Ｃｏｍｐｕｔｅｒ ａｉｄ Ｓｏｆｔｗａｒｅ ｏｆ Ｒｅｌｉａｂｉｌｉｔｙ）,并已经被实际应用。