AIXM Validator (mclick.aero)

Besides schema-validity, a validator service checks data sets for compliance with the business rules. Business rules are complex dependencies and domain specific requirements that must be satisfied by AIXM datasets. These rules cannot be expressed using XML Schema (XSD), but are encoded using SBVR and can be actually checked with Schematron language and custom XPath function. A validator service that uses Schematron rules based on the rule set from the ongoing efforts in the AIXM Business Rules community project is provided by M-Click.aero:

        ► https://swim.m-click.aero/validator/

FAIVA (FABEC & Nilacandi)

FAIVA, the FABEC Aeronautical Information Validator, is a free, open source, online, cloud-based data validation and verification service designed for AIXM versions 5.1 and 5.1.1. Users can configure validations through a user-friendly interface. It works in two steps:

• First, AIXM datasets can be validated against dedicated XML schemas (subsets of the AIXM schema) for each of the four ICAO AIS data sets (AIP, obstacles, aerodrome mapping, and instrument flight procedures), or against the full schema.
• Then, FAIVA supports verification against six sets of business rules, derived from Eurocontrol's EAD data input rules, from the AIXM Coding Guidelines, and from FABEC's own airspace designator coding rules.

With its open system-to-system interface (API), FAIVA can be integrated into other software, or used online, and can be part of the aeronautical SWIM ecosystem.
This web service aims to facilitate pre-publication validation and verification, reducing errors before data sets reach users, and contributes to improved data quality and compliance within the aviation industry. 
        ► https://faiva.aero