Программисты Сибирского федерального университета (СФУ) вместе с турецкими коллегами из Университета Памуккале и Технического университета Йылдыз в Стамбуле разработали новый алгоритм выбора в мульверсионном программном обеспечении (МВПО). В управлении производственными и организационными процессами МВПО сравнительно новый инструмент, который делает автоматизированное управление дешевле и надежнее. Результаты работы опубликованы в сборнике трудов международной конференции в Праге Software Engineering Trends and Techniques in Intelligent Systems.
Фото: Анатолий Жданов, Коммерсантъ / купить фото
Программное обеспечение требует определенного уровня надежности. Особенно это важно там, где отказ системы управления может нанести урон здоровью и жизни людей и привести к значительным финансовым и материальным убыткам. Перспективным и уже положительно зарекомендовавшим себя является мультиверсионное программное обеспечение (МВПО), которое основано на принципе программной избыточности.
В МВПО используют несколько разных версий одной программной системы для решения одной задачи. Если в одной версии произойдет сбой, сбоя всей системы не произойдет. Но большое количество избыточных версий модулей ПО ставит перед программистами такие тривиальные ограничения реальной жизни, как, например, стоимость программы. В процессе создания ПО возникает, как говорят программисты, множество недоминируемых альтернатив. В этом случае выбор лучшего варианта производит лицо, принимающее решение, то есть программист, и здесь все зависит от квалификации ученых, которые должны учесть как снижение денежных затрат на разработку, внедрение и модификацию системы, уменьшение времени реализации процесса управления, так и надежность и безотказность МВПО.
Программисты из Института космических и информационных технологий (ИКИТ) СФУ и их турецкие коллеги предложили алгоритм выбора в автоматизированной системе управления, учитывающий стоимость, надежность и ресурсозатратность МВПО. Проверка ПО в одной из логистических компаний Красноярска показала, что новый алгоритм снизил общие расходы в случае отказа системы и время простоя системы с 4,5 часа до 37 минут в год.
Ученые ИКИТ далеко не новички в области МВПО. С момента создания института в СФУ в 2007 году они ведут разработки алгоритмов для высокопроизводительных вычислений, связанных с дистанционным зондированием Земли из космоса, управлением спутниковыми системами и космическими аппаратами, для реализации научных разработок институт имеет кластерный суперкомпьютер, входящий в 50 лучших систем такого класса в нашей стране и уникальный многопроцессорный компьютер RISK архитектуры IBM Р6. А среди множества решаемых учеными ИКИТ задач МВПО — их конек, в этой области они по числу новых разработок и цитированию в международных научных журналах входят в число мировых лидеров в этой области.
Сергей Петухов