Functional Validation of AADL Models via Model Transformation to SystemC with ATL - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Functional Validation of AADL Models via Model Transformation to SystemC with ATL

Résumé

In this paper, we put into action an ATL model transformation in order to automatically generate SystemC models from AADL models. The AADL models represent electronic systems to be embedded into FPGAs. Our contribution allows for an early analytical estimation of energetic needs and a rapid SystemC simulation before implementation. The transformation has been tested to simulate an existing video image processing system embedded into a Xilinx Virtex5 FPGA.

Domaines

Electronique
Fichier principal
Vignette du fichier
AADL2SYSTEMC_ACES-MB_2012_camera_ready.pdf (354.91 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00759904 , version 1 (03-12-2012)

Identifiants

  • HAL Id : hal-00759904 , version 1

Citer

Pierre Bomel, Dominique Blouin, Mickael Lanoe, Eric Senn. Functional Validation of AADL Models via Model Transformation to SystemC with ATL. 5th International Workshop on Model Based Architecting and Construction of Embedded Systems ACES 2012, Sep 2012, Innsbruck, Austria. ⟨hal-00759904⟩
394 Consultations
375 Téléchargements

Partager

Gmail Facebook X LinkedIn More