Detta är ett uppsatsförslag hämtat från Nationella Exjobb-poolen. Klicka här för att komma tillbaka till samtliga exjobbsförslag.
WCET Analysis and Certification of Automatically Generated Code for CC-Systems AB (aw)
Worst-Case Execution Time (WCET) analysis tries to find safe upper bounds to the running time of a program. The field has been subject to intense research for the last decade, and now a few commercial tools for WCET analysis exist as well as a number of research prototypes. State of the practice right now is that small to moderately sized embedded C programs, running on not too complex embedded processors, can be analyzed with reasonable precision given that the user provides some information to the analysis: how hard it is to provide this information depends to a large extent on the character and structude of the program. A WCET analysis showing that a real-time program always meets its deadlines should increase the confidence in the program and ought to be an argument when certifying safety-critical code with real-time demands.
Today, code for embedded systems is increasingly being generated automatically from models. Depending on the kind of model and the code generation tool, the character of the generated code can be very different. Little is known about how to perform WCET analysis on such code, that is: where the difficulties are, and conversely if there are any simplifications in the analysis that can be made compared with analysis of hand-written code. It is also quite unclear today to which extent a WCET analysis of automatically generated and safety-critical code actually is helpful when certifying the system.
The first part concerns a case study in WCET analysis. A commercial WCET tool is used to analyse embedded C++-code generated from Rhapsody. The following steps are to be performed:
The second part concerns certification. Certification is typically done for safety-critical software and systems, and is done by some independent certification authority. Typically, certification requires that certain routines are used and that certain standards are met for the development process, as well as for testing. The first phase of this part is an investigation how to certify safety-critical software in general. The second phase applies the results to the code which is analysed w.r.t. WCET, and demands on the WCET analysis which make it more apt to aid certification are identified. This phase is made in close cooperation with the part of the project concerning actual WCET analysis, and should result in a WCET analysis of the code which does help the certification of the code.
Informationen om uppsatsförslag är hämtad från Nationella Exjobb-poolen.