Projects

Projects: Zeebe , LightKone , SyncFree , x265 , etc. ...
ALF translator

ALF translator

PowerPC assembler to ALF translator in cooperation with world-leading WCET tool providers
Mälardalen University
Oct 2007 - Jan 2008
Old

Real Time systems are systems which must give accurate results within a precise time period. These systems have now become an indispensable aspect ofour day to day lives. As the importance of real time system increases, the need toensure safety increases.Imagine an intelligent sentry android with decision making ability whichguards a frontier. It has to make quick analysis of images in order to decidewhether it has to shoot, warn or say howdy partner. In such cases, it is desirableto make a correct calculation (to identify friends and foes) and also to make acorrect timely behaviour after analysing data from its sensors. This is done by theinbuilt software of the android. There lies the risk of the sentry robot not matchingthe image within a given time and failing in functionality. For safety reasons, insuch real time applications, where meeting deadlines is critical, it is sought-after toobtain the worst case execution time of programs.Worst Case Execution Time (WCET) analysis finds the upper bound on theexecution time of a program. By obtaining this, we can design a system whichworks fine even in the most stressed state. SWEdish Execution time Tool(SWEET) is a tool for WCET analysis developed by the Mälardalen WCETresearch group. SWEET performs static analyses on an intermediate code formatnamed ALF (Artist2 Language for WCET flow Analysis) and finds an upper boundof the worst case execution time. aiT is another WCET tool developed by AbsIntcompany for static analysis in real time system. They maintain a format known asCRL (Control flow Representation Language) to represent various types of objectcode formats in terms of control flow graphs.The main objective of this thesis work is to write a translator fromCRL2's representation of PowerPC assembler code to ALF.

Mälardalen University


Related Publications :

Share | Top