Abstract : This work explores and advocates the use of automatic generation of local schedulers, with an application to the design of Wireless Sensors Networks (WSN). The contribution presented is a design method relying on formal tools, as well as a solution to the distribution problem of global scheduling solutions. This approach is illustrated and its feasibility is proven on a small example. The scalability aspect is also assessed, and it is shown that by the means of manual, but feasible effort, theoretical complexity limitations of formal tools can be efficiently handled.
