С.М. Буденного, Санкт-Петербург); e-mai:b.sashka_84@mail.ru МЕТОД КОНТРОЛЯ ФУНКЦИОНИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ Рассмотрен метод, позволяющий повысить достоверность контроля функционирования программного обеспечения от случайных и преднамеренных воздействий. <...> Ключевые слова: программное обеспечение; контролируемые подсистемы; модуль контроля; уникальный идентификатор; интенсивность сигналов оповещения. <...> Это диктует достаточно жесткие требования к надежности функционирования таких систем, которая складывается из показателей надежности самой ЭВМ и ее программного обеспечения (ПО). <...> Постановка задачи В настоящее время известно большое число теоретических исследований и практических рекомендаций по организации процесса разработки ПО для сокращения числа ошибок, повышения эффективности и надежности его функционирования [1]. <...> Использование предлагаемого метода призвано обеспечить надежное функционирование ПО с учетом уже существующих в нем недостатков, а также возможных случайных и преднамеренных на него воздействий в целях нарушения работоспособности данного ПО. <...> Основные ограничения и допущения В контексте рассматриваемой проблемы надежность функционирования ПО определяется его подхарактеристикой – отказоустойчивостью функционирования. <...> При этом данная отказоустойчивость представляет собой совокупность свойств программного средства, характеризующую его способность поддерживать необходимый уровень пригодности при проявлении его дефектов или нарушении установленных интерфейсов [2]. <...> «Зависание» ПО в целом или одной из его подсистем. <...> Например, для программного обеспечения охранной телевизионной системы должна осуществляться запись видеопотока для всех видеоканалов, но в результате ошибки в программном коде произошел сбой («зависание») при записи одного видеоканала. <...> Для обеспечения отказоустойчивого функционирования данной системы необходимо осуществить перезапуск ПО. <...>