Synthesis of Parametric Embedded Real-Time Systems

Abstract

Synthesis means restricting a specification behavior such that the synthesized behavior satisfies some given property. Previous work on the synthesis of embedded real-time system have not considered parameters. In the world of embedded systems, parameters are of paramount importance for system design because tradeoffs among various system features and functionalities have to be made. We define and solve the parametric embedded real-time system synthesis problem by integrating parametric analysis techniques into embedded real-time system synthesis. An example is given to illustrate the feasibility of our approach.