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
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
Effective start/end date1/1/1812/31/21


  • 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.