Methodology and Toolset for Model Verification, Hardware/Software co-simulation, Performance Optimisation and Customisable Source-code generation

Michael Stübert Berger, José Soler, Hao Yu, M. Tsagkaropoulos,, Y. Leclerc, C. Olma

Research output: Contribution to journalJournal articleResearchpeer-review

374 Downloads (Pure)


The MODUS project aims to provide a pragmatic and viable solution that will allow SMEs to substantially improve their positioning in the embedded-systems development market. The MODUS tool will provide a model verification and Hardware/Software co-simulation tool (TRIAL) and a performance optimisation and customisable source-code generation tool (TUNE). The concept is depicted in automated modelling and optimisation of embedded-systems development. The tool will enable model verification by guiding the selection of existing open-source model verification engines, based on the automated analysis of system properties, and producing inputs to be fed into these engines, interfacing with standard (SystemC) simulation platforms for HW/SW co-simulation, customisable source-code generation towards respecting coding standards and conventions and software performance-tuning optimisation through automated design transformations.
Original languageEnglish
JournalW S E A S Transactions on Information Science and Applications
Issue number10
Pages (from-to)169-178
Publication statusPublished - 2013


  • Model verification
  • HW/SW co-simulation
  • Customisablecode generation
  • SW optimization

Cite this