提高电子自动化软件可靠性：一种扮演正式方法的角色蒂莫西-约翰逊[外文翻译].doc

附件C：译文


提高电子自动化软件可靠性：一种扮演正式方法的角色蒂莫西-约翰逊
通用电气全球研究，钾- 1，5c30a ，1研究税务局局长niskayuna ，纽约12309 ，美国控制工程实践15 （ 2007 ） 1403至1415年

摘要
制造控制软件的成长是从简单的数控和PLC为基础的系统到个人电脑， PLCs， cncs并行网络化系统，对企事业的数据库制造系统的设计，实施和维护带来了挑战。，而这一演变关键的里程碑，前景为使用正规的核查方法达到提高可靠性的未来制造软件，是研究在这方面论文和演讲。 r 2006年Elsevier公司有限公司保留所有权利。
关键词：系统工程;可靠性理论;安全分析;自动化;规划理论
1. 介绍
在美国，丹佛国际机场是经常被用来作为美国联邦航空管理局（ FAA ）测试新技术的现场。对于空中乘客来说常常出现的让人担心的是：将旅行箱遗失，延迟箱包，最坏的情况，就是将其移送到错误的航空公司，并且离目的地很远。因此， FAA和丹佛商界和政界人士决定这个新机场将是一个展示新型行李处理技术的好地方该系统要求充分的准备，并被授予合同，并有数百万美元的承诺，用一个网络控制传送带将行李快速的送到目的地（ deneufville ， 1994年）。但接下来问题又出在了控制系统。初步迹象显示有点不对劲发生时，其余的机场和传送带，均已到位，但软件设计才刚刚开始。该项目已成为市民的负担：它要推迟2年交货（其余的机场如果没有他就不能用） 。最后，最初的测试时间到了：即使是最基本的正确的行李运输系统也无法办到。耐心是有限的。政界和商界的名声被破坏殆尽。最后， 该系统是报废和'半自动化'（即：常规）系统的代名词！从控制工程师的角度来看，最严重的后果是这类型的失败给市民留下印象自动化本身是有错误，而不是（象毫无疑问的情况）项目管理信息系统的管理。 几十个机场周围国家现在将选择尽量少的自动化系统而不是自动化程度更高，同时 控制工程师们将做的很少。
丹佛机场行李处理的例子说明大众已经感觉缺乏自动化软件可靠性的后果。总而言之，只有约30-40 ％的大型软件项目启动会完整地运行（布鲁克斯， 1995