Methodology and toolset for model verification, hardware/software co-simulation, performance optimisation and customisable source-code generation

WSEAS Transactions on Information Science and Applications

Volumn 10, Issue 6, 2013, Pages 169-178

  Berger, M ^a   Soler, J ^a   Yu, H ^a   Tsagkaropoulos, M ^a   Leclerc, Y ^a   Olma, C ^a  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

Customisablecode generation; HW SW co simulation; Model Verification; SW optimization

Indexed keywords

AUTOMATED ANALYSIS; AUTOMATED MODELLING; CUSTOMISABLECODE GENERATION; HARDWARE/SOFTWARE; HW/SW CO-SIMULATION; MODEL VERIFICATION; PERFORMANCE OPTIMISATION; SIMULATION PLATFORM;

COMPUTER SIMULATION; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; ENGINES; HARDWARE; NETWORK COMPONENTS; OPTIMIZATION;

VERIFICATION;

EID: 84885009574     PISSN: 17900832     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (16)

1. XIN BEN LI, DE CHAO SUN, "Formal Analysis and Verification of a Communication Protocol", 5th WSEAS Int. Conference on Information Security and Privacy, Venice, Italy, November 20-22, 2006
2. Ďurfina, L., Křoustek, J., Zemek, P., Kolář, D., Hruška, T., Masařík, K., Meduna, A.: Design of an Automatically Generated Retargetable Decompiler, In: 2nd European Conference of COMPUTER SCIENCE (ECCS'11), Puerto De La Cruz, Tenerife, ES, NAUN, 2011, p. 199-204, ISBN 978-1-61804-056-5
3. Hyperlink at: http://www.systemc.org
4. W.H. Tan, P.S. Thiagarajan, W.F. Wong, Y. Zhu and S.K. Pilakkat "Synthesizable System C Code from UML Models," (2004) hyperlink at: http://www.scientificcommons.org/43529677
5. Sergey Balandin, Michel Gillet, Alexey Rabin, Valentin Olenev, Alexander Stepanov, Irina Lavrovskaya, "System C and SDL Co-Modelling Implementation", hyperlink at: http://fruct.org/conf7/Rabin-SystemC-and- SDL-C o-Modelling-Implementation.pdf
6. R. C. Whaley, A. Petitet, and J. Dongarra. Automated empirical optimizations of software and the ATLAS project. Parallel Computing, 27(1):3-25, 2001.
7. R. Vuduc, J. Demmel, and K. Yelick. OSKI: An interface for a self-optimizing library of sparse matrix kernels, 2005.
8. M. Frigo and S. Johnson. FFTW: An Adaptive Software Architecture for the FFT. In Proceedings of the International Conference on Acoustics, Speech, and Signal Processing (ICASSP), volume 3, page 1381, 1998.
9. Qing Yi, "Automated Programmable Code Transformation For Portable Performance Tuning," Hyperlink at: http://www.cs.utsa.edu/~qingyi/papers/ ROSE2POE T.pdf
10. M. Stephenson and S.P. Amarasinghe. Predicting unroll factors using supervised classi cation. In Proceedings of International Symposium on Code Generation and Optimization (CGO), pages 123-34, 2005. (Pubitemid 43773798)
11. B. Franke, M.F.P. O'Boyle, J. Thomson, and G. Fursin. Probabilistic source-level optimization of embedded programs. In Proceedings of the Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pages 78-96, 2005.
12. K.D. Cooper, A. Grosul, T.J. Harvey, S. Reeves, D. Subramanian, L. Torczon, and T. Waterman. Acme: adaptive compilation made e cient. In Proceedings of the Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pages 69-77, 2005.
13. P. Kulkarni, W. Zhao, H. Moon, K. Cho, D. Whalley, J. Davidson, M. Bailey, Y. Paek, and K. Gallivan. Finding e ective optimization phase sequences. In Proceedings of the Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pages 12-23, 2003.
14. Christophe Dubach, John Cavazos, Björn Franke, Grigori Fursin, Michael F.P. O'Boyle, Olivier Temam, "Fast compiler optimisation evaluation using code-feature based performance prediction," CF '07 Proceedings of the 4th international conference on Computing frontiers.
15. Xoncrete, Integrated editor and analysis tool/planning tool for Xtratu M hypervisor, http://www.fentiss.com/en/products/xoncrete.html
16. Xtratu M hypervisorfor real-time embedded systems, http://www.xtratum. org/