Bachelor and Master Theses

Title: GUI for component behavior based on REMES
Subject: Computer Science
Level: Advanced
Description: Models and components have become an indispensable part in the development of embedded systems. They reduce the complexity of embedded systems and provide a formal ground on which analysis and synthesis may be performed. ProCom is a component model intended for embedded systems design. It has been developed within PROGRESS, a large research project aiming to provide component-based techniques for the development of embedded systems. The behavior of ProCom components is specified in the REMES modeling language. REMES is used for specification for both functional and extra-functional behavior of the components (timing, resource usage, reliability etc.)
Without proper tool support, the use of models and components is very difficult. This tool support is typically integrated in an Integrated Development Environment (IDE), which is simply a framework containing a programming environment.
The goal of this thesis is to build a GUI for component behavior modeling as a plug-in for the Progress IDE:
a) Design an easy-to-use graphical user interface (GUI) that allows to design the REMES modes (graphical representation of ProCom component behavior, declaring global variables, …)
b) The GUI should contain:
• Palette with REMES elements from which the user can drag and drop the elements into the mode editor ;
• Project explorer (file system) where you store the designed modes in XML format ;
• Some way for the user to click on the modes and edit their properties (such as name of invariants and their values).
c) Possibility for the user to see different views (only functionality, or timing, or resources usage…)
Expected outcome:
a) Design a prototype of the GUI, implemented in Eclipse as a plug-in for the Progress IDE ;
b) The thesis report describing the work.

Company: MDH
Prel. end date: 2009-09-30
Presentation date: 2009-10-13
Student: Ivo Petkov
IDT supervisor: Aneta Vulgarakis, +46-21-10 73 54
Examinator: Cristina Seceleanu
Cristina Seceleanu, +46-21-151764

Rapport och bilagor


Senaste uppdatering



2009-10-13, 14:50

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2017.08.23