基于Event-B的双机热备平台测试序列自动生成方法

为了确保双机热备平台满足相应的功能需求,需要对其进行功能测试。采用基于模型的测试方法,可以有效地避免人工手动生成测试中存在的不足,提高测试效率。利用Event-B方法对双机热备平台进行形式化建模,通过证明验证模型的正确性,并进一步利用L^1算法生成基于模型、满足平台测试需求的测试序列集,对于确保测试过程的完备性、提高测试效率有一定意义。

基于TMS320F2812的双机信息处理系统设计

介绍了基于TI公司TMS320F2812型DSP的信息处理系统的设计。采用2片TMS320F-2812DSP,利用其丰富的片上资源和较高的数据处理能力,建立了一个具有速度快、功能强、价格低廉,通用性强等特点的信息处理系统双机平台。该平台弥补了单个DSP系统在处理大量数据输入/输出和接口突发信号时,引起系统不稳定从而造成数据丢失这一缺陷,提高了系统的稳定性。TMS320F2812-DSP双机平台可作为嵌入式系统硬件平台,进一步开发各种应用软件,其应用可拓展到光学网络、汽车控制、生物测定学等新兴应用领域。