附件C：譯文


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

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