首页>
外文OA文献
>High level design proof of a reliable computing platform
【2h】
High level design proof of a reliable computing platform
展开▼
机译:可靠的计算平台的高级设计证明
展开▼
免费
页面导航
摘要
著录项
引文网络
相似文献
相关主题
摘要
The main objectives are: to establish hardware/software platform for ultra-reliable computing; to use fault tolerant computer architecture; to use formal methods to prevent design and implementation errors; and to construct reliability model to quantify reliability estimate. The results show that: ultra-reliable control systems are hard to achieve; simple fault tolerant design is postulated; formal specification of design is constructed; and preliminary correctness proofs are obtained.
展开▼