Getting Started

Overview Video

Third party software

In order to make use of the OMNI software tool you will need to obtain a copy of the HyperStar phase type fitting tool which is available from www.mi.fu-berlin.de. In addition you will need the Prism Model checker available from prismmodelchecker.org to verify the resultant models.

Using OMNI

In order to use OMNI you must:

  1. Download and Install OMNI
  2. Create an OMNI model file
  3. Create a set of component trace files
  4. Define a refinement task
OMNI is then executed using the script command
launch.sh
A document outlining the complete procedure in detail is available here.

OMNI is available as a compiled binary with supporting files for the IT support system case study here here and has been tested on MacOX 10.12 and Ubuntu 16.4.