附件C：譯文


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

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