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
- AADL Info
- OSATE
- Sireum download from SAnToS Lab
Last updated August 16, 2020