Toolset and DocumentationThe MILS-COMPASS toolset is designed to run within Ubuntu 12.04. The distribution consists of the following items:
- Part 1/2: redistributable part of the MILS-COMPASS toolset licensed under the COMPASS Public License and the GNU Public License.
- Part 2/2: non-redistributable backends of the MILS-COMPASS toolset licensed under FBK's Additional Components License.
- MILS-AADL specification.
- MILS-AADL Fast User-Manual.
All download items are available by filling out the form below.
Download Request Form
The download works in two steps. (1) You fill out the form below and click request. (2) An email will be send to you within an hour containing download-links that are active for 24 hours. If you do not receive an email, please check your email-filters and otherwise, drop in an email through support.
LicenseLicensing of the MILS-COMPASS toolset consists of the following parts:
- GPL-part: this part of the MILS-COMPASS toolset falls under the GNU Public License.
- Restricted Redistribution part: this part of the MILS-COMPASS toolset falls under FBK's Additional Components License.