C Source Code More
Press F11 to leave fullscreen
Press F11 to leave fullscreen
Press F11 to leave fullscreen
Nothing yet, press "Weave Application".
Output Log
This website presents a demonstration of MANET. It does not represent neither the current version of MANET nor the full LARA technology.


MANET is a C-to-C compilation tool for code instrumentation and transformations controlled by the LARA language. MANET is being currently used and improved in the context of AutoSeer and RL8 - Real Time Languages and tools for critical real time systems projects. AutoSeer is partially funded by the Portuguese Science Foundation - Fundação para a Ciência e Tecnologia (FCT under grant PTDC/EIA-CCO/116796/2010. RL8 - Real Time Languages and tools for critical real time systems is partially funded by FEDER/ON2 and FCT project NORTE-07-124-FEDER-000062. We also acknowledge the support of FCT through grant SFRH/BD/90507/2012.

MANET uses the Cetus compiler, a C-to-C compiler developed at Purdue University. LARA [1] is a domain-specific, aspect-oriented language proposed during the REFLECT project and currently being maintained and further developed by University of Porto, Porto, Portugal, and Imperial College, London, UK.

For more information on LARA, please see the LARA wiki.


[1] João M.P. Cardoso, Tiago Carvalho, José G.F. Coutinho, Wayne Luk, Ricardo Nobre, Pedro Diniz, and Zlatko Petrov. 2012. LARA: an aspect-oriented programming language for embedded systems. In Proceedings of the 11th annual international conference on Aspect-oriented Software Development (AOSD '12). ACM, New York, NY, USA, 179-190. [ACM] [bibtex]


João M.P. Cardoso (


MANET is a project that has been partially funded by: