Next Generation Software: Scalable Real-Time Simulation of Embedded Systems and Environments

可扩展的分布式实时仿真 嵌入式系统和环境 凯恩·金 加州大学欧文分校 0204050 嵌入式系统验证技术的重大改进正受到工业界越来越多的要求。 许多嵌入式系统软件的设计和实现不仅需要对嵌入式系统的非计算机部分和应用环境进行描述，而且需要对其进行仿真。 这里，期望类型的仿真器是实时（RT）仿真器，其表现出与仿真目标的定时行为相同或足够接近的定时行为。 这种模拟器可以实现嵌入式系统软件的高成本效益测试，并且这种测试可以比在实际应用环境中执行的测试便宜得多，同时比基于非RT环境模拟器的测试有效得多。 在这项研究中，大学-产业联合研究小组打算以合理的形式建立可持续发展计划的科学基础，从而实现RT模拟技术的根本进步。 计划开发支持中间件和其他工具原型。 这些工作的成功完成将意味着嵌入式系统验证技术的根本性进步。 将在行业伙伴的协助下进行案例研究，以评估在实际情况下使用该方案所实现的模拟性能和验证有效性的改进。 由国际合作伙伴开发的先进仪器和性能测量技术以及图形界面技术也将纳入并整合到该计划中。 更具体地说，提议小组打算：（1）验证的科学基础，包括分布式模拟器节点之间的一致性和并发性的最大化，（2）支持验证和模拟器编程的中间件和应用程序编程接口，（3）验证嵌入式系统的RT对象结构分布式软件的方法，该方法以非计算机部分和环境的RT模拟器的使用为中心，并且另外使用性能测量和图形可视化工具，和（4）案例研究，涉及免疫建筑物的RT模拟，旨在保护居民免受生物武器攻击和军事指挥-控制环境。

Scalable Distributed Real-Time Simulation of Embedded Systems and Environments Kane Kim University of California -Irvine 0204050 Major improvements in the validation technology for embedded systems are under increasing demands from industry. Not only description but also simulation of non-computer parts and application environments of embedded systems is needed in validating many embedded system software designs and implementations. Here the desired types of simulators are real-time (RT) simulators which exhibit the timing behavior that are the same as or sufficiently close to the timing behavior of the simulation targets. Such simulators can enable highly cost-effective testing of the embedded system software and such testing can be a lot cheaper that the testing performed in actual application environments while being much more effective than the testing based on non-RT simulators of environments. In this research, the joint university-industry research team intends to establish the scientific foundation for the DTS scheme in a sound form, thereby realizing fundamental advances in the state of the art in RT simulation. Development of support middleware and other tool prototypes is planned. Successful accomplishment of these will mean that the validation technology for embedded systems will be advanced in fundamental ways. Case studies for evaluating the improvements in simulation performance and validation effectiveness realized by use of the DTS scheme in practical contexts will be conducted with the assistance of industry partners. Advanced instrumentation and performance measurement technologies and graphic interface technologies developed by international collaborations partners will also be incorporated and integrated with the DTS scheme. More specifically, the proposing team intends to establish:(1) Scientific foundation for DTS, including that related to consistency among distributed simulator nodes and maximization of concurrency, (2) Middleware and application programming interfaces that support DTS and simulator programming, (3) A methodology for validation of RT object-structured distributed software for embedded systems, which is centered around the use of RT simulators of the non-computer parts and environments and additionally uses performance measurement and graphic visualization tools, and (4) Case studies involving an RT simulation of immune buildings designed to protect inhabitants against bio-weapon attacks and that of miliary command-control environments.