FAIVA
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”.
Validation
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:
Coding Guidelines rulesets (for AIXM 5.1 and 5.1.1) are fundamental rules that the vast majority of datasets must follow: this includes structural rules that are not defined in the standard AIXM schema, but are mandatory for any dataset, and rules that are considered mandatory in the aviation domain.
The FABEC-BR rulesets include rules for airspace designators, defined by FABEC members. They are not relevant to other States.
EAD rulesets are specific to ANSPs that are data providers for the European AIS Database.
AIXM 4.5 rulesets are also defined by EAD by specifically for ensuring that AIXM 5.x data is backward compatible with AIXM 4.5.
dNOTAM rulesets include a number of rules specific to the digital NOTAM specification, which is in progress and thus the rulesets are not complete.
Validation
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
