Skip to Main content Skip to Navigation
Conference papers

Design of Streaming Applications on MPSoCs using Abstract Clocks

Abdoulaye Gamatié 1, 2 
2 LIFL - DART/Émeraude
LIFL - Laboratoire d'Informatique Fondamentale de Lille
Abstract : This paper presents a cost-effective and formal approach to model and analyze streaming applications on multiprocessor 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 metadata
Contributor : Mister Dart Connect in order to contact the contributor
Submitted on : Wednesday, February 1, 2012 - 11:08:30 AM
Last modification on : Thursday, February 21, 2019 - 10:52:54 AM


  • HAL Id : hal-00665084, version 1



Abdoulaye Gamatié. Design of Streaming Applications on MPSoCs using Abstract Clocks. Design, Automation and Test in Europe Conference (DATE'2012), Mar 2012, Dresden, Germany. ⟨hal-00665084⟩



Record views