high integrity restrictions(ограничения, налагаемые в связи с необходимостью получения подтверждения корректного написания исходного кода, правильного взаимодействия компонентов программного обеспечения, отсутствия скрытых ошибок, заплаток и неавторских модификаций в программном обесп)