Design of streaming applications on MPSoCs using abstract clocks

Abdoulaye Gamatié 1
1 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : This paper presents a cost-effective and formal approach to model and analyze streaming applications on multi-processor systems-on-chip (MPSoCs). This approach enables to address time requirements, mapping of applications on MPSoCs and system behavior correctness by using abstract clocks of synchronous languages. Compared to usual prototyping and simulation techniques, it is very fast and favors correctness-by-construction. No coding is needed to run and analyze a system, which avoids tedious debugging efforts. It is an ideal complement to existing techniques to deal with large system design spaces.
Document type :
Conference papers
Complete list of metadatas
Contributor : Abdoulaye Gamatié <>
Submitted on : Wednesday, November 28, 2012 - 11:48:23 AM
Last modification on : Thursday, February 21, 2019 - 10:52:49 AM


  • HAL Id : hal-00758182, version 1



Abdoulaye Gamatié. Design of streaming applications on MPSoCs using abstract clocks. Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012, Mar 2012, Dresden, France. pp.763-768. ⟨hal-00758182⟩



Record views