Bachelor and Master Theses

Title: Synthesizing Activation and Local Interactions of ProCom Components
Subject: Computer Science
Level: Advanced
Description: This thesis is part of a large project, called PROGRESS, which aims at providing component-based techniques for the development of embedded systems. An important activity within PROGRESS is to develop an integrated development environment (IDE) in which the different activities of embedded system development can be carried out, ranging from component and system design to analysis, deployment and synthesis.

The goal of this thesis is to develop IDE support for synthesis (i.e. code generation) of PROGRESS components activation and interactions. This work covers the whole deployment activity, from modeling allocation of PROGRESS components to nodes (and tasks) until the generation of glue code that will carry out activation and interactions between components.
This work is divided into two main parts:
• The first one consists in modeling the deployment of components, deciding of components to tasks allocation, and using model transformation techniques to model tasks execution.
This work should rely on automated model transformation techniques like ATL.
• The second one consists in using code generation techniques to generate the implementation of components activation and interactions (C code). This work should rely on template based languages like StringTemplate.
Both parts rely on a common meta-model (EMF – Eclipse Modeling Framework) that aims at representing the detailed deployment of components, including their allocation to tasks. Then, two different works will be made in parallel in order to implement each part described above.

Expected outcomes:
1. A Meta-model of detailed deployment.
2. A model transformation tool that produces a detailed deployment model from a ProCom specification.
3. A code generation tool that use the deployment model to activate components and enable their interactions.
4. A master thesis describing the different contributions.
Prel. end date: 2010-09-15
Student: Daniele Fani
IDT supervisor: Etienne Borde, 021-101689
Examinator: Jan Carlson
Jan Carlson, +46-21-151722

Rapport och bilagor


Senaste uppdatering

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