Increasing the trustworthiness of commodity hardware through software
Dependable Systems and Networks（2013）
摘要
Advances in formal software verification has produced an operating system that is guaranteed mathematically to be correct and enforce access isolation. Such an operating system could potentially consolidate safety and security critical software on a single device where previously multiple devices were used. One of the barriers to consolidation on commodity hardware is the lack of hardware dependability features. A hardware fault triggered by cosmic rays, alpha particle strikes, etc. potentially invalidates the strong mathematical guarantees. This paper discusses improving the trustworthiness of commodity hardware to enable a verified microkernel to be used in some situations previously needing separate computers. We explore leveraging multicore processors to provide redundancy, and report the results of our initial performance investigation.
更多查看译文
关键词
multiprocessing systems,operating system kernels,performance evaluation,program verification,redundancy,safety-critical software,software reliability,trusted computing,access isolation,alpha particle strikes,commodity hardware trustworthiness,cosmic rays,formal software verification,hardware dependability features,hardware fault,initial performance investigation,microkernel verification,multicore processors,operating system,security critical software,kernel,multicore,reliability
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要