Skip to content
Snippets Groups Projects
Select Git revision
  • 633ad4345ad9a5a7b91daf6ced2c6e805b51f75b
  • master default protected
2 results

otawa-polymalys

  • Clone with SSH
  • Clone with HTTPS
  • ====== OTAWA 2.0, code named "Reloaded" () =====
    
    ===== Information =====
    
      OTAWA (Open Tool for Adaptive WCET Analysis) is a framework of C++ classes
    dedicated to static analyses of programs in machine code and to the computation
    f WCET (Worst Case Execution Time).
    
      OTAWA is freely available (under the LGPL license) and is developed by the
    TRACES (http://www.irit.fr/recherches/ARCHI/MARCH/) team at IRIT labs
    (http://www.irit.fr), université Paul Sabatier, France.
    
      OTAWA provides state-of-art WCET analyses like IPET (Implicit Path Enumeration
    Technique) and a lot of facilities to work on binary programs (control flow
    graphs, loop detection and so on).
    
      OTAWA supports successfully many architecture as PowerPC or M68HC.
    More ISA (Instruction Set Architecture) are currently under development like
    ARM or TriCore.
    
      The official website of OTAWA may be found at the URL below:
        http://www.otawa.fr
      You may contact us at <otawa@irit.fr>
    
    ===== Include Tools =====
    
    OTAWA v2 comes with a slightly modified version of XDOT, named ''otawa-xdot.py''.
    [[https://github.com/jrfonseca/xdot.py]]. It is delivered under LGPL
    license (thanks for this great work).