Exjobbsförslag från företag

Detta är ett uppsatsförslag hämtat från Nationella Exjobb-poolen. Klicka här för att komma tillbaka till samtliga exjobbsförslag.

Förslaget inkom 2010-02-09

A MATLAB/Simulink implmentation of the ForSyDe methodology

OBS! ANSÖKNINGSTIDEN FÖR DETTA EXJOBB HAR LÖPT UT.
Description
The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design (i.e. System on Chip, Hardware and Software systems) to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement. So far ForSyde is implemented in the functional language Haskell.
This project aims to implement ForSyde in the widely used modeling software MATLAB/Simulink. The main challenges are:

* Study and understand the ForSyDe methodology and its current implementation.
* Obtain a clear understanding of the Simulink simulation engine.
* Develop simulink blocksets to map different MoCs (Models of Computation) of ForSyDe and their domain interfaces to Simulink.

Prerequisites
The thesis is research oriented and needs a strong background in computer science. The student should be able to work independently. Students who are familiar with MATLAB and/or functional programming are encouraged to apply.

  GÅ TILL XJOBB.NU FÖR FULLSTÄNDIG INFO OM DETTA EXJOBB




Informationen om uppsatsförslag är hämtad från Nationella Exjobb-poolen.