AADL extension to model classical FPGA and FPGA embedded within a SoC

International Journal of Reconfigurable Computing

Volumn 2011, Issue , 2011, Pages

  Blouin, Dominique ^a   Chillet, Daniel ^b   Senn, Eric ^a   Bilavarn, Sébastien ^c   Bonamy, Robin ^b   Samoyeau, Christian ^d  

^a UNIVERSITÉ DE BRETAGNE SUD   (France)

^b CAMPUS DE BEAULIEU   (France)

^c UNIVERSITY OF NICE SOPHIA ANTIPOLIS   (France)

^d InPixal   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 81555209816     PISSN: 16877195     EISSN: 16877209     Source Type: Journal    
DOI: 10.1155/2011/425401     Document Type: Article

References (20)

1. Lysaght P., Blodget B., Mason J., Young J., Bridgford B., Invited paper: enhanced architectures, design methodologies and CAD tools for dynamic reconfiguration of Xilinx FPGAS Proceedings of the International Conference on Field Programmable Logic and Applications (FPL '06) 2006 1 6
2. Model driven engineering, planet mde, portal of the model driven engineering community. 2008, http://planet-mde.org/
3. The Open-PEOPLE Project Website. 2009, http://www.open-people.fr/
4. Unified modeling language, omg. 2008, http://www.uml.org/
5. Rioux L., Saunier T., Gerard S., Radermacher A., de Simone R., Gautier T., Sorel Y., Forget J., Dekeyser J. L., Cuccuru A., MARTE: a new profile RFP for the modeling and analysis of real-time embedded systems Proceedings of the UML for SoC Design Workshop at (DAC '05) 2005
6. Cherif S., Quadri I. R., Meftali S., Dekeyser J.-L., Modeling reconfigurable Systems-on-Chips with UML MARTE profile: an exploratory analysis Proceedings of the 13th Euromicro Conference on Digital System Design (DSD '10) September 2010 Lille, France
7. Vidal J., De Lamotte F., Gogniat G., Diguet J.-P., Soulard P., UML design for dynamically reconfigurable multiprocessor embedded systems Proceedings of the Design, Automation Test in Europe Conference Exhibition (DATE '10) 2010 IEEE 1195 1200
8. Systems modeling language, omg. 2008, http://www.omgsysml.org/
9. Lallet J., Pillement S., Sentieys O., xMAML: a modeling language for dynamically reconfigurable architectures Proceedings of the Digital System Design, Architectures, Methods and Tools (DSD '09) august 2009 Patras, Greece IEEE 680 687
10. Fischer D., Teich J., Weper R., Kastens U., Thies M., Design space characterization for architecture/compiler co-exploration Proceedings of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES '01) 2001 New York, NY, USA ACM 108 115
11. Sendall S., Kozaczynski W., Model transformation: the heart and soul of model-driven software development IEEE Software 2003 20 5 42 45
12. Singhoff F., Legrand J., Nana L., Marcé L., Cheddar: a flexible real time scheduling framework Proceedings of the Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time Distributed Systems Using Ada and Related Technologies 2004 ACM 1 8
13. Harbour G., Garcia G., Gutierrez P., Moyano D., MAST: modeling and analysis suite for real time applications Proceedings of the 13th Euromicro Conference on Real-Time Systems 2002 IEEE 125 134
14. Berthomieu B., Bodeveix J. P., Farail P., Filali M., Garavel H., Gaufillet P., Lang F., Vernadat F., Fiacre: an intermediate language for model verification in the topcased environment Proceedings of the 4th European Congress on Embedded Real-Time Software (ERTS '08) 2008 Toulouse, France
15. Berthomieu B., Ribet P. O., Vernadat F., The tool TINAConstruction of abstract state spaces for petri nets and time petri nets International Journal of Production Research 2004 42 14 2741 2756
16. Varona-Gmez R., Villar E., AADS: AADL simulation and performance analysis in systemC Proceedings of the IEEE/ACM Design, Automation and Test in Europe 2009
17. Hugues J., Zalila B., Pautet L., Kordon F., From the prototype to the final embedded system using the Ocarina AADL tool suite ACM Transactions on Embedded Computing Systems 2008 7 4 1 25
18. Piel E., Attitalah R. B., Marquet P., Meftali S., Niar S., Etien A., Dekeyser J. L., Boulet P., Gaspard2: from MARTE to systemC simulation 8 Proceedings of the Modeling and Analyzis of Real-Time and Embedded Systems with the MARTE UML Profile (DATE '09) 2009
19. Architecture analysis design language (aadl), version 2. January 2010, http://standards.sae.org/as5506a/
20. Gilles O., Hugues J., Expressing and enforcing user-defined constraints of AADL models Proceedings of the 5th UML and AADL Workshop 2010 UML and AADL