Development Log

  • Jan 23rd, 2013

    A talk presenting OTAWA toolbox for WCET computation - AdaCore Internal Seminar

    AdaCore Internal Seminar - Wednesday april 3, 2013.

    Hugues Cassé, one of the principal architects and developers of the toolbox, will come to the AdaCore Paris offices to give a talk presenting the OTAWA toolbox for WCET computation.

    OTAWA is a set of libraries and static analysis tools aimed at allowing WCET computation based on an abstract representation of the machine code and the target hardware, with existing mappings for a set of popular processors. For more details, see

    If you are interested in attending this talk, please send email to