CAREER: SOlSTICe: Software Synthesis with Timing Contracts for Cyber-Physical Systems

职业：SolSTice：网络物理系统的带有定时合同的软件综合

• 批准号: 1834701
• 负责人: Qi Zhu
• 金额: $ 49.01万
• 依托单位: Northwestern University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-01-01 至 2023-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1834701&HistoricalAwards=false
• 关键词: CAREER; SOlSTICe; Software; Synthesis; Timing

This project aims to develop innovative design automation methodologies and algorithms for software synthesis of cyber-physical systems (CPS), which have applications in key sectors such as automotive, aerospace, healthcare, and industrial automation. Software has become critical and drives future innovations for many such systems, but faces significant challenges in its development, in particular regarding the formulation, exploration and validation of timing constraints. The results from this project will address critical timing challenges in CPS software development, and lead to correct, predictable and efficient software implementations. In addition to disseminating the results through publications and workshops, the PI will collaborate with industry partners on transitioning the research findings into practice. Leveraging the research activities, the PI will develop an integrated education program that focuses on the interdisciplinary education of K-12, undergraduate and graduate students, through Lego Mindstorms labs development and contest organization, new CPS course development, and textbook writing. The project will develop, a software synthesis framework that addresses the timing challenges in CPS by quantitatively exploring timing constraints for multiple conflicting design metrics and across multiple abstraction layers, and using these timing constraints to drive the design space exploration. Developing the framework includes three closely-related research themes: (1) formulating and exploring timing contracts to co-design functionality and software architecture with respect to various design metrics (e.g., performance, security, schedulability) and to carry out hierarchical refinement across abstraction layers, (2) exploring the generation of software tasks from functional models and the mapping of those tasks onto hardware platforms with holistic timing consideration throughout the synthesis process, and (3) co-simulating functional and architectural models with explicit representation and evaluation of timing contracts to complement the proposed analytical synthesis algorithms.

该项目旨在开发用于网络物理系统（CPS）软件合成的创新设计自动化方法和算法，这些方法在汽车，航空航天，医疗保健和工业自动化等关键领域中有应用。软件已成为关键，并为许多这样的系统推动了未来的创新，但是在其开发方面面临着重大挑战，尤其是在定时限制的制定，探索和验证方面。该项目的结果将解决CPS软件开发中的关键时机挑战，并导致校正，可预测和高效的软件实现。除了通过出版和研讨会传播结果外，PI还将与行业合作伙伴合作，将研究结果转移到实践中。利用研究活动，P​​I将通过LEGO Mindstorms Labs开发和竞赛组织，新的CPS课程发展和教科书写作，开发一项综合教育计划，该计划侧重于K-12，本科和研究生的跨学科教育。该项目将开发一个软件综合框架，该框架通过定量探索多个冲突设计指标和多个抽象层的定时限制来解决CPS中的时机挑战，并使用这些时序约束来驱动设计空间探索。开发该框架包括三个密切相关的研究主题：（1）在各种设计指标（例如性能，安全性，安全性，计划，调度性）方面，对共同设计的功能和软件体系结构的定时合同进行制定和探索，并在整个抽象层中进行跨层次的精炼，（2）探索在功能范围内的范围内的跨越范围，（2）探索功能范围的任务，该任务是构成的构造。过程，以及（3）与定时合同的明确表示和评估，以补充提出的分析合成算法，对功能和架构模型进行共同模拟。

项目成果

A Safety-Guaranteed Framework for Neural-Network-Based Planners in Connected Vehicles under Communication Disturbance

• DOI: 10.23919/date56975.2023.10137184
• 发表时间: 2023-04
• 期刊: 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)
• 作者: K. Chang;Xiangguo Liu;Chung-Wei Lin;Chao Huang;Qi Zhu

ReachNN: Reachability Analysis of Neural-Network Controlled Systems

• DOI: 10.1145/3358228
• 发表时间: 2019-10-01
• 期刊: ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
• 影响因子: 2
• 作者: Huang, Chao;Fan, Jiameng;Zhu, Qi
• 通讯作者: Zhu, Qi

Mixed-Traffic Intersection Management Utilizing Connected and Autonomous Vehicles as Traffic Regulators

• DOI: 10.1145/3566097.3567849
• 发表时间: 2023-01
• 期刊: 2023 28th Asia and South Pacific Design Automation Conference (ASP-DAC)
• 作者: Pin-Chun Chen;Xiangguo Liu;Chung-Wei Lin;Chao Huang;Qi Zhu

Formal Verification of Weakly-Hard Systems

• DOI: 10.1145/3302504.3311811
• 发表时间: 2019-01-01
• 期刊: PROCEEDINGS OF THE 2019 22ND ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC '19)
• 作者: Huang, Chao;Li, Wenchao;Zhu, Qi
• 通讯作者: Zhu, Qi

Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems

• DOI: 10.1109/allerton58177.2023.10313451
• 发表时间: 2023-09
• 期刊: 2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton)
• 作者: Qi Zhu;Wenchao Li;Chao Huang;Xin Chen;Weichao Zhou;Yixuan Wang;Jiajun Li;Feisi Fu