嵌入式系统的高可信性是指系统具有高安全性、高可用性、高可靠性、高可维修性和高健壮性等特征。随着嵌入式技术的飞速发展,嵌入式计算机渐渐渗透到人们生活的方方面面。但是对于某些关键性的应用,军事上的如武器控制、保密通讯、战场监控、空间探测,民用上的如工业控制、生命监控、货币结算等,普通的嵌入式系统的可信性是远远不够的。为满足高可信性的要求,嵌入式系统必须采用某些特殊的设计技术。本文以实现能够满足高可信性需求的嵌入式系统硬件为目的,对嵌入式计算机系统的构成、嵌入式处理器、现代嵌入式系统的结构进行了分析和研究。在此基础上,完成了基于S3C44B0X处理器的嵌入式高可信计算机系统硬件的研究和设计工作。在设计的过程中采用了ARM单板机冗余技术、高安全技术、电源系统冗余技术以及主机板管理技术等几项重要的关键技术,上述关键技术的应用,为保证系统设计的高可信性起到了重要的作用。为了测试本文所设计的嵌入式高可信计算机系统的单板机,也为了方便后续的软件开发人员在此硬件平台上开发应用程序,本文还设计了单板机的测试软件,实现了对单板机上各主要元件的测试,并以函数的形式给出了直接操作底层硬件的驱动程序。