虚拟专用数字用户线 swMATH ID: 16254 软件作者： Nagy I、Cleophas LG、van den Brand M、Engelen L、Raulea L、Mithun EXL 描述： VPDSL：用于涵盖物流的软件在环仿真的DSL。我们提出了一种建模复杂制造系统（如ASML的光刻机）硬件配置的方法。这些硬件配置包括执行器和传感器元件，这些元件由包含3500多万行代码的系统软件控制。为了将测试和系统集成的成本降至最低，硬件配置的软件模拟器被用作虚拟硬件平台，可以在其上执行和测试实际控制软件。这种模拟和测试的一个重要方面是机器中的材料流动（特别是晶圆流动）。为了支持有效和高效地实现涵盖物流的模拟器，我们定义了一种领域特定语言（DSL）来建模要模拟的硬件配置，并使用模型驱动的工程方法来生成实现模拟器的软件组件。DSL不仅可以用于指定标称（即良好天气）行为，还可以用于指定基于模拟的故障注入场景。总体方法降低了早期硬件-软件集成的成本，并支持模拟由于难以或危险而无法在真实机器上执行的场景。 主页： http://ieeexplore.iee.org/xpl/login.jsp？tp=&arnumber=6299227 相关软件： Xtext（扩展文本）；z3（零3）；数学软件 引用于： 1文件 2位作者引用 1 萨门·凯什扎德 1 阿扬·J·穆伊（Arjan J.Mooij）。 连载1篇 1 计算的形式方面 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文