Compiled from the proceedings of the Second International Conference on Embedded Software, EMSOFT 2002, held in Grenoble, France, in October 2002, this volume contains 13 invited papers and 17 revised full papers. The book spans the whole range of embedded software, including operating systems and middleware, programming languages and compilers, modelling and validation, software engineering and programming methodologies, scheduling and execution-time analysis, formal methods, and communication protocols and fault tolerance.