3. Download and Installation
OSATE consists of three Eclipse features.  The first installable feature is a set of plug-ins representing the OSATE front-end, and contains the core AADL modeling and editing functionality.  The second feature is a collection of analysis plug-ins that demonstrates the extensibility of OSATE and AADL.  The third feature consists of an integrated version of TOPCASED.
The preferred environment for OSATE 1.2 with TOPCASED 0.8 is Eclipse 3.1.2 with the Eclipse Modeling Framework (EMF) 2.1.2 and the Graphical Editing Framework 3.1.1. Eclipse and OSATE run on a number of platforms including several versions of Windows, Mac OS X, and Linux for 32-bit and 64-bit hardware platforms (see www.eclipse.org/downloads for details). 
Eclipse 3.1.2 and Eclipse 3.0.2 requires the Java 2 Platform, Standard Edition (J2SE) version 1.4 or higher.  OSATE has been developed and tested with version 1.5 Update 06.  If OSATE is used as an AADL modeling tool, the Java Runtime Environment (JRE) is sufficient. If OSATE is also used to develop new OSATE plug-ins, the Java Software Development Kit (SDK) is necessary.  The Java JRE or SDK can be found at the website java.sun.com under J2SE 5.0 SDK.
OSATE can be installed in one of three ways:
  • Download and install a complete OSATE product including Eclipse, EMF, and the OSATE features.  This option is the simplest, especially if you do not have an existing Eclipse installation.  In this from, OSATE is downloaded as a single, platform-specific zip file from www.aadl.info/OSATEDownloads.html, the download area of www.aadl.info
  • Download and install Eclipse, EMF, GEF from the Eclipse website.  Extend a new or an existing Eclipse installation with the installable OSATE & integrated TOPCASED feature archives.  These features are available as three zip files from www.aadl.info/OSATEDownloads.html, the download area of www.aadl.info
  • Update your existing Eclipse installation with the OSATE features using the OSATE update site and the Eclipse installation and update manager.  The URL for the update site is http://la.sei.cmu.edu/aadlinfosite/OSATEUpdateSite.
We will describe each of the installation approaches in turn and then discuss setting up your workspaces in Eclipse/OSATE.
Example AADL models are available at http://www.aadl.info/AADLModels.html.