@inproceedings{9e2ee5faf4b44ab8b5268b22cca5b674,
title = "Functional validation of AADL models via model transformation to SystemC with ATL",
abstract = "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.",
keywords = "AADL, ATL, FPGA, functional validation, MDE, program synthesis, simulation, SystemC",
author = "Pierre Bomel and Dominique Blouin and Mickael Lanoe and Eric Senn",
year = "2012",
month = dec,
day = "1",
doi = "10.1145/2432631.2432634",
language = "English",
isbn = "9781450318006",
series = "MODELS 2012 Innsbruck - Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB 2012",
pages = "13--18",
booktitle = "MODELS 2012 Innsbruck - Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB 2012",
note = "5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB 2012 ; Conference date: 30-09-2012 Through 30-09-2012",
}