All geek questions in one place

Software Resiliency Accuracy

Does anyone know how software resiliency is implemented in air traffic control systems?

Some URLs will be very helpful.

+3
source share
2 answers

Lockheed published several articles about this some time ago. Take a look here .

Many systems use Ada, which explicitly supports checking sentences and other formal logical ideas so that you can ensure system consistency. Read more about it here .

ERAM, En Route Automation Modernization", , () . En Route Host System, , .

+5

:

  • Rollbacks
0

Source: https://habr.com/ru/post/1737825/

More articles:


All Articles