基于Virtex4的SoPC系统设计

随着微电子技术的飞速发展和嵌入式系统要求的提高,硬件集成度迅速增长,以FPGA作为物理载体进行芯片设计的SoPC设计方式已经兴起.以PowerPC405处理器硬核为核心,开发基于PowerPC405的SoPC系统.本系统中,将通常独立的处理器、外设,分别作为硬核、软核集成入FPGA中,达到系统可编程、减少外围器件数目和PCB面积、降低功耗以及提高系统抗干扰能力等目的.针对SoPC开发的关键技术进行分析,最后采用Xilinx的Virtex4 FPGA实现基于PowerPC405的SOPC系统.     

安全关键软件可靠性验证测试方法研究

为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法。实验表明,所提供的安全关键软件可靠性验证测试方法可以用较少的测试用例获得同样的结果可信性。