郗永健
【摘要】隨著電子信息系統(tǒng)的廣泛應(yīng)用、系統(tǒng)規(guī)模的增大和復(fù)雜度的提高、應(yīng)用環(huán)境的動態(tài)化和開放性,電子信息系統(tǒng)的可信性面臨越來越巨大的考驗(yàn)。電子息系統(tǒng)可信性評估是一個(gè)對系統(tǒng)所具有的多維質(zhì)量屬性的綜合評價(jià)過程,需要全面、綜合的考慮電子信息系統(tǒng)的相關(guān)質(zhì)量屬性。本文結(jié)合當(dāng)前的復(fù)雜性與復(fù)雜系統(tǒng)理論,針對電子信息系統(tǒng)可信性評估問題展開研究。
【關(guān)鍵詞】可信性 系統(tǒng)評估 層次分析
【中圖分類號】TP309 【文獻(xiàn)標(biāo)識碼】A 【文章編號】2095-3089(2016)01-0032-01
隨著電子信息系統(tǒng)的廣泛應(yīng)用,它已經(jīng)成為國民經(jīng)濟(jì)和國防建設(shè)等各個(gè)領(lǐng)域的重要支撐,尤其是在航空航天、國防建設(shè)、核電能源、交通控制等安全關(guān)鍵領(lǐng)域發(fā)揮著不可替代的作用。同時(shí),在需求引導(dǎo)和技術(shù)發(fā)展的推動下,電子信息系統(tǒng)的功能不斷擴(kuò)展和復(fù)雜化、系統(tǒng)規(guī)模日趨龐大和復(fù)雜,電子信息系統(tǒng)的缺陷和故障率也在不斷的增長。當(dāng)前,由于系統(tǒng)開發(fā)技術(shù)、系統(tǒng)可信性理論、可信性保障技術(shù)等條件的限制,無法保證電子信息系統(tǒng)是完全可信的。在此情況下,人們尤其是電子信息系統(tǒng)的用戶對電子信息系統(tǒng)不能抱以完全的信任,電子信息系統(tǒng)能否持續(xù)的成功的運(yùn)行并為用戶帶來可靠的、安全的、符合用戶預(yù)期的服務(wù)一直以來都是人們最關(guān)心的問題,即本文所關(guān)注的“電子信息系統(tǒng)可信性”問題。
當(dāng)前,由于可信性的理論基礎(chǔ)薄弱,對可信性的研究主要關(guān)注于可信平臺、軟件可信性等方面的研究。國內(nèi)外的相關(guān)企業(yè)、機(jī)構(gòu)和專家學(xué)者對可信平臺,軟件系統(tǒng)的可信性等方面的研究已經(jīng)出現(xiàn)了一批具有代表性的成果。當(dāng)前可信性研究主要有以下幾個(gè)方面:1)1999年10月,Intel、 Microsoft. IBM. HP等公司共同發(fā)起成立了可信計(jì)算平臺聯(lián)盟(Trusted Computing Platform Alliance, TCPA),并于2001年發(fā)布了“TrustedComputing Platform Specifications”1.1版。2)2000年IEEE國際容錯計(jì)算會議(FTCS)與國際信息處理聯(lián)合會IFIP的10.4工作組主持的應(yīng)用可信計(jì)算工作會議合并,成立了 IEEE/IFIP可信系統(tǒng)與網(wǎng)絡(luò)國際會議(International Conference on Dependable System and Networks, DSN), 如今己經(jīng)成為可信領(lǐng)域每年一度的頂級學(xué)術(shù)會議。3)2006年1月,歐洲啟動了“開放式可信計(jì)算(Open Trusted Computing)”的可信計(jì)算研究計(jì)劃,有幾十個(gè)科研機(jī)構(gòu)和工業(yè)組織參加。4)20世紀(jì)90年代開始,國內(nèi)對可信性和可信計(jì)算的研究逐漸增多。2004年始,和可信性和可信計(jì)算相關(guān)的學(xué)術(shù)會議不斷召幵,聯(lián)想等眾多公司和科研機(jī)構(gòu)在可信計(jì)算的不同領(lǐng)域展幵研究,出現(xiàn)一批研究成果。5)2007年,國家高技術(shù)研究發(fā)展計(jì)劃(863計(jì)劃)啟動了重點(diǎn)項(xiàng)目“高可信軟件生產(chǎn)工具及集成環(huán)境”。6)2008年,國家自然科學(xué)基金委員會啟動了由著名計(jì)算機(jī)軟件專家何積豐院士為首席科學(xué)家的“十一五”重大研究計(jì)劃“可信軟件基礎(chǔ)研究”。從上述的一些研究計(jì)劃和重大的基礎(chǔ)研究項(xiàng)目可以發(fā)現(xiàn),當(dāng)前對可信性的研究主要關(guān)注于兩個(gè)層面的研究:一個(gè)硬件層面的,主要是構(gòu)建電子信息系統(tǒng)中關(guān)鍵部件的可信性驗(yàn)證技術(shù);二是軟件層面的,主要是關(guān)注軟件可信性的基礎(chǔ)理論與可信軟件的構(gòu)建。而對電子信息系統(tǒng)的可信性從整體、系統(tǒng)的角度進(jìn)行研究的還比較缺乏。
非線性具有數(shù)學(xué)上的意義,即整體大于部分之和。電子信息系統(tǒng)各組成要素的簡單相加不能成為一個(gè)完整意義上的電子信息系統(tǒng)。電子信息系統(tǒng)各組成要素之間以及電子信息系統(tǒng)與環(huán)境和用戶之間復(fù)雜的信息、能量流動,使電子信息系統(tǒng)組成要素之間、系統(tǒng)與環(huán)境之間以及系統(tǒng)與用戶之間具有大量復(fù)雜的關(guān)系。從熱力學(xué)的角度來講,平衡狀態(tài)是指孤立系統(tǒng)不隨時(shí)間的變化,與外界沒有聯(lián)系的一種均勾、混亂無序的狀態(tài)。系統(tǒng)只有遠(yuǎn)離平衡態(tài)才能實(shí)現(xiàn)演化發(fā)展的過程。開放系統(tǒng)通過與外界環(huán)境進(jìn)行物質(zhì)、能量和信息的交換,才能從平衡、近平衡走向遠(yuǎn)離平衡,形成一種非平衡的有序結(jié)構(gòu)。電子信息系統(tǒng)是開放系統(tǒng),它的開放性表現(xiàn)在對內(nèi)和對外兩個(gè)方面。對內(nèi)就是對電子信息系統(tǒng)內(nèi)部各組成要素之間的聯(lián)系。對外就是電子信息系統(tǒng)與其環(huán)境之間的物質(zhì)、能量、信息等方面的交換。在技術(shù)發(fā)展和需求的推動下,現(xiàn)代電子信息系統(tǒng)是多方面、多環(huán)節(jié)、多要素構(gòu)成的異構(gòu)的復(fù)雜巨系統(tǒng),而且系統(tǒng)各個(gè)要素、各個(gè)部分之間可能各具特點(diǎn)、千差萬別,形成了電子信息系統(tǒng)的多樣性。盡管電子信息系統(tǒng)具有層次性,對于分布式和網(wǎng)絡(luò)化的各組成部分之間擁有一個(gè)單一的集中控制對于電子信息系統(tǒng)來說弊端非常的明顯,電子信息系統(tǒng)的發(fā)展趨勢是分散控制、信息融合。自適應(yīng),是從系統(tǒng)與環(huán)境關(guān)系的角度對系統(tǒng)演變過程的一種描述,它強(qiáng)調(diào)在一定的外界環(huán)境條件下,系統(tǒng)適應(yīng)環(huán)境,從而呈現(xiàn)新的狀態(tài)完成其既定的功能。系統(tǒng)形成有序結(jié)構(gòu)之后,在一定的外界環(huán)境刺激下,必然要做出反應(yīng),體現(xiàn)系統(tǒng)適應(yīng)環(huán)境的能力。電子信息系統(tǒng)的運(yùn)行及其發(fā)揮自身的作用,必然是在一定的環(huán)境下,它從所處的環(huán)境中獲取信息和能量,并通過自身的功能對信息進(jìn)行加工處理,完成既定的任務(wù)。任何電子信息系統(tǒng)的運(yùn)行都離不開所處環(huán)境的支撐與制約,都要適應(yīng)其運(yùn)行的環(huán)境。分散控制結(jié)構(gòu)和持續(xù)存在的自適應(yīng),使系統(tǒng)往往具有自組織的性質(zhì)。自適應(yīng)是系統(tǒng)在沒有外部干預(yù)的情況下,依靠系統(tǒng)內(nèi)部的協(xié)調(diào)行為,從而達(dá)成某一結(jié)果的連續(xù)行動,也是靠系統(tǒng)內(nèi)部的協(xié)調(diào),自發(fā)地呈現(xiàn)新的有序結(jié)構(gòu)。對于電子信息系統(tǒng)來說,當(dāng)某個(gè)組成要素、部分發(fā)生故障無法完成自身功能時(shí),其他正常的部分在可能的情況下還要繼續(xù)運(yùn)行,完成其他不受影響的系統(tǒng)功能,從而不至于使系統(tǒng)完全崩潰。層次性、非線性、非平衡有序、分散控制、自適應(yīng)和自組織等性質(zhì)是復(fù)雜系統(tǒng)的共同的標(biāo)志屬性。
從上述的分析中不難看出,電子信息系統(tǒng)具有上述復(fù)雜系統(tǒng)的典型特征。因此,可以說電子信息系統(tǒng)是一類復(fù)雜系統(tǒng)。
參考文獻(xiàn):
[1]班德米爾(英),德爾(英)編著,鄭人杰等譯.計(jì)算機(jī)應(yīng)用系統(tǒng)的可信性實(shí)踐(1).北京,清華大學(xué)出版社,2003:23?鄄26.
[2]劉克,單廣志,何積豐等.“可信軟件基礎(chǔ)研究”重大研究計(jì)劃綜述.中國科學(xué)基金,2009(3):145?鄄146.
[3]黃錫滋.軟件可靠性、安全性與質(zhì)量保證(1).北京,電子工業(yè)出版社,2002:13?鄄15.
[4]熊光澤,常政威,桑楠.可信計(jì)算發(fā)展綜述.計(jì)算應(yīng)用[J], 2009, 29 (4) 915?鄄919.