From System Model Formalization Towards Correct and Efficient HW/SW Design - Archive ouverte HAL
Communication Dans Un Congrès Année : 2013

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

Résumé

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.
Fichier non déposé

Dates et versions

hal-00841753 , version 1 (05-07-2013)

Identifiants

  • HAL Id : hal-00841753 , version 1

Citer

M. Jaber, A. Chagoya-Garzon, Frédéric Rousseau. From System Model Formalization Towards Correct and Efficient HW/SW Design. 8th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS), UAE, March 26-28, Mar 2013, Abu Dhabi, United Arab Emirates. pp.85_90. ⟨hal-00841753⟩

Collections

UGA CNRS TIMA
71 Consultations
0 Téléchargements

Partager

More