Skip to Content

MOVES: A Tool for Modelling and Verification of Embedded Systems

0
Your rating: None
(unregistered) Author(s): 
J. Ellebk
K. S. Knudsen
A. Brekling
M. R. Hansen
Jan Madsen

We demonstrate MOVES, a tool which allows designers of embedded systems to explore possible implementations early in the design process. The demonstration of MOVES will show how designers can explore different designs by changing the mapping of tasks on processing elements, the number and/or speed of processing elements, the size of local memories, and the operating systems (scheduling algorithm).

Contact:
Jan Madsen (jan@imm.dtu.dk)