EN | RU    
Издательство научно-технической литературы
Поиск по сайту:

На главную»

Контакты»

Журналы»

Новости»

Оформление статей»

Реклама в журналах»

Обратная связь»

Книги»

О фирме»



 реклама



Приборы и системы. Управление, контроль, диагностика

Аннотация к статье
<< Назад
К вопросу применения методики расчета корректности для оценки предельной надежности мультиверсионных моделей отказоустойчивых систем
М.В. САРАМУД, И.В. КОВАЛЕВ, В.В. ЛОСЕВ, М.О. ПЕТРОСЯН, Д.И. КОВАЛЕВ

В статье рассматривается вопрос применения оценки корректности программного обеспечения, как суммы всех сочетаний корректной работы компонентов, которые гарантированно приведут к корректному ответу системы, для определения предельной надежности разрабатываемых программных систем, в частности – отказоустойчивых систем управления. Методика позволяет выбрать модель повышения надежности с введением программной избыточности на основании значения корректности, определить минимальные требования к характеристикам программных модулей, аппаратного обеспечения и блока принятия решения, использующегося в конечной реализации избыточной системы, в зависимости от требований к уровню её надежности. Введено понятие корректности программной системы. Приведены расчетные формулы величины корректности для всех основных мультиверсионных методологий. Рассмотрена программная реализация предложенной методики, обеспечивающая возможность расчета величины корректности при заданных характеристиках компонентов для систем и использованием всех актуальных методологий: N-версионное программирование (NVP), N-версионное программирование с самопроверкой (NSCP), восстанавливающиеся блоки (RB) и t/(n-1) алгоритм принятия решения. Проведен анализ результатов моделирования в предложенной системе, к примеру – графики зависимостей корректности системы от надежности программных модулей пересекаются, из чего можно сделать вывод о том, что при различной надежности программных компонентов будет меняться оптимальный выбор применяемой мультиверсионной методологии, при совпадающих остальных параметрах системы: аппаратной надежности, количестве версий, вероятности возникновения межверсионных ошибок. А числовой выход корректности позволяет точно сравнить различные методологии, проанализировать чувствительность методологий к изменению различных входных параметров, изучить поведение системы при различной надежности версий программных модулей.
Ключевые слова: корректность, мультиверсионное программирование, программная избыточность, надежность, блоки восстановления.


DOI: 10.25791/pribor.03.2019.503

Контактная информация: E-mail: msaramud@gmail.com

Стр. 19-25.

 разделы

«О журнале

«Архив журнала

«Тематическая направленность журнала

«Правила оформления статей

«Этапы рассмотрения и публикации статей

«Правила рецензирования статей

«Редакционная и профессиональная этика

«Обнаружение плагиата

«Редакция и редакционная коллегия

«Новости журнала


 журналы
...................................
Приборы и системы. Управление, контроль, диагностика
...................................
Приборостроение и средства автоматизации. Энциклопедический справочник
...................................
Промышленные АСУ и контроллеры
...................................
Экологические системы и приборы
...................................
Авиакосмическое приборостроение
...................................
Инженерная физика
...................................
История науки и техники
...................................
Музыка и время
...................................
Нотный альбом
...................................
Музыковедение
...................................
Бюллетень Главного ботанического сада
...................................
Всеобщая история
...................................
Справочник инженера
...................................
Прикладная физика и математика
...................................
Известия академии инженерных наук им. А.М. Прохорова
...................................

Последние новости:

Выставки по автоматизации и электронике «ПТА-Урал 2018» и «Электроника-Урал 2018» состоятся в Екатеринбурге

Открыта электронная регистрация на выставку Дефектоскопия / NDT St. Petersburg

Открыта регистрация на 9-ю Международную научно-практическую конференцию «Строительство и ремонт скважин — 2018»

ExpoElectronica и ElectronTechExpo 2018: рост площади экспозиции на 19% и новые формы контент-программы

Тематика и состав экспозиции РЭП на выставке "ChipEXPO - 2018"

   Rambler's Top100 Rambler's Top100         


    Система управления разработана в: ananskikh.ru
© Издательство "НАУЧТЕХЛИТИЗДАТ", 2005-2019