In order to obtain IFx-OMEGA, please fill the following form. The download address will be provided to you by e-mail afterwards.
The software you are about to download is subject to the following license terms.

The download package contains the following components:

• A binary distribution of IFx-OMEGA, which is composed of 2 JAR files (ifsimgui.jar and uml2if.jar). The IFx-OMEGA JAR files have to be installed in a working copy of IFx, under $IF/bin. Binary distributions of IFx can be obtained here.
• The Rhapsody packages for OMEGA2 profile and the OMEGA2Predefined library (OMEGA2.sbs and OMEGA2Predefined.sbs), to be included in all UML/SysML models.
• 2 example models used as running example in the user manual:
  ATM : A model of a simple Automated Teller Machine (and its environment).
  ATM with error in property : The same model as ATM, but with a bug. This allows to see how the verifier finds the bug, to simulate the error scenario, etc.

The following components are necessary to run IFx-OMEGA:

• IFx. This component provides the back-end for simulation and verification. The IFx-OMEGA components (download above) have to be installed in a functionning copy of IFx !
  Download IFx here.
  See installation instructions in the user manual.
• Eclipse EMF and UML libraries from the Eclipse project.
  For convenience only, we provide here an archive with the .jar files necessary to run IFx-OMEGA. These files have to be copied under $IF/bin in your IFx install!
  Note that the Eclipse Public License - v 1.0 applies .
• Xerces-C++ 2.7 from the Apache XML project.
  For convenience only, we provide here a set of compiled binaries for the target platforms of IFx. Note that the Apache Software License, Version 2.0 applies .

You will probably also need a UML/SysML model editor, such as IBM Rhapsody or Papyrus MDT. Note that support for Papyrus MDT is still experimental and there may be issues with using it.