Понятие гарантоспособности компьютерных систем. Теоретические основы и прикладные методы создания гарантоспособных компьютерных средств. Качество проектирования отечественных информационных и управляющих систем для критических технологий и инфраструктур.