MOVES - A tool for Modeling and Verification of Embedded Systems



AbstractWe 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).
TypeConference paper [With referee]
ConferenceDATE'07 University Booth
Year2007    Month April
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering