Static scheduling and software synthesis for dataflow graphs with symbolic model-checking

Zonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He, Qingxu Deng, Ge Yu

Research output: Chapter in book / Conference proceedingConference article published in proceeding or bookAcademic researchpeer-review

9 Citations (Scopus)

Abstract

In this paper, we address the problem of static scheduling and software synthesis for dataflow graphs with the symbolic model-checker NuSMV using a two-step process: first use model-checking to obtain a static schedule with the objective of minimizing the data buffer size, then synthesize efficient code from the static schedule with the objective of minimizing code size and performance overheads due to runtime dynamic decisions. We show the effectiveness of these techniques using a number of digital signal processing examples.
Original languageEnglish
Title of host publicationProceedings - 28th IEEE International Real-Time Systems Symposium, RTSS 2007
Pages353-364
Number of pages12
DOIs
Publication statusPublished - 1 Dec 2007
Externally publishedYes
Event28th IEEE International Real-Time Systems Symposium, RTSS 2007 - Tucson, AZ, United States
Duration: 3 Dec 20076 Dec 2007

Conference

Conference28th IEEE International Real-Time Systems Symposium, RTSS 2007
CountryUnited States
CityTucson, AZ
Period3/12/076/12/07

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Cite this