Component Assemblies in the Context of Manycore

Ananda Basu (1) , Saddek Bensalem (1) , Marius Bozga (1) , Paraskevas Bourgos (1) , Mayur Maheshwari (1) , Joseph Sifakis (1, 2)

1 VERIMAG - IMAG - VERIMAG
2 RISD - Rigorous System Design Laboratory [Lausanne]

We present a component-based software design flow for building parallel applications running on top of manycore platforms. The flow is based on the BIP - Behaviour, Interaction, Priority - component frameworkand its associated toolbox. It provides full support for modeling of application software, validation of its functional correctness, modeling and performance analysis on system-level models, code generation and deployment on target manycore platforms. The paper details some of the steps of the design flow. The design flow is illustrated through the modeling and deployment of two applications, the Cholesky factorization and the MJPEG decoding on MPARM, an ARM-based manycore platform. We emphasize the merits of the design flow, notably fast performance analysis as well as code generation and effi cient deployment on manycore platforms.

Domaines: Systèmes embarqués

Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, et al.. Component Assemblies in the Context of Manycore. Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Oct 2011, Torino, Italy. pp.314-333, ⟨10.1007/978-3-642-35887-6_17⟩. ⟨hal-00878716⟩