MOVES - A tool for Modeling and Verification of Embedded Systems

Jens Ellebæk, Kristian S. Knudsen, Aske Wiid Brekling, Michael Reichhardt Hansen, Jan Madsen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    110 Downloads (Pure)

    Abstract

    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).
    Original languageEnglish
    Title of host publicationDATE'07 University Booth
    PublisherEEDA
    Publication date2007
    Publication statusPublished - 2007
    Event2007 Design, Automation and Test in Europe Conference and Exposition - Nice, France
    Duration: 16 Apr 200720 Apr 2007
    http://www.informatik.uni-trier.de/~ley/db/conf/date/date2007.html

    Conference

    Conference2007 Design, Automation and Test in Europe Conference and Exposition
    CountryFrance
    CityNice
    Period16/04/200720/04/2007
    Internet address

    Fingerprint Dive into the research topics of 'MOVES - A tool for Modeling and Verification of Embedded Systems'. Together they form a unique fingerprint.

    Cite this