Мультиверсионное программное обеспечение. Алгоритмы голосования и оценка надежности
View/ Open:
Full Text on Another Site
URI (for links/citations):
Author:
Царев, Роман Юрьевич
Штарик, Андрей Викторович
Corporate Contributor:
Сибирский федеральный университет
Институт космических и информационных технологий
Date:
2013Bibliographic Citation:
Царев, Роман Юрьевич. Мультиверсионное программное обеспечение. Алгоритмы голосования и оценка надежности : монография / Р. Ю. Царев, А. В. Штарик, Е. Н. Штарик, 2013. - 116 с. - Текст : электронный.Монография.
Доступ к полному тексту открыт из сети СФУ, вне сети доступ возможен для читателей Научной библиотеки СФУ или за плату.
Abstract:
В монографии представлены современные алгоритмы голосования, используемые в мультиверсионном программном обеспечении при принятии решения о корректности полученных результатов; приведена их классификация. Рассмотрены проблемы применения алгоритмов голосования в мультиверсионном программном обеспечении. Показана модель оценки надёжности мультиверсионного программного обеспечения, представлены результаты ее исследования при имитировании поведения реальной мультиверсионной системы с распределенной архитектурой. Результаты исследования служат теоретической базой для разработки высоконадёжного и отказоустойчивого программного обеспечения на основе мультиверсионной парадигмы. Предназначено специалистам, работающим в области проектирования и разработки программного обеспечения, а также аспирантам и докторантам. Материалы монографии рекомендуются к использованию при проведении лекционных и практических занятий у магистрантов, обучающихся по программе подготовки магистров 230100.68 «Информатика и вычислительная техника».
Rights:
Для личного использования.
Collections:
Metadata:
Show full item recordRelated items
Showing items related by title, author, creator and subject.
-
Синтез систем реального времени с гарантированной доступностью программно-информационных ресурсов
Прокопенко, Александр Владимирович; Русаков, Михаил Александрович; Царев, Роман Юрьевич (СФУ, Красноярск, 2013)Рассмотрена проблема формирования систем реального времени с гарантированной доступностью ресурсов. Предложены модели использования программно-информационных ресурсов с учетом ресурсной базы и ограничений на время исполнения. ... -
Мультиверсионное программное обеспечение. Алгоритмы голосования и оценка надежности
Царев, Роман Юрьевич; Штарик, Андрей Викторович; Штарик, Елена Николаевна (СФУ, Красноярск, 2013)В монографии представлены современные алгоритмы голосования, используемые в мультиверсионном программном обеспечении при принятии решения о корректности полученных результатов; приведена их классификация. Рассмотрены ... -
Выработка правовых средств адаптации к санкционным мерам в сфере ИТ‑сектора
Добробаба, М. Б.; Минбалеев, А. В.; Dobrobaba, Marina B.; Minbaleev, Aleksey V. (Journal of Siberian Federal University. Сибирский федеральный университет, 2024-06)ИТ-сектор является одним из важнейших секторов российской экономики, ядром цифровой экономики. Поддержка инновационного и ускоренного развития ИТ-отрасли позволяет обеспечить информационную безопасность России. В ... -
Проектирование и архитектура информационных систем
Кукарцев, Владислав Викторович; Царев, Роман Юрьевич; Антамошкин, Олеслав Александрович (СФУ, Красноярск, 2019)Рассмотрены основные понятия конструирования программного обеспечения информационных систем. Описаны модели и стратегии конструирования, определение качества и его стандарты. Даны базовые понятия требований к программному ... -
Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем
Кузнецов, Александр Сергеевич; Ченцов, Сергей Васильевич; Царев, Роман Юрьевич (СФУ, Красноярск, 2013)В монографии предложен комплекс математических моделей и алгоритмов анализа надежности программного обеспечения сложных систем с учетом их многоуровневости и распределенности архитектуры. Представлена система построения ...