CAREER- SOlSTICe- Software Synthesis with Timing Contracts for Cyber-Physical Systems
pdf
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 CPS, however faces significant challenges in its development, in particular regarding the formulation, exploration and validation of timing constraints.
Submitted by Qi Zhu
on
pdf
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 CPS, however faces significant challenges in its development, in particular regarding the formulation, exploration and validation of timing constraints.
Submitted by Qi Zhu
on