附件C：譯文


提高電子自動化軟件可靠性：一種扮演正式方法的角色蒂莫西-約翰遜
通用電氣全球研究，鉀- 1，5c30a ，1研究稅務(wù)局局長niskayuna ，紐約12309 ，美國控制工程實踐15 （ 2007 ） 1403至1415年

摘要
制造控制軟件的成長是從簡單的數(shù)控和PLC為基礎(chǔ)的系統(tǒng)到個人電腦， PLCs， cncs并行網(wǎng)絡(luò)化系統(tǒng)，對企事業(yè)的數(shù)據(jù)庫制造系統(tǒng)的設(shè)計，實施和維護(hù)帶來了挑戰(zhàn)。，而這一演變關(guān)鍵的里程碑，前景為使用正規(guī)的核查方法達(dá)到提高可靠性的未來制造軟件，是研究在這方面論文和演講。 r 2006年Elsevier公司有限公司保留所有權(quán)利。
關(guān)鍵詞：系統(tǒng)工程;可靠性理論;安全分析;自動化;規(guī)劃理論
1. 介紹
在美國，丹佛國際機(jī)場是經(jīng)常被用來作為美國聯(lián)邦航空管理局（ FAA ）測試新技術(shù)的現(xiàn)場。對于空中乘客來說常常出現(xiàn)的讓人擔(dān)心的是：將旅行箱遺失，延遲箱包，最壞的情況，就是將其移送到錯誤的航空公司，并且離目的地很遠(yuǎn)。因此， FAA和丹佛商界和政界人士決定這個新機(jī)場將是一個展示新型行李處理技術(shù)的好地方該系統(tǒng)要求充分的準(zhǔn)備，并被授予合同，并有數(shù)百萬美元的承諾，用一個網(wǎng)絡(luò)控制傳送帶將行李快速的送到目的地（ deneufville ， 1994年）。但接下來問題又出在了控制系統(tǒng)。初步跡象顯示有點不對勁發(fā)生時，其余的機(jī)場和傳送帶，均已到位，但軟件設(shè)計才剛剛開始。該項目已成為市民的負(fù)擔(dān)：它要推遲2年交貨（其余的機(jī)場如果沒有他就不能用） 。最后，最初的測試時間到了：即使是最基本的正確的行李運輸系統(tǒng)也無法辦到。耐心是有限的。政界和商界的名聲被破壞殆盡。最后， 該系統(tǒng)是報廢和'半自動化'（即：常規(guī)）系統(tǒng)的代名詞！從控制工程師的角度來看，最嚴(yán)重的后果是這類型的失敗給市民留下印象自動化本身是有錯誤，而不是（象毫無疑問的情況）項目管理信息系統(tǒng)的管理。 幾十個機(jī)場周圍國家現(xiàn)在將選擇盡量少的自動化系統(tǒng)而不是自動化程度更高，同時 控制工程師們將做的很少。
丹佛機(jī)場行李處理的例子說明大眾已經(jīng)感覺缺乏自動化軟件可靠性的后果。總而言之，只有約30-40 ％的大型軟件項目啟動會完整地運行（布魯克斯， 1995