CPS: Breakthrough: Collaborative Research: A Framework for Extensibility-Driven Design of Cyber-Physical Systems

CPS：突破：协作研究：网络物理系统可扩展性驱动设计的框架

• 批准号: 1646381
• 负责人: Qi Zhu
• 金额: $ 20万
• 依托单位: University of California-Riverside
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-09-01 至 2018-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1646381&HistoricalAwards=false
• 关键词: CPS; Breakthrough; Collaborative; Research; Framework

A longstanding problem in the design of cyber-physical systems is the inability and ineffectiveness in coping with software and hardware evolutions over the lifetime of a design or across multiple versions in the same product family. The objective of this project is to develop a systematic framework for designing extensible cyber-physical systems that can enable efficient and correct updates with minimal redesign and re-verification efforts. The intellectual merits are (1) a new and unified framework that optimizes system extensibility by addressing both functional correctness and platform feasibility, and (2) new algorithms for functional verification with platform consideration, software architecture synthesis driven by extensibility metrics, and integration of verification and synthesis for joint design space exploration. The project?s broader significance and importance are (1) enabling engineers to cope with continual changes in cyber-physical design components or operating conditions, thereby significantly reducing redesign and re-verification cost, (2) providing a general framework for designing extensible systems that is applicable to a wide range of systems including robotic, automotive, and avionic systems, and (3) providing new methodologies and techniques that facilitate the training of undergraduate and graduate students to meet the design challenges of cyber-physical systems.Many cyber-physical systems today are one-off designs -- systems designed without future changes in mind. The proposed extensibility-driven design (EDD) framework treats extensibility as a first-class design objective and addresses it with a holistic consideration of functional properties and platform implementation. An EDD design flow provides the following capabilities. At the initial design stage, EDD identifies certain constraints (e.g., timing) that are critical for functional correctness, and explores the design space to maximize the amount of future software and hardware changes that can be made without violating these constraints. During design updates, EDD first determines whether it is possible to accommodate the updates through software architecture re-synthesis, so as to avoid costly re-verification. In the cases where the updates violate existing platform constraints and requirements, EDD selectively modifies some of them to explore feasible changes while minimizing re-verification efforts.

网络物理系统设计中的一个长期问题是，在设计一生或同一产品系列中多个版本的一生中应对软件和硬件演变的无能和无效性。该项目的目的是开发一个系统的框架，用于设计可扩展的网络物理系统，该系统可以通过最少的重新设计和重新验证工作来实现高效和正确的更新。智力优点是（1）一种新的统一框架，通过解决功能正确性和平台可行性来优化系统的可扩展性，以及（2）新的算法，用于功能验证的新算法，通过平台考虑，软件体系结构，由扩展性指标驱动的软件架构合成，以及验证和合成的关节设计空间勘探的集成和合成。该项目的更广泛的意义和重要性是（1）使工程师能够应对网络物理设计组件或操作条件的持续变化，从而大大降低了重新设计和重新验证成本，（2）提供一个可扩展的系统，可扩展到适用于更广泛的系统，包括机器人，自动，自动机器人和Aviensiel和Avioniel和Avionic和Avionic和Avionic和3）培训本科生和研究生以应对网络物理系统的设计挑战。当今的网络物理系统是一次性设计 - 设计的系统，而无需将来的变化。拟议的可扩展性驱动设计（EDD）框架将扩展性视为一流的设计目标，并以对功能属性和平台实现的整体考虑。 EDD设计流提供以下功能。在最初的设计阶段，EDD确定了对功能正确性至关重要的某些约束（例如时间安排），并探索设计空间以最大程度地提高未来软件和硬件更改的数量，而这些更改可以在不违反这些约束的情况下进行。在设计更新过程中，EDD首先确定是否可以通过软件体系结构重新合成来适应更新，以免昂贵的重新验证。在更新违反现有平台约束和要求的情况下，EDD选择性地修改了其中一些以探索可行的更改，同时最大程度地减少重新验证工作。

项目成果

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking

使用统计模型检查对不确定性感知混合 AADL 设计进行定量性能评估

• DOI: 10.1109/tcad.2017.2681076
• 发表时间: 2017-03
• 期刊: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
• 影响因子: 2.9
• 作者: Yongxiang Bao;陈铭松;Qi Zhu;Tongquan Wei;Frederic Mallet;Tingliang Zhou
• 通讯作者: Tingliang Zhou

Extensibility-Driven Automotive In-Vehicle Architecture Design

可扩展性驱动的汽车车载架构设计

• DOI: 10.1145/3061639.3072956
• 发表时间: 2017
• 期刊: 54th IEEE/ACM Design Automation Conference (DAC’17
• 作者: Zhu, Qi;Liang, Hengyi;Zhang, Licong;Roy, Debayan;Li, Wenchao;Chakraborty, Samarjit
• 通讯作者: Chakraborty, Samarjit

Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management

• DOI: 10.1109/smartcomp.2017.7946999
• 发表时间: 2017-05
• 期刊: 2017 IEEE International Conference on Smart Computing (SMARTCOMP)
• 作者: Bowen Zheng;Chung-Wei Lin;Hengyi Liang;Shin'ichi Shiraishi;Wenchao Li;Qi Zhu

Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities

• DOI: 10.1109/tcad.2016.2633961
• 发表时间: 2017-09
• 期刊: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
• 影响因子: 2.9
• 作者: S. Seshia;Shiyan Hu;Wenchao Li;Qi Zhu

Sustainability-Oriented Evaluation and Optimization for MPSoC Task Allocation and Scheduling Under Thermal and Energy Variations

热和能量变化下 MPSoC 任务分配和调度的面向可持续性的评估和优化

• DOI: 10.1109/tsusc.2017.2723500
• 期刊: IEEE TRANSACTIONS ON SUSTAINABLE COMPUTING
• 影响因子: 3.9
• 作者: Mingsong Chen;Xinqian Zhang;Haifeng Gu;Tongquan Wei;Qi Zhu
• 通讯作者: Qi Zhu