- Control Flow Graph Exploration / Visualization
Use pragmatics concepts (automatic layout, focus & context) for exploring/visualizing control flow graphs and specific paths, eg. as computed by OTAWA WCET analysis tool, eg. using Klighd.
- Incremental Update for Klighd
Incremental update of Klighd data structure after editing.
- OMG DD Format
Explore the mapping of KGraph / KRendering to the Diagram Definition format of the OMG.