CAREER: Domain-Specific Modeling Techniques for Cyber-Physical Systems

这项研究的目的是注入新的建模技术到该地区的网络物理系统（CPS）。该方法是为特定领域的建模工具设计新的架构，以允许从分析，验证和验证引擎的反馈，以影响如何CPS的设计。该项目涉及到新的研究，现有的，异构建模语言的集成，以解决CPS设计中的问题，而不是一个单一的语言为所有CPS。由于许多用于分析、验证和确认的工具最多只关注CPS三个主要组成部分中的两个（通信、计算和控制），因此在设计过程的早期就使用建模中的新范例来集成工具。该项目开发的算法和软件在模型上运行验证和验证工具，然后通过使用工具输出自动修改系统模型来闭合循环。CPS中的设计要求的满足对于未来的社会技术至关重要，例如智能建筑，家庭医疗保健和水管理。最引人注目的设计要求之一是安全性，自动驾驶汽车的CPS很好地满足了这一要求。通过在该项目中使用全尺寸自动驾驶汽车，安全要求的验证和验证与广泛理解的具体平台联系在一起。通过让学生参与车辆行为的设计，该项目使未来的科学家和工程师接触到社会规模的问题，以及解决这些问题的工具。

The objective of this research is an injection of new modeling techniques into the area of Cyber-Physical Systems (CPSs). The approach is to design new architectures for domain-specific modeling tools in order to permit feedback from analysis, validation, and verification engines to influence how CPSs are designed. This project involves new research into the integration of existing, heterogeneous modeling languages in order to address problems in CPS design, rather than a single language for all CPS. Since many tools for analysis, validation, and verification focus on at most two of the three major components of CPS (communication, computation, and control), new paradigms in modeling are used to integrate tools early in the design process. The algorithms and software developed in this project run validation and verification tools on models, and then close the loop by using the tool outputs to automatically modify the system models.The satisfaction of design requirements in CPSs is critical for tomorrow's societal technologies such as smart buildings, home healthcare, and water management. Among the most compelling design requirements are those of safety, and CPSs for autonomous vehicles exemplify this well. By involving a full-sized autonomous vehicle in this project, the validation and verification of safety requirements is tied to a concrete platform that is broadly understood. By involving students in the design of behaviors of the vehicle, the project exposes scientists and engineers of tomorrow to societal-scale problems, and tools to address them.