CAREER: MacroLab: a Comprehensive Macroprogramming System for Cyber-physical Systems

网络物理系统（CPS）允许计算机系统以一种新的方式监视和控制物理世界，这可能会彻底改变许多科学和工程领域。然而，它们往往过于复杂，非专业人士无法使用。这项工作的目的是开发新技术来管理这种复杂性，使科学家和工程师能够像使用其他工具和仪器一样使用CPS。 这项研究采取了全面的方法，宏编程-编程的任务，整个网络的设备作为一个单一的，可编程的基板。本研究利用全球性的，网络范围内的信息CPS提供的宏程序，以改善传统的软件工程技术，如测试，调试，分析和优化。正在开发的新技术，使用全局信息来优化系统性能，自动生成测试用例，并减少分析的状态空间。这项工作正在开发新的编程抽象，允许应用程序逻辑与服务质量要求和硬件要求分离，提高代码的可移植性和重用性。这项研究将产生一个全面的开发环境的CPS称为MacroLab。开发的新工具将大大简化其编程过程，使非专家更容易使用。通过全面了解网络及其软件，MacroLab将管理一系列复杂的、相互作用的问题，这些问题很难手工管理。 MacroLab将进行试点研究，包括环境监测。将开发CPS研究生课程。 MacroLab将用于课程实验和高级顶点项目。

Cyber-physical systems (CPSs) allow computer systems to monitor and control the physical world in a new way that could revolutionize many areas of science and engineering. However, they are often too complex for non-specialists to use. The aim of this work is to develop new technology to manage this complexity, enabling scientists and engineers to use CPSs just like other tools and instruments. This research takes a comprehensive approach to macroprogramming -- the task of programming an entire network of devices as a single, programmable substrate. This research exploits global, network-wide information about a CPS provided by a macroprogram to improve traditional software engineering techniques such as testing, debugging, analysis, and optimization. New techniques are being developed that use global information to optimize system performance, automatically generate test cases, and reduce the state space for analysis. This work is developing new programming abstractions that allow the separation of the application logic from quality-of-service requirements and hardware requirements, improving code portability and reuse. This research will produce a comprehensive development environment for CPSs called MacroLab. The new tools developed will greatly simplify the process of their programming and make them more accessible to non-experts. By taking a holistic view of the network and its software, MacroLab will manage a range of complex, interacting issues that would be extremely difficult to manage by hand. MacroLab will be tested pilot studies, including environmental monitoring. A graduate CPS course will be developed. MacroLab will be used for course experiments and in senior capstone projects.