FABEC Aeronautical Information Validator

This page is the user manual for FAIVA.

FAIVA User Manual

FAIVA is the FABEC Aeronautical Information Validator, a Web service to validate AIXM 5.x datasets against the AIXM specification, ICAO PANS-AIM rules, and aixm.aero coding guidelines. There is also a FABEC-specific ruleset regarding the naming convention for airspace designators.

Accessing FAIVA

In order to access FAIVA, simply open a Web browser to https://faiva.aero. FAIVA is a FABEC project hosted on Facilis.aero, a Cloud-based AIM software by Nilacandi.

Signing In to FAIVA.aero

FAIVA is open to all, but users must create an account and authenticate themselves before using the service. On the FAIVA.aero welcome page, fill in your “User Name” and “Password”, then click on the “Log In” button. At the user's option, both the email address and the user account identifier may be used to sign in.

Introduction to FAIVA

Validation Section

On the top left corner, there’s a button where you can click and show several options such as “Validation” and “Validation History”.


There are several steps for the validation process, starting from uploading the dataset file, here you can attach the AIXM files which only supports AIXM 5.1 and 5.1.1 at the moment with a maximum size file 100mb.

Upload a Dataset

The next step will be selecting the schema profile, here you can choose several type of dataset based on the dataset with the AIXM version 5.1.

Schema profile

At the schema profile step, you can choose the XML Schema on which to validate your dataset. A schema profile is a subset of the standard schema. FAIVA offers profiles for the datasets defined in ICAO PANS-AIM, beside the standard AIXM 5.1 and 5.1.1 schema. This step is mandatory.

Business Rules

At the business rules step, users may select the rulesets that shall be used to validate the dataset. If no business rules shall be checked, it is possible to skip this step and validate immediately. The following rulesets are available:


Upon selecting business rules (or not), click on the Validate button to launch the XML validation process. The Web application automatically refreshes the view for a few seconds. For small datasets, the validation report is then visible immediately. For larger datasets, the user is invited to check the validation history page a few minutes later.

Validation Report

The validation report shows the validation result (valid, valid with warnings, or invalid with errors).

Invalid Dataset

If the validation report shows that validation is invalid, a list of error and warning messages is displayed:

If you want to group information in the list for a more synthetic view, click on the "Group by..." list box and select a column name to group together all values in that column that are equal. The most useful column for grouping is the  "Description" column, which contains error and warning messages output by the validation process.

Validation messages are then grouped under a title, and it is possible to hide or show the details for each title by clicking on the title.

It is also possible to export the validation report as a CSV (comma-separated values) file, suitable for import in a spreadsheet software such as Microsoft Excel, Google Sheet and LibreOffice Calc, for example.

Valid Dataset

If the dataset is fully valid, that is there are no error and no warning messages, the validation report is presented as shown here. You can then download a validation certificate in the form of a PDF file.

Validation History

This section lists past validation reports, one per row in the table. For each report, the table shows:
The data when the validation was made,
The result of the validation (Invalid, Warnings, and Valid)
The specification of the dataset (AIXM 5.1 or AIXM 5.1.1)
The schema profile that was selected for the validation
Any business rules that were selected for the validation