MoVES - A Framework for Modelling and Verifying Embedded Systems

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    321 Downloads (Pure)


    The MoVES framework is being developed to assist in the early phases of embedded systems design. A system is modelled as an application running on an execution platform. The application is modelled through the individual tasks, and the execution platform is modelled through the processing elements, including the operating systems, and their interconnections. The tasks and processing elements are characterized by their real-time properties. The framework can be used to conduct schedulability analysis and has the potential to reason about different types of resource usage such as memory usage and power consumption. A simple specification language for embedded systems and a verification backend are presented. The framework has a modular, parameterized structure supporting easy extension and adaptation of the specification language as well as of the verification backend. We show, using a number of small examples, how MoVES can be used to model and analyze embedded systems.
    Original languageEnglish
    Title of host publication2009 International Conference on Microelectronics
    Publication date2009
    ISBN (Print)978-1-4244-5815-8
    Publication statusPublished - 2009
    EventThe 21st International Conference on Microelectronics - Marakesh, Morocco
    Duration: 1 Jan 2009 → …


    ConferenceThe 21st International Conference on Microelectronics
    CityMarakesh, Morocco
    Period01/01/2009 → …

    Bibliographical note

    Copyright 2009 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.


    Dive into the research topics of 'MoVES - A Framework for Modelling and Verifying Embedded Systems'. Together they form a unique fingerprint.

    Cite this