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

https://hal.inria.fr/hal-00758182
Contributor : Abdoulaye Gamatié <>
Submitted on : Wednesday, November 28, 2012 - 11:48:23 AM
Last modification on : Thursday, February 21, 2019 - 10:52:49 AM

Identifiers

  • HAL Id : hal-00758182, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

102