可信系統(tǒng)性質(zhì)的分類和形式化研究綜述

摘要： 計(jì)算機(jī)系統(tǒng)被應(yīng)用于各種重要領(lǐng)域,這些系統(tǒng)的失效可能會(huì)帶來重大災(zāi)難.不同應(yīng)用領(lǐng)域的系統(tǒng)對(duì)于可信性具有不同的要求,如何建立高質(zhì)量的可信計(jì)算機(jī)系統(tǒng),是這些領(lǐng)域共同面臨的巨大挑戰(zhàn).近年來,具有嚴(yán)格數(shù)學(xué)基礎(chǔ)的形式化方法已經(jīng)被公認(rèn)為開發(fā)高可靠軟硬件系統(tǒng)的有效方法.目標(biāo)是對(duì)形式化方法在不同系統(tǒng)的應(yīng)用進(jìn)行不同維度的分類,以更好地支撐可信軟硬件系統(tǒng)的設(shè)計(jì).首先從系統(tǒng)的特征出發(fā),考慮6種系統(tǒng)特征:...