| Аннотацiя: | В статье рассматриваются проблемы построения интегрированной среды, предназначенной для поддержки сертификации программного обеспечения систем критического применения, принципы формирования нормативного профиля как подмножества стандартов, структура базы данных для хранения фреймов правил и принципы работы экспертной системы в различных режимах. |