Contents

• Toolset
• Download
• License
• Support

Download for ESA-member states only

IMPORTANT NOTICE: The HASDEL Toolset and its documentation is available for download to anyone within the ESA member states under the terms outlined by the respective licenses. Residents in or inhabitants of the non-ESA member states are not allowed access to the distribution below. In that case, you can contact support for Non-Disclosure Agreement (NDA) details.

Toolset and Documentation

The HASDEL toolset is designed to run within Ubuntu 12.04. The distribution consists of the following items:

• Part 1/2: redistributable part of the HASDEL toolset licensed under the COMPASS Public License and the GNU Public License.
• Part 2/2: non-redistributable backends of the HASDEL toolset licensed under FBK's Additional Components License.
• COMPASS user manual describing installation and user operation procedures.
• HASDEL user manual describing the HASDEL extension to COMPASS.
• SLIM syntax document.
• SLIM semantics document.

To ease first-time use, we recommend you to download our customised VMWare image. It is pre-configured with all the necessary software dependencies and contains all the distribution items mentioned above. The VMWare image may not be redistributed because it contains Part 2/2 of the HASDEL toolset.

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.

Name:	e.g. John M. Doe
Email:	e.g. john.doe@fbk.eu
Affiliation:	e.g. Fondazione Bruno Kessler
Country:	Select Country United States United Kingdom Afghanistan Albania Algeria American Samoa Andorra Angola Anguilla Antarctica Antigua and Barbuda Argentina Armenia Aruba Australia Austria Azerbaijan Bahamas Bahrain Bangladesh Barbados Belarus Belgium Belize Benin Bermuda Bhutan Bolivia Bosnia and Herzegovina Botswana Bouvet Island Brazil British Indian Ocean Territory Brunei Darussalam Bulgaria Burkina Faso Burundi Cambodia Cameroon Canada Cape Verde Cayman Islands Central African Republic Chad Chile China Christmas Island Cocos (Keeling) Islands Colombia Comoros Congo Congo, The Democratic Republic of The Cook Islands Costa Rica Cote D'ivoire Croatia Cuba Cyprus Czech Republic Denmark Djibouti Dominica Dominican Republic Ecuador Egypt El Salvador Equatorial Guinea Eritrea Estonia Ethiopia Falkland Islands (Malvinas) Faroe Islands Fiji Finland France French Guiana French Polynesia French Southern Territories Gabon Gambia Georgia Germany Ghana Gibraltar Greece Greenland Grenada Guadeloupe Guam Guatemala Guinea Guinea-bissau Guyana Haiti Heard Island and Mcdonald Islands Holy See (Vatican City State) Honduras Hong Kong Hungary Iceland India Indonesia Iran, Islamic Republic of Iraq Ireland Israel Italy Jamaica Japan Jordan Kazakhstan Kenya Kiribati Korea, Democratic People's Republic of Korea, Republic of Kuwait Kyrgyzstan Lao People's Democratic Republic Latvia Lebanon Lesotho Liberia Libyan Arab Jamahiriya Liechtenstein Lithuania Luxembourg Macao Macedonia, The Former Yugoslav Republic of Madagascar Malawi Malaysia Maldives Mali Malta Marshall Islands Martinique Mauritania Mauritius Mayotte Mexico Micronesia, Federated States of Moldova, Republic of Monaco Mongolia Montserrat Morocco Mozambique Myanmar Namibia Nauru Nepal Netherlands Netherlands Antilles New Caledonia New Zealand Nicaragua Niger Nigeria Niue Norfolk Island Northern Mariana Islands Norway Oman Pakistan Palau Palestinian Territory, Occupied Panama Papua New Guinea Paraguay Peru Philippines Pitcairn Poland Portugal Puerto Rico Qatar Reunion Romania Russian Federation Rwanda Saint Helena Saint Kitts and Nevis Saint Lucia Saint Pierre and Miquelon Saint Vincent and The Grenadines Samoa San Marino Sao Tome and Principe Saudi Arabia Senegal Serbia and Montenegro Seychelles Sierra Leone Singapore Slovakia Slovenia Solomon Islands Somalia South Africa South Georgia and The South Sandwich Islands Spain Sri Lanka Sudan Suriname Svalbard and Jan Mayen Swaziland Sweden Switzerland Syrian Arab Republic Taiwan, Province of China Tajikistan Tanzania, United Republic of Thailand Timor-leste Togo Tokelau Tonga Trinidad and Tobago Tunisia Turkey Turkmenistan Turks and Caicos Islands Tuvalu Uganda Ukraine United Arab Emirates United Kingdom United States United States Minor Outlying Islands Uruguay Uzbekistan Vanuatu Venezuela Viet Nam Virgin Islands, British Virgin Islands, U.S. Wallis and Futuna Western Sahara Yemen Zambia Zimbabwe

I comply and agree to the terms of licensing outlined below. I am a lawful citizen of the selected ESA member state.

License

Licensing of the HASDEL toolset towards ESA-member states consists of the following parts:

• CPL-part: this part of the HASDEL toolset falls under the COMPASS License (COMPASS Public License).
• GPL-part: this part of the HASDEL toolset falls under the GNU Public License.
• Restricted Redistribution part: this part of the HASDEL toolset falls under FBK's Additional Components License.

Support

The HASDEL Toolset and documentation come as they are, and no guaranteed support or warranty can be expected (unless you have a contractual agreement with the HASDEL consortium). Community support (on which HASDEL team members are active) is reachable through hasdel-support@lists.rwth-aachen.de.

Copyright 2015 Fondazione Bruno Kessler