Awas is part of a high-assurance software development platform called
Sireum. Sireum IVE is used to develop the Awas source code and
an OSATE development environment is used to develop the Sireum Awas
OSATE plugin.

Follow the instructions in the Sireum webpage apropriate for your
platform to install the SireumIVEfordevelopment

Follow the OSATE instructions to setup an OSATE development
environment. Eclipse is the underlying IDE being used by OSATE so
the rest of plugin development instructions will refer to the IDE
as Eclipse