Перевод названия: PROBLEM OF FORMING A FAULT-TOLERANT INDUSTRIAL CONTROL SOFTWARE PACKAGE
Тип публикации: статья из журнала
Год издания: 2015
Ключевые слова: industrial automation, multiversion programming, pseudo-boolean optimization, промышленная автоматика, мультиверсионное программирование, псевдобулева оптимизация
Аннотация: Задача повышения надежности программных модулей систем управления технологическими процессами путем дублирования критически важных модулей при ограничении на бюджет сведена к задаче псевдобулевой оптимизации «рюкзачного» типа, для которой предложены известные методы решения. Параметрами оптимизационной модели являются программные мПоказать полностьюодули, для каждого из которых определяется необходимость дублирования. Дополнительные версии модулей, для которых предусмотрено дублирование, должны быть разработаны независимо друг от друга различными командами исполнителей. Оценка вероятности обнаружения ошибки в программном модуле базируется на статистической модели Холстеда. Область применения предлагаемых моделей – синтез программных комплексов управления сложными системами промышленной автоматики, применяемыми как на производствах, так и в системах городской инфраструктуры, таких как автоматизированные системы управления очистных сооружений городской канализации. Authors propose new statement of the problem of increase of fault tolerance of program control systems for technological processes via redundancy of the most important program units. This problem is stated as a constrained pseudo-Boolean optimization problem of knapsack type with budget constraint. Parameters of such optimization model are program units. For each unit, solving the optimization problem results in determining necessity of its duplication or using its single version. Additional versions of program units which need duplication must be developed independently by an independent team of computer programmers. Estimation of error detection probability for a program unit is based on the Halsted statistical model. The proposed models are useful for the synthesis of automated control systems used in industrial companies and city infrastructure systems such as automated control systems of purification plants of a city sewerage system.
Журнал: Фундаментальные исследования
Выпуск журнала: № 5-1
Номера страниц: 149-153
ISSN журнала: 18127339
Место издания: Москва
Издатель: ООО "Издательский дом "Академия естествознания"