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.
Type de document :
Communication dans un congrès
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012, Mar 2012, Dresden, France. pp.763-768, 2012, 〈http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6176571〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00758182
Contributeur : Abdoulaye Gamatié <>
Soumis le : mercredi 28 novembre 2012 - 11:48:23
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13

Identifiants

  • 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, 2012, 〈http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6176571〉. 〈hal-00758182〉

Partager

Métriques

Consultations de la notice

63