A timing analysis tool for multi-core
This tool has been developed by Hamza Rihani, the details on his work may be found in his thesis. This work has been funded by the CAPACITES project.
Distribution for Linux
You can download an archive containing a user manual and self-contained binaries (including a GUI), version of January 2018: MIA.tar
The software has been tested on the following Linux distributions:
- Debian 8
- Ubuntu 16.04
- Fedora 27
- Python 3.x (to run scripts)
- Tkinter for Python 3.x (to run the GUI)
- graphviz (used by the GUI to generate dot graphs from YAML)
This tool is maintained by Claire Maiza.