虚拟仪器将走向何方？

未来之路：图形化的系统设计平台

　　一个已被验证的规律是，任何一门计算机编程语言的寿命都不超过50年。LabVIEW已经走过了20个年头，接下来的30年它会朝着哪个方向发展？

　　"我们看到，不论在测试、设计还是控制领域，技术上的复杂性正在日益提高。工程师正在面临越来越多的压力。"NI中国市场部经理朱君表示，"他们需要一个新的平台，以简化各种复杂的技术，从设计到原型，从测试到验证，以及到最后的发布和制造。从而让他们变得最高效，最快地将产品投放市场，并最具竞争力。"

　　这个平台就是NI一直在推广的新概念，以LabVIEW为核心的图形化系统设计平台的概念。它的起点就是最新的LabVIEW8.20。"LabVIEW8.20已经形成了这个平台的初步雏形。" Kodosky表示，他指的是上文中提到的仿真工具和MathScript。

　　在LabVIEW8.0中已经出现了初步的仿真工具。不过其应用范围比较窄，仅有一些客户才能用到。新的LabVIEW8.20中，仿真工具已经成为一个完整的工具包。另外， MathScript的出现使得客户可以重新利用他们的自有代码。"这两点在设计中是非常重要的。它能将设计和测试联系在一起。"他强调。不过，或许还应该再加上一条，因为在随后关于FPGA的重要性阐述中，Kodosky指出，不同于单线程的C语言，并行LabVIEW和并行的FPGA的结合将推动LabVIEW未来的发展。

　　LabVIEW还在不断完善。多内核技术正在深入人心，LabVIEW早已开始支持多线程功能，不过，Kodosky希望在接下来能更进一步简化并行程序的构架。此外，尽管图形Diff在LabVIEW5中就已出现，但为了团队合作开发环境的需要，还需要完成合并求补运算。当然，在已经得到简化的分布式应用上，继续降低复杂性也是大势所趋。Kodosky透露，NI正在致力于研发一个伴随窗口(companion window)，它可以显示项目的图解视图，包括描述项目组件之间的逻辑和物理连接。另外他还指出，尽管在定时循环和序列等新的结构上取得了很大进步，但LabVIEW在FPGA上要做的仍然有很多，对定时和触发的表述是主要研究重点。

　　尽管有可能无法取得最终的结果，但是NI仍然在不断进行创新。Kodosky介绍了一个名为"自动程序框图验证"的研究，以期能将"正确性证明(correctness proof)"加入到虚拟仪器程序框图源代码之中。用户可以通过名为定理模块的图形结构用正确性断言(correctness assertion)来评注他的程序框图。用LabVIEW编译程序框图时，特定的插件把定理模块断言解析成逻辑形式的中间层，通过归纳试探法(induction heuristics)，插件程序能将对象级(object-level)程序框图和元层(meta-level)断言译为符合一阶数学逻辑的归纳证明法则(proof obligation)。然后证明法则被传递到一个试图得到证明的高级定理证明器。

　　如果得到证明，则验证了程序框图与它的特殊定理相吻合。如果不能得到证明，则用户能得到关于定理中所缺少信息的提示或是程序框图中哪里出错的提示。用户能够在自己的设计中纠正错误，修改正确性断言，并引导定理证明器试图找到证明。

　　NI正在同德州大学Austin分校的科学家们共同开发这个项目。目前该项目还处于初级阶段。Kodosky表示，可能还需要很长时间该特性才会在LabVIEW中出现。