CPS研究案例分析.pdfVIP

专题 第 9 卷  第 7 期  2013 年 7 月 CPS研究案例分析 王启新 关键词 ：CPS　系统工程　混成系统 香港理工大学 互联网通过将独立运行的 不但有分工，还需要合作，从而 方合作，写出来的程序都不可靠。 计算机节点融合起来，革命性地 正确地建造、运行一个CPS 系统。 由于飞行的安全性至关重要，人 改变了计算机科学的面貌。如果 由于这些专业人员的知识背景差 们必须想出一种系统设计方法， 将计算机系统与物理世界进行进 别巨大，“语言”不通，所以如 使得即便使用不可靠的飞机控制 一步融合，信息—物理融合系统 何保证他们合作得规范、顺畅， 程序，飞机仍然能够安全飞行。 (cyber physical system, CPS) 将会 是一个极为严峻的挑战。 针对这个问题，传统的解决 再一次革命性地改变计算机科学 以自动控制CPS 为例，融入 途径是采用多版本决策的系统设 的面貌，甚至我们的日常生活[1,2] 。 了计算机软硬件技术的自动控制 计方法(N-version programming)[3] 。 CP S 的产生、壮大是计算机 系统广泛应用于机械、电子、航 例如，要设计第五代飞机的控制 科学技术不断渗入其他领域 （自 空航天、汽车制造等工业领域。 程序，总共有3 亿元的经费，可 动控制、电力、医疗、建筑等 计算机化的自动控制系统可以说 以把这3 亿元分为3 份，每份 1 等）的必然结果，是各个领域自 是目前最为常见的CP S。然而， 亿元，分别用来雇佣3 个完全独 身发展、自动化程度提高的必然 自动控制CPS 仍然面临严重的系 立的开发团队，开发3 个不同版 趋势。跨领域的计算机应用催生 统工程问题。例如在飞机自动控 本的程序。3 个版本并行运行。 了CP S ，为CP S 的理论技术创 制CPS 的设计开发中，专业的计 在每个采样/ 控制周期，3 个版 新提供了原始素材，并且是CP S 算机程序员很少有精通空气动力 本生成3 个决策，赞成票数多的 服务的最终目标。理解CP S ，就 学、航空机械自动控制理论的， 决策将被采纳，作为系统控制的 必须和CP S 的相关应用领域紧 而专业的空气动力学、航空机械 最终决策。 密结合。 自动控制工程师对计算机编程也 多版本系统设计方法有一个 未必精通。随着“电传”取代“机 弱点。由于计算机程序的质量与 稳定性理论在自动控 械”，使用计算机控制飞机已经 投入的经费 （努力）直接相关， 制CPS设计中的应用 成为不可逆转的大趋势（事实上， 多版本意味着每个开发团队获得 现代飞机已经成为自动控制CP S 的经费远远小于总经费。这使得 CP S 的一大核心课题就是系 的经典案例）。这也造成了一个 每个版本的质量都远远低于集中 统工程。由于CPS 具有跨领域的 矛盾 ：一方面，用计算机程序控 所有经费开发出来的版本质量。 特性，参与CPS 设计、开发、安装、 制飞机势在必行 ；另一方面，无 夏雷(Lui Sh a) 对多版本和 维护的人员必然具有不同的学科 论是计算机专业的程序员，还是 单版本系统的可靠性作了比较研 [4] 背景。这些不同背景的专业人员 自动控制专业的工程师，甚至双 究 。如果以0 到T 时刻内计算 28 第 9 卷  第7 期  2013 年 7 月 靠性控制程序的输出来作用于物