BLESS plugins to Eclipse/OSATE

BLESS p2 repository: http://santoslab.org/pub/bless/site2.xml

The BLESS editor and proof tool are Eclipse plugins to the Open-Source AADL Tool Environment (OSATE) which is itself plugins to Eclipse.

To use BLESS, OSATE must first be downloaded and installed. Then the BLESS plugins can be added by within OSATE:

Under the Help menu, select Install Additional OSATE Components.

This will bring up an Install window.

Find Non SEI Components; check the box next to the praying hands for BLESS Annex Support.

Click the Finish button.

If you need assistance please email: brl@ksu.edu or brl@multitude.net

  • bless_update.zip zip file containing a 2/2019 version of the BLESS update site. Download; unzip; install additional software as "local" site.
  • Older BLESS plugin zip file containing an older (2014) version of the BLESS update site; hopefully this works with OSATE v2.2.1
  • Last updated August 16, 2020