PORTALE DELLA DIDATTICA

Ricerca CERCA
  KEYWORD

A new language for modeling (multi-)microprocessor systems

keywords MULTICORE SYSTEMS, PROGRAMMING LANGUAGES, RELIABILITY ANALYSIS

Reference persons STEFANO DI CARLO

External reference persons Alessandro Savino, Ph.D.

Research Groups TESTGROUP - TESTGROUP

Thesis type CODING AND EXPERIMENTAL, MASTER THESIS

Description The current hardware evolution faces improvements beyond any imagination. In order to let them be reality, modern microprocessor systems have to be analyzed during modeling phase, assessing their reliability in advance and thus preventing failures in the post-market. At the same time, prevention may reduce test costs. To do so, those systems must be modeled using very powerful languages, which must have the ability to gather and express all required information altogether.

The Reliability Information Interchange Format (RIIF) has been proposed to define a new standard in modeling systems with the reliability evaluation in mind. It defines a basic language that we are extending right now. The improvements make the format a real language thus we want to build a full working parser, based on ANTLR (http://www.antlr.org). Together with the parser, we expect to be able to deliver an editor with all basic coding facilities, such as code highlighting, syntax suggestion/completion, etc.

During the thesis the candidate(s) is going to work side by side with the researchers, having the possibility to drastically improve its programming skills. Starting from a (at least) basic C/C++ knowledge, the candidate will become aware of modern programming techniques and it will develop an advanced and comprehensive view of the reliability estimation field. Moreover, learning ANTLR paradigms will put the candidate in a very strong position looking at its future after the master thesis.

See also  www.clereco.eu

Required skills C/C++


Deadline 19/01/2017      PROPONI LA TUA CANDIDATURA