система исключительной важности с особыми требованиями по технической безопасности | high-profile safety-critical system (commercial aviation, military aviation, air-traffic management, railway, medical and space applications; корпорации AdaCore Alex_Odeychuk) |