Informations about IMCA (1.4)
Here you will find informations about how to compile IMCA and how to use it.
Compilation of IMCA
IMCA needs the following additional libraries:
If all libraries are installed, you have to adjust the path to the SoPlex library in the Makefile. After running make you obtain an executable file imca in the bin folder. Note that IMCA is distributed under the GNU GENERAL PUBLIC LICENSE.
Informations about IMCA (1.2)
Here you will find informations about how to compile IMCA and how to use it.
Compilation of IMCA
IMCA needs the following libraries:
- The GNU Multiple Precision Arithmetic Library.
- The Multiple Precision Floating-Point Reliable Library. (Version 2.3.0 required)
- The Multiple Precision Floating-Point Reliable Library C++ Interface.
- Qt libraries
- LP Solve 5.5
If all libraries are installed, just run the install.sh in the main folder. This will automatically start the compile routine and will create an executable file named imca in this folder. If this don't work, or you will compile it by yourself, you need to go into /bin/imcgui/ and run qmake and after that make. The program will compile if all libraries are installed correctly.
Manual
In the following manual, you will find a short description about the used input files and the functionalities of IMCA.
Examples
In the folder examples are some example IMC's, that can be used to test the IMCA tool.
The number of states and transitions of the model and the error-bound will have influence on the computing time. Below are some example computations for a workstation cluster model: workstation_cluster_N8.imc.
| original | closed and well-formed |
minimized | |
|---|---|---|---|
| states | 2771 | 2771 | 135 |
| transitions | 10708 | 3637 | 407 |
Computing time for time-bounded reachability:
| time-bound | error-bound | closed and well-formed |
minimized |
|---|---|---|---|
| 1 | 10^-4 | 797.59 sec | 4.33504 sec |
| 1 | 10^-6 | 2393.87 sec | 415.544 sec |
| 10 | 10^-4 | 800.478 sec | 5.08759 sec |
| 10 | 10^-6 | 2393.8 sec | 480.023 sec |
| 100 | 10^-4 | 803.598 sec | 5.24707 sec |
| 100 | 10^-6 | 2644.56 sec | 480.424 sec |