Home | Contact | Pricing | News | Partners | Mailing List | Site Map

Gnat Pro - High Integrity Family

ESARR 4/6


What is ESARR 4?

ESARR 4 is the EUROCONTROL Safety Regulatory Requirement (ESARR) “Risk Assessment and Mitigation in ATM” (Air Traffic Management). This EUROCONTROL Safety Regulatory Requirement has been prepared by the Safety Regulation Commission. The requirement concerns the use of risk assessment and mitigation, including hazard identification, in Air Traffic Management when introducing and/or planning changes to the ATM System.

ESARR 4 applies to all providers of ATM services in respect of those parts of the ATM/CNS System and supporting services for which they have managerial control.

ESARR 4 fully defines the severity classes applicable to ATM systems. These are:

Severity Levels and ESARR 4 Definitions

Level 1:
Accident - Complete loss of safety margins
Level 2:
Serious Incidents - Large reduction in safety margins
Level 3:
Major Incidents - Major reduction in safety margins
Level 4:
Significant Incidents - Slight reduction in safety margins
Level 5:
No immediate effect on safety

What is ESARR 6?

ESARR 6 is the EUROCONTROL Safety Regulatory Requirement (ESARR) “Software in ATM Systems”. ESARR 6 deals with the implementation of software safety assurance systems, which ensure that the risks associated with the use of software in safety related ground-based ATM systems, are reduced to a tolerable level.

EASRR 6 does not prescribe any type of supporting means of compliance for software. This is the role of software assurance standards. It is therefore outside the scope of the standard to invoke specific national or international software assurance standards

The purpose of this requirement is to provide ATM safety regulatory bodies and ATM service providers with a uniform and harmonized set of safety regulatory requirements for use of software in ATM systems.

ESARR 6 references ESARR 4 for the definition of the severity classes applicable to ATM systems.

Further details on this standard can be found at:

Why GNAT Pro High-Integrity Edition for Servers?

AdaCore’s High-Integrity Edition for DO-178B solution has passed DO-178B Level A certification multiple times as a part of avionics systems and is a proven solution to meet this safety-critical standard requirements. GNAT Pro High-Integrity Edition for Servers satisfies ESARR 4 and 6 for the systems and software for Air Traffic Management (ATM) systems.

The certification life cycle materials developed for DO-178B are available for GNAT Pro High-Integrity Edition for Servers, along with complete ISO Ada Conformity Assessment Test Suite (ACATS) results to show that the compiler and run-time system fully conform to the ISO Ada standard.

GNAT Pro Development Solutions

Native Development Embedded Development Safety Critical Development

Find the right version of GNAT Pro based on your development needs.