Лапин, Э. С. Формальное доказательство соответствия программной реализации используемых в системах контроля и управления моделей заданным требованиям [Текст] / Э. С. Лапин, М. И. Абдрахманов> // Известия вузов. Горный журнал. - 2021. - № 7. - С. 99-108. - Библиогр.: с. 106-108 (28 назв.) . - ISSN 0536-1028
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Горное дело Рудничный транспорт Кл.слова (ненормированные): конвейерные системы -- конечные автоматы -- математические системы -- модели систем -- программное обеспечение -- системы контроля -- системы управления -- технические системы -- формальное доказательство -- шахтные конвейерные системы Аннотация: Представлены результаты исследований возможности применения метода формального доказательства соответствия программной реализации модели заданным требованиям для систем, модели которых могут быть представлены в виде конечных автоматов. На примере шахтной конвейерной системы показано применение метода, состоящего в программной реализации модели соответствующего конечного автомата, формировании предположений о наличии у модели свойств в виде теорем с их последующим доказательством с использованием специальных программных средств. Доп.точки доступа: Абдрахманов, М. И. Нет сведений об экземплярах (Источник в БД не найден) |