< retour aux publications

From System Model Formalization Towards Correct and Efficient HW/SW Design

Auteur(s) : M. Jaber, A. Chagoya-Garzon, F. Rousseau

Doc. Source: 8th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS'13)

Publisher : IEEE

Pages : 85-90

We propose a formalism including a set of constraints for the modeling of a correct and efficient HW/SW systems. The hardware architecture is described as the interconnection of several heterogeneous MPSoCs (called tiles). The presented formalism encompasses all known tiles. The software model is described as a kahn process network. Using a dedicated framework, we define a domain language targeting the proposed formalism along with its constraints. The goal is to specify a (1) correct hardware architecture, (2) correct software model, and (3) correct mapping which binds a software model on a hardware architecture. Finally, we show the possibility to automatically construct a set of complete models from a partial one, where the constructed models satisfy the set of the predefined constraints.