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

职业：MacroLab：用于网络物理系统的综合宏编程系统

• 批准号: 0845761
• 负责人: Cameron (Kamin) Whitehouse
• 金额: $ 41万
• 依托单位: University of Virginia Main Campus
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-02-15 至 2015-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0845761&HistoricalAwards=false
• 关键词: CAREER; MacroLab; Comprehensive; Macroprogramming; System

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.

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