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++ 3.1.1 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 (version 7.4 or 7.5.2) or Papyrus MDT (version Eclipse Indigo, 0.8.x). Note that support for Papyrus MDT is still experimental and there may be issues with using it.