On Thu, Feb 04, 2010 at 04:41:24PM +0100, Kamin, Volker wrote: > I am currently assembling a case study for a assembly code model checker for > embedded systems. > I would like to check "real-world" programs written in nesC for the Atmega128 > and would welcome any contributions. > As my research focuses on assembly level, I would appreciate it, if you could > send me compiled versions (e.g. elf-files) along with a short description (a > few sentences) of the programs purpose. > What's in it for you? There will be a staff of researches trying to model > check your code and looking for bugs. You basically get free bug hunting ;-)
TinyECC contains assembly code for the Atmega128: http://discovery.csc.ncsu.edu/software/TinyECC/ It was developed for tinyos 1.x, but I could easily port it at least partly to tinyos 2.x for TelosB. Regards Till
pgptzpbi3xXky.pgp
Description: PGP signature
_______________________________________________ Tinyos-help mailing list [email protected] https://www.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help
