2 papers
cs.LO2009
Modelling Clock Synchronization in the Chess gMAC WSN Protocol
Mathijs Schuts, Feng Zhu, Faranak Heidarian +1
We present a detailled timed automata model of the clock synchronization algorithm that is currently being used in a wireless sensor network (WSN) that has been developed by the Du…
cs.FL2009
Adaptive Scheduling of Data Paths using Uppaal Tiga
Israa AlAttili, Fred Houben, Georgeta Igna +3
We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a printer. As…