Bachelor and Master Theses

Title: A lightweight analysis framework for Progress IDE
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 the thesis is to develop IDE support for constraints and "lightweight analysis". A structured way to handle rules about what correct models should look like (in addition to what is specified in the meta model), e.g., that connected ports should have matching types and value ranges, that the control flow must satisfy the restrictions implied by the component model, etc. Some constraints can be formulated in Object Constraint Language (OCL) and handled directly by the underlying software platform (Eclipse), and others would require separate checking algorithms. Violations should be reported as warnings, errors, etc., in textual form with a link to the corresponding part of the model. In addition to verification, the framework should also support simple analysis, such as deriving the execution time of a composite component from the execution time of the components inside.

Expected outcome:
a) An analysis framework, implemented in Eclipse as a plug-in for the Progress IDE;
b) an initial set of constraints and possibly some simple analysis techniques; and
c) a thesis report describing the work.
Start date: 2010-04-01
Prel. end date: 2010-10-01
Presentation date: 2010-10-01
Student: Andrea Baiocco
Prerequisites: Java programming. Eclipse experience is valuable.
IDT supervisor: Thomas Leveque, +46 21 15 17 22
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: 2017.08.23