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