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.
Type de document :
Communication dans un congrès
Design, Automation and Test in Europe Conference (DATE'2012), Mar 2012, Dresden, Germany. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00665084
Contributeur : Mister Dart <>
Soumis le : mercredi 1 février 2012 - 11:08:30
Dernière modification le : mardi 24 avril 2018 - 13:34:59

Identifiants

  • HAL Id : hal-00665084, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

183