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 IF, under $IF/bin. IF 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:

• IF. 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 IF !
  Download IF here.
  
• 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 .

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