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

Project: Research project

Project Details


Software has become critical and drives future innovations for many cyber-physical systems (CPS), however faces significant challenges in its development. At the core of CPS software challenges is timing, which has critical impacts on both functional correctness and various design metrics such as control performance, extensibility, fault tolerance and security. Despite significant advances in capturing timing for CPS modeling and simulation, the synthesis of CPS software remains hindered by timing-related issues: 1) diversity of timing requirements from different design metrics, some with conflicting constraints; 2) complexity of timing analysis under complex scale, hierarchy and concurrency of computation and communication; and 3) uncertainty of timing behavior resulting from dynamic environment, data input and platform conditions. This project proposes SOlSTICe, a software synthesis framework for cyber-physical systems. SOlSTICe will address the timing challenges in CPS by quantitatively exploring timing constraints with respect to multiple conflicting design metrics and across multiple abstraction layers, and using these timing constraints to drive the exploration of design space throughout software synthesis. Building SOlSTICe includes three closely-related research themes: A) multi-metric co-design and hierarchical refinement with timing contracts formulation and exploration, which addresses the challenges from diverse timing requirements and hierarchical design complexity; B) timing-centric holistic task generation and mapping, which explores 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 C) function-architecture co-simulation with explicit representation and evaluation of timing contracts, for complementing the proposed analytical synthesis algorithms. The PI has extensive experience on addressing CPS timing from his earlier work in modeling and synthesis of distributed embedded systems and cyber-physical systems. Intellectual
Effective start/end date1/1/1812/31/22


  • National Science Foundation (CCF-1834701 005)


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.