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.