Модели и алгоритмы определения и устранения семантических ошибок для испытаний надежности программных модулей информационно-измерительных и управляющих систем тема диссертации и автореферата по ВАК РФ 05.11.16, кандидат наук Мельник Олег Васильевич

• Мельник Олег Васильевич
• кандидат наук
• 2016

Оглавление диссертации кандидат наук Мельник Олег Васильевич

Обозначения и сокращения

ВВЕДЕНИЕ

1 ЗАДАЧА ОПРЕДЕЛЕНИЯ И УСТРАНЕНИЯ СЕМАНТИЧЕСКИХ ОШИБОК ПРОГРАММНЫХ МОДУЛЕЙ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНЫХ И УПРАВЛЯЮЩИХ СИСТЕМ ПО ДАННЫМ ИСПЫТАНИЙ И ПУТИ ЕЕ РЕШЕНИЯ

1.1 Процесс испытаний надежности программных модулей информационно-измерительной и управляющей системы как объект исследования

1.2 Качество и надежность программного модуля информационно-измерительной и управляющей системы. Виды и критичность ошибок

1.3 Метрики структурной сложности программных модулей информационно-измерительных и управляющих систем

1.4 Методы и средства измерения характеристик программного модуля информационно-измерительной и управляющей системы

2 МОДЕЛИРОВАНИЕ ИСПЫТАНИЙ НАДЕЖНОСТИ ПРОГРАММНЫХ МОДУЛЕЙ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНЫХ И УПРАВЛЯЮЩИХ СИСТЕМ

2.1 Особенности возникновения семантических ошибок в реализациях программных модулей информационно-измерительных и управляющих систем

2.2 Графоаналитические модели процессов возникновения семантических ошибок в реализациях профилей протоколов

2.2.1 Графоаналитическая модель семантической ошибки столкновения процессов при испытаниях обработки данных программных модулей

2.2.2 Графоаналитическая модель возникновения семантической ошибки неопределенности взаимодействия процессов в программном модуле

2.3 Методика обнаружения и устранения столкновений в программных модулях информационно-измерительных и управляющих систем

2.4 Процедура проверки синтаксиса программного модуля

2.5 Выводы по разделу

3 ОЦЕНКА НАДЕЖНОСТИ ПРОГРАММНЫХ МОДУЛЕЙ ПРИ ИСПЫТАНИЯХ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНЫХ И УПРАВЛЯЮЩИХ СИСТЕМ И ПРЕДЛОЖЕНИЯ ПО СОВЕРШЕНСТВОВАНИЮ СИСТЕМЫ УПРАВЛЕНИЯ ПАРАМЕТРАМИ НАДЕЖНОСТИ

3.1 Анализ моделей и подходов к оценке надежности программных модулей

3.2 Алгоритм анализа надежности реализаций программных модулей

3.3 Реализация концепции многократного применения компонентов при разработке программных модулей

3.4 Оценка неопределенности данных испытаний программных модулей

3.5 Построение нижних доверительных границ показателя надежности программного модуля. Результаты моделирования

3.6 Формирование структуры системы управления параметрами надежности программных модулей информационно-измерительных и управляющих систем

3.7 Выводы по разделу

ОСНОВНЫЕ РЕЗУЛЬТАТЫ И ВЫВОДЫ ПО РАБОТЕ

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

ПРИЛОЖЕНИЯ

Приложение 1. Акты о внедрении и реализации результатов диссертационной

работы

Приложение 2. Свидетельство о регистрации программы для ЭВМ

Приложение 3. Патент на полезную модель

Обозначения и сокращения

ИИС - нформационно-измерительная система;

ИУС - информационно- управляющая система;

ИИУС - информационно-измерительная и управляющая система;

ПО - программное обеспечение;

ПМ - программный модуль;

ПМ ИИУС - программный модуль нформационно-измерительной

и управляющей системы;

СО - семантическая ошибка;

АСУ - автоматизированная система управления;

ДП - динамическое программирование;

ЛП - линейное программирование;

ОУ - объект управления;

УС - управляющая система;

ПН - показатель надежности;

НДГ - нижняя доверительная граница;

НДГПН - нижняя доверительная граница показателя надежности; СУ - система управления;

ИВК - измерительно-вычислительный комплекс;

МО - метрологическое обеспечение;

МХ - метрологические характеристики;

КИ - канала измерения;

ОПО - ошибки программного обеспечения;

РС - работоспособное состояние;

РС ПМ - работоспособность программного модуля;

ВС - вычислительная система;

ФК - функциональный компонент;

ПУ - поток управления;

ПД - поток данных;

CMM - Capability Maturity Model.

Введение диссертации (часть автореферата) на тему «Модели и алгоритмы определения и устранения семантических ошибок для испытаний надежности программных модулей информационно-измерительных и управляющих систем»

ВВЕДЕНИЕ

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

Надежность, наряду с функциональностью, удобством использования, эффективностью, сопровождаемостью и переносимостью относится к характеристикам моделей качества ПО и определяется международным стандартом ISO/IEC 9126-1:2001 «Software engineering - Product quality - Part 1: Quality model». Уровень качества процессов разработки ПО основывается на методологии улучшения процессов разработки (модели СММ). Она предусматривает, что организации должны осуществлять накопление статистических данных о процессе разработки и результатах эксплуатации программных средств. К сожалению, общепринятой методики их сбора, обработки и анализа таких статистических данных, в настоящее время, не существует.

Степень разработанности темы. В основе настоящего исследования лежат результаты работ в области: методов и средств автоматизации отладки и испытаний надежности ПО (Р. Глас, Г. Майерс); методов отладки программных средств (В. В. Липаев, М. Б. Игнатьев, В. В. Фильчаков); поиска устойчивых ошибок в ПО (Б. В. Архангельский, В. В. Черняховский); разработки

диагностического обеспечения (Р. Д. Беннетс, Л. П. Глазунов, Г. Гордон, В. П. Калявин, Е. С. Согомонян, П. П. Пархоменко, Г. Б. Уильямс).

Необходимо отметить, что в области оценки надежности ПО разработчиками до сих пор не получено эффективного инструментария, позволяющего прогнозировать надежность программного продукта еще до его запуска в эксплуатацию. Несмотря на то что разработано множество различных моделей, до сих пор не доказана универсальность хотя бы одной из них; кроме того, любое небольшое отклонение величин показателей типовых параметров для них приводит к значительному изменению выходных значений, что свидетельствует об их высокой чувствительности.

Широко распространенным инструментом оценки надежности ПО ИИУС являются его испытания, однако, несмотря на большое количество методик, даже широкомасштабные испытания не позволяют выявить все логические и семантические ошибки. Кроме того, испытания узкоспециализированного ПО ИИУС зачастую являются весьма затруднительными в силу требований к надежности функционирования и субъективности оценки данных.

Основные проблемы испытаний программных модулей (ПМ) ИИУС обусловлены массовостью таких компонент, как их относительная простота и доступность для теоретического анализа, а также необходимость обеспечения высокого качества при разумных затратах. Это, в свою очередь, требует разработки и апробации методов достоверной оценки качества и надежности ПМ ИИУС. Необходимо учесть, что показатели качества весьма разнообразны, могут изменяться в зависимости от назначения и функциональных особенностей ПМ и могут трансформироваться. Поэтому методы формирования номенклатуры и измерения показателей надежности ПМ ИИУС подлежат исследованиям. Достигаемая надежность ПМ ИИУС непосредственно зависит от ресурсов, которые могут быть выделены для испытаний. Функциональная связь между надежностью и затратами на ее достижение зависит от многих

параметров и в том числе от методов и уровня автоматизации испытаний. Изучение этих зависимостей составляет предмет широких научных изысканий и позволяет оптимизировать отбор эффективных способов испытаний и последовательность их применения. Отдельным направлением является исследование методов оптимизации ПМ, содержания и числа тестов при их испытаниях.

Уровень корректности используемых ПМ и надежность функционирования ИИУС в целом тесно связаны. Однако глубина этой связи и ее зависимость от различных факторов изучены слабо. Всё это определяет актуальность исследования и выбор объекта, предмета и цели исследования.

Объект исследования - процесс испытания надежности программных модулей информационно-измерительных и управляющих систем.

Предмет исследования - модели и алгоритмы оценки надежности программных модулей информационно-измерительных и управляющих систем.

Цель исследования - повышение вероятности безотказной работы программных модулей информационно-измерительных и управляющих систем на основе совершенствования существующих и разработки новых моделей и алгоритмов оценки их надежности по данным испытаний.

Для достижения сформулированной цели были поставлены и решены следующие задачи:

1. Проведен анализ тенденций развития и принципов построения ПМ ИИУС и моделей оценки их надежности по данным испытаний.

2. Проведено имитационное моделирование и систематизация знаний по процессам обработки данных испытаний надежности ПМ ИИУС.

3. Проведено моделирование процессов взаимодействия потоков данных и управления в ПМ ИИУС.

4. Разработаны: модели, алгоритмы и приемы обработки данных испытаний надежности ПМ ИИУС.

5. Проведена оценка надежности ПМ ИИУС по данным испытаний графов, конечных автоматов, теории алгоритмов, теории вероятностей.

6. Сформирована структура системы управления параметрами надежности ПМ ИИУС.

Методы и средства исследования. При решении указанных задач использовались методы математического моделирования, теория случайных процессов, анализ вычислительных алгоритмов, теория испытаний ПМ ИИУС.

Научная новизна диссертационного исследования:

1. Разработаны графоаналитические модели для определения и устранения семантических ошибок при обработке данных испытаний надежности программных модулей информационно-измерительных и управляющих систем на основе: 1) применения процедур совместного анализа потоков данных и управления при их мультиграфовом представлении; 2) проверки корректности областей определения переменных на маршрутах исполнения программных модулей путем сопоставления по времени проверенных маршрутов с маршрутами, выделенными по графу эталонного программного модуля.

2. Разработана методика обнаружения и устранения столкновений в программных модулях информационно-измерительных и управляющих систем, сформированная на предложенном принципе организации механизма синхронизации, позволяющем предоставить каждому из процессов программного модуля средства для записи путей реализации в общем пространстве состояний, включающем совокупность состояний программного модуля в заданных точках; кроме того, реализация принципа достигается: 1) введением процедур фиксации логического времени пути; 2) информированием о движении процесса, а совместное применение двух сформулированных процедур создает условия для обнаружения и устранения столкновений.

3. Разработаны алгоритмы оценки надежности программных модулей информационно-измерительных и управляющих систем по данным испытаний на основе: 1) применения моделей определения показателя надежности с системно-независимым аргументом и линейным характером обнаружения семантических ошибок; 2) введения вероятностной оценки точности измерения показателей надежности по критерию Пирсона; 3) реализации предложенной стратегии, позволяющей устранять семантические ошибки при испытаниях.

4. Сформирована структура системы управления параметрами надежности программных модулей информационно-измерительных и управляющих систем, отличающаяся введением блока моделирования надежности, в котором производится подбор необходимой модели (моделей) для оценки надежности программного модуля с учетом метрик оценки моделей надежности, их классификации по применению в зависимости от режимов контроля программных модулей информационно-измерительных и управляющих систем.

Положения, выносимые на защиту:

1. Графоаналитические модели для определения и устранения семантических ошибок при обработке данных испытаний ПМ ИИУС.

2. Методика обнаружения и устранения столкновений в ПМ ИИУС.

3. Алгоритмы оценки надежности ПМ ИИУС по данным испытаний.

4. Структура системы управления параметрами надежности программных модулей информационно-измерительных и управляющих систем.

Теоретическая и практическая значимость. Разработаны модели и алгоритмы для определения и устранения семантических ошибок при обработке данных испытаний ПМ; сформирована структура системы управления параметрами надежности, внедрение которых позволит повысить вероятность безотказной работы в процессе функционирования ИИУС по назначению.

Внедрение результатов исследования. Результаты диссертационной работы внедрены в ОАО Тамбовский НИИ радиотехники «ЭФИР» (Акт от 12.04.2015 г.). В учебном процессе ВУНЦ ВВС «ВВА им. проф. Н. Е. Жуковского и Ю. А. Гагарина» (Акт от 13.01.2015 г.).

Степень достоверности и апробация результатов исследования.

Достоверность результатов исследования достигнута: за счет корректного применения известных математических методов; непротиворечивости и воспроизводимости результатов, полученных теоретическим путем; использования адекватных природе изучавшихся процессов и явлений методов; верификации результатов в рамках способов и приемов, используемых в теории сложных программных систем.

Материалы диссертации представлены на Всероссийской научной школе «Актуальные проблемы нано- и микроэлектроники» (Тамбов, 2011); 7-ой Международной заочной конференции «Наука и устойчивое развитие общества. Наследие В. И. Вернадского» (Тамбов, 2012); XVIII Всероссийской научно-технической конференции студентов, молодых ученых и специалистов «Новые информационные технологии в научных исследованиях» (НИТ-2013) (Рязань, 2013); Международной научно-практической конференции «Актуальные вопросы образования и науки» (Тамбов, 2014); Международной конференции с элементами научной школы «Актуальные проблемы энергосбережения и энергоэффективности в технических системах» (Тамбов, 2014, 2015); научных семинарах кафедры «Конструирование радиоэлектронных и микропроцессорных систем» (Тамбов, 2011-2015).

Публикации. По материалам диссертации опубликовано 15 работ, в том числе: 4 статьи в рецензируемых журналах из перечня ВАК при Минобрнауки РФ, 9 публикаций в материалах Международных и Всероссийских конференций, 1 патент на изобретение (полезная модель), 1 свидетельство о государственной регистрации программ для ЭВМ.

Структура и объем работы. Диссертация состоит из введения, трех глав, заключения, списка литературы. Работа изложена на 164 страницах машинописного текста, включающего 20 рисунков, 4 таблицы, список литературы из 126 наименования.

1 ЗАДАЧА ОПРЕДЕЛЕНИЯ И УСТРАНЕНИЯ СЕМАНТИЧЕСКИХ ОШИБОК ПРОГРАММНЫХ МОДУЛЕЙ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНЫХ И УПРАВЛЯЮЩИХ СИСТЕМ ПО ДАННЫМ ИСПЫТАНИЙ И ПУТИ ЕЕ РЕШЕНИЯ

1.1 Процесс испытаний надежности программных модулей информационно-измерительной и управляющей системы как объект исследования

Современную ИИУС сложно представить без процессов достаточно сложной обработки информации, полученной не только путем ручного ввода, но и на основании автоматических измерений. Результатом такой обработки служит представление необходимой достоверной информации в надлежащем виде, в требуемом месте и в нужное время - без этого невозможно полноценное управление. Системы, построенные на основе реальной связи с объектом управления, отличаются более высокой оперативностью и достоверностью, по сравнению с информационными системами, где функции получения первичной информации и функции выдачи управляющих воздействий перекладываются на человека [1 - 3].

Аппаратные и программные средства, позволяющие обеспечивать техническую реализацию ИИУС, должны соответствовать современным требованиям унификации и стандартизации, метрологической, информационной, конструктивной и эксплуатационной совместимости, а также принципам модульного построения [4 - 6].

Развитие информационных технологий определяет их широкое применение в ИИУС. Так, широкое распространение приобретают измерительные информационные технологии, которые представляют собой разновидность информационных технологий, отличающихся из общего

множества реализацией специфических процедур, присущих только им. К таким процедурам относят следующие:

- снятие ряда измерений с исходной информации, на основе взаимодействия объекта измерения с первичными измерительными преобразователями (сенсорами);

- преобразование полученной измерительной информации с гарантированной и заданной точностью;

- соотнесение общепринятых единиц измерения с полученными сигналами измерительной информации;

- представление и оценка полученных параметров измеряемых величин, характеризующих остаточную неопределенность [7 - 11].

Вследствие использования средств искусственного интеллекта, известные на данный момент измерительные информационные технологии обретают дополнительные свойства. Важными задачами измерительных информационных технологий являются следующие: увеличение количества номенклатур величин, подвергшихся ряду измерений; осуществление гарантированных измерений в условиях влияния «жестких» внешних факторов, например в условиях высокой температуры, большого давления, ионизирующего излучения и т.д. Реализация выделенных задач приводит к закономерному усложнению структуры средств измерений, созданию необходимых для их функционирования совокупности взаимосвязанных технических средств и средств измерений [12 - 15].

Объекты исследования, способные изменяться с высокой скоростью, характеризуются достаточно большим количеством параметров. Порою, чтобы получить информацию о значении параметра объекта, появляется необходимость провести комплексные измерения и получить значения измеряемых величин с помощью расчетов на основе общеизвестных функциональных зависимостей между ними. В настоящее время

представленные задачи успешно решают с помощью информационно-измерительных и управляющих систем, получивших достаточно широкое распространение. Ввиду того, что информационно-измерительная и управляющая техника, бесспорно, составляет самую важную часть таких систем, существует возможность получения определенной информации об исследуемом объекте опытным путем.

Рассмотрим информационно-измерительные и управляющие системы на основе анализа терминов, входящих в данное понятие. Под измерительной системой понимают совокупность взаимосвязанных между собой измерительно-вычислительных компонентов, называемых также каналами измерений, и вспомогательных устройств, представляющих собой элементы измерительной системы, выполняющие свои функции в комплексе. Измерительные системы применяются в целях получения данных о состоянии объекта с помощью измерительных преобразований и обработки их результатов, в том числе с помощью индикации и регистрации, а также преобразования полученных данных в выходные сигналы системы [10, 73 - 75].

Необходимо отметить, что измерительным каналом такой системы принято считать конструктивно и функционально выделяемую часть, выполняющую завершенную функцию от восприятия величины измерения до получения результата измерений. Результат измерений может быть представлен соответствующим кодом, выражен числом или может выступать одним из параметров функции измеряемой величины до получения аналогового сигнала.

Измерительные каналы используют в структуре автономных измерительных систем, в составе сложных систем диагностики и контроля. В свою очередь, компонентом измерительной системы является техническое устройство измерительной системы, которое выполняет одну из функций процесса измерения.

Следует заметить, что существуют и более узкие формулировки понятия измерительной системы. Например, с позиции метрологического подхода [2, 6670] измерительную систему рассматривают как совокупность соединенных определенным образом измерительных каналов и средств измерений, обеспечивающих процесс получения результата, на основе исследования физических величин, определяющих свойства и состояние объекта измерения во времени.

Под информационно-измерительной системой (ИИС) понимается комплекс объединенных функционально измерительно-вычислительных и вспомогательных технических средств, используемых с целью получения данных о состоянии объекта с помощью измерительных преобразований, обработки и последующего преобразования информации в требуемый вид, автоматического выполнения логических функций идентификации, контроля, диагностики [11 - 14]. Составляющее наименование слово "информационная", свидетельствует о конечном продукте, который принадлежит к широкой области информационно-вычислительной техники, к технике связи и хранения информации. Ввиду того, что основным процессом эмпирического познания выступает измерение, позволяющее получить первичную количественную информацию, к понятию «информационная» добавляется более конкретизирующее - «измерительная».

Поэтому основными выделяемыми признаками ИИС являются способ комплектования, область использования, структура системы, выделяемые режимы работы, виды входных сигналов и виды допустимых измерений. Отсюда следует, что существует ряд классификаций ИИС. Так, по области применения ИИС подразделяют на системы: управления технологическими процессами, для научных исследований; контроля и испытаний различных изделий. Способ комплектования группируется как агрегатированные и неагрегатированные.

ИИС представляет собой цифровую систему управления и контроля над неким реальным объектом исследования. Универсальная вычислительная система позволяет решать проблемы, не связанные с потребностью принятия решений в текущем времени. Информационно-управляющая система (ИУС) позволяет решать задачи с отчетливо выраженной спецификой.

Из анализа понятия ИИУС видно, что данная система может выполнять информационные, измерительные, логические и вычислительные функции, а также функции диагностики. Для таких сложных систем предлагают связывать каналы измерений в самостоятельную подсистему с четко заданными границами, вследствие того, что информационно-измерительная система выступает как разновидность средств измерений. Но установление однозначных соответствий при сравнении средств измерений с информационно-измерительными системами порой затруднительно или вообще не является возможным, поскольку в рассмотренной системе возможен процесс развития и изменение структуры в ходе эксплуатации. Так, в целях установления определенной регламентации межу ними, можно выполнить выделение средства измерений как подсистемы в составе более сложной - информационно-измерительной и управляющей системы [74, 81].

При рассмотрении такой подсистемы в качестве условия целесообразности, возникает необходимость в изменении структуры средства измерений. Предположим, что изменения способны возникнуть в процессе использования, и в этом случае средства измерения выступают как адаптивная подсистема. В случае перехода от одного процесса измерения к другому как многофункциональная подсистема.

В развитии ИИУС выделяют три этапа, причем границы между ними определяются включением вычислительной техники в состав средств измерений. Первый этап - структура согласована, измерительная функция рассматривается как определяющая, а информационная и управляющие

выступают как вспомогательные функции. Второй этап - система превращается в информационную, на данном этапе реализуются измерительная и информационная функции, результатом развития выступает создание ИИС. Третий этап - система становится способной осуществить диагностику и контроль и выполнить как измерительную и информационную, так и управляющую функции.

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

Рассмотрим упрощенную структуру ИИУС, предложенную профессором В. А. Грановским (рис. 1.1).

В этом случае канал измерения рассматривается, как самая крупная структурная единица ИИУС, для которой возможна нормировка метрологических характеристик. Канал измерения является последовательным соединением средств измерений, которые образуют ИИУС. Необходимо отметить, что некоторые из таких средств измерений, вполне могут оказаться многоканальными и в этом случае говорят соединенном последовательно канале измерения, в рамках указанного средства измерения.

Типовая структура канала измерения состоит из первичного измерительного преобразователя, линий связи, промежуточного измерительного преобразователя, аналого-цифрового преобразователя, процессора и цифроаналогового преобразователя.

Выходное воздействие

ОБЪЕКТ УПРАВЛЕНИЯ (те х нол огнческнй п ро ■ «е с с)

Система управления (АСУ ТП)

Рис. 1.1. Упрощенная структура ИИУС, предложенная профессором В. А. Грановским

Различают простые и сложные каналы измерений. Простые каналы измерений способны реализовать определенную процедуру измерения для одной величины, в то время как сложные каналы измерений реализуют такие процедуры для нескольких величин. Процедура измерения нескольких величин в рамках сложных каналов измерений позволяет получать искомое значение параметра с помощью расчетов, используя общеизвестные функциональные

Входное во 1Д с йс тв и е

1У1

зависимости между полученными рассчитываемыми и измеренными значениями величин. Сложные каналы измерений способны делиться на некоторое количество простых каналов измерения.

При учете многоканальности ИИУС применение одинаковых устройств данной системы с каналом измерения часто можно определить только на функциональном уровне, поскольку их структура реализуется программно.

Следует заметить, что количество каналов измерения может достигать нескольких тысяч, а их протяженность весьма значительна. Передача информации от первичных преобразователей передается, как правило, с помощью электрических сигналов, например тока, напряжения или частоты следования импульсов и гораздо реже с помощью пневматических сигналов. В некоторых областях измерений, распространенные на данный момент первичные измерительные преобразователи используют цифровой код, а в случаях достаточно большой протяженности канала измерения еще и радиосигналы [68].

Часть ИИУС, которая начинается после окончания линий связи, и которая соединена со своим первичными преобразователями, представляет собой измерительно-вычислительный комплекс (ИВК). В состав большинства известных в ИВК входят контроллеры, значительная часть которых строится в виде модульного исполнения так называемых программных модулей (ПМ). Такие ПМ способны иметь в своем составе процессор(ы); аналого-цифровые преобразователи; цифроаналоговые преобразователи; входные и/или выходные модули дискретной информации и другие вспомогательные устройства. Структура и состав ПО ИВК обычно определяется спецификой объекта исследования [34, 35].

Следует также отметить, что в рамках информационной теории устройств измерения, средство измерения можно рассмотреть, как канал приема или канал получения и передачи измерительной информации. Это вызвано тем, что сам

процесс измерения каким-либо измерительным устройством в своем составе имеет некоторое число последовательных преобразований, направленных на получение информации исследуемой величины в требуемом виде.

Многоканальность и сложная конфигурация ИИУС может приводить к осложнению метрологического обеспечения и, одновременно с тем, государственный метрологический контроль и надзор будет способен рассмотреть исключительно часть такой системы. Это может быть связано с вхождением в состав некоторых информационно-измерительных и управляющих систем определенных частей (компонентов), которые размещены на движущихся объектах (госты и статьи по метрологии [3 - 13, 119 - 124 и т.д.]). Поэтому при рассмотрении части подсистемы возникает ситуация, при которой в процессе одного круга измерений к разным приемным частям будет относиться всего одна передающая часть. Такие приемные и передающие компоненты в ИИУС, в процессе выпуска и в ходе эксплуатации, неизвестны, что и вызывает сложности унификации и стандартизации объекта. Метрологическое обеспечение и контроль ИИУС, в целом, способны вызывать затруднения еще и применением встроенных в оборудование первичных измерительных преобразователей [44, 45].

Список литературы диссертационного исследования кандидат наук Мельник Олег Васильевич, 2016 год

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

1. Анашкин, А. С. Техническое и программное обеспечение распределенных систем управления / под ред. В. Г. Харазова / А. С. Анашкин, Э. Д. Кадыров, В. Г. Харазов. - СПб.: Изд-во «Р-2», 2004. - 367 с.

2. Георгиевский, А. Е. Моделирование процессов взаимодействия протокольных объектов в средствах информационного обмена: дис. ... канд. техн. наук: 05.13.06 / Георгиевский Александр Евгеньевич. - Орел, 2008. - 184 с.

3. ГОСТ 27.002-89. Надежность в технике. Основные понятия. Термины и определения. - М.: Изд-во стандартов, 1990. - 37 с.

4. ГОСТ 51901.5-2005. Менеджмент риска. Руководство по применению методов анализа надежности. - М.: Изд-во стандартов, 2007. - 49 с.

5. ГОСТ 28195-89. Оценка качества программных средств. Общие положения. - М.: Изд-во стандартов, 1989. - 31 с.

6. ГОСТ 27.310-95. Надежность в технике. Анализ видов, последствий и критичности отказов. - М.: Изд-во стандартов, 1995. - 14 с.

7. ГОСТ 51901.12-2007. Менеджмент риска. Метод анализа видов и последствий отказов. - М.: Изд-во стандартов, 2007. - 35 с.

8. ГОСТ Р ИСО/МЭК 9126-93. Информационная технология. Оценка программной продукции. Характеристики качества и руководства по их применению. - М.: Изд-во стандартов, 1994. - 19 с.

9. ГОСТ Р МЭК 870-5-1-95 Устройства и системы телемеханики. Ч. 5. Протоколы передачи. Раздел 1. Форматы передаваемых кадров [Электронный ресурс]. - Режим доступа: http://docs.cntd.ru/document/1200027394.

10. ГОСТ Р МЭК 870-5-2-95 Устройства и системы телемеханики. Ч. 5. Протоколы передачи. Раздел 2. Процедуры в каналах передачи [Электронный ресурс]. - Режим доступа: http://docs.cntd.ru/document/1200027395.

11. ГОСТ Р МЭК 870-5-3-95 Устройства и системы телемеханики. Ч. 5. Протоколы передачи. Раздел 3. Общая структура данных пользователя [Электронный ресурс]. - Режим доступа: http://www.docload.ru/standart/Pages_gost/27892.htm.

12. ГОСТ Р МЭК 870-5-4-96 Устройства и системы телемеханики. Ч. 5. Протоколы передачи. Раздел 4. Определение и кодирование элементов пользовательской информации [Электронный ресурс]. - Режим доступа: http: //docs.cntd.ru/document/1200027397.

13. ГОСТ Р МЭК 870-5-5-96 Устройства и системы телемеханики. Ч. 5. Протоколы передачи. Раздел 5. Основные прикладные функции [Электронный ресурс]. - Режим доступа: http://docs.cntd.ru/document/1200027399.

14. ГОСТ Р МЭК 870-5-101-2001 Устройства и системы телемеханики [Электронный ресурс]. - Режим доступа: http://docs.cntd.ru/document/1200019789.

15. ГОСТ Р МЭК 870-5-102-2001 Устройства и системы телемеханики. Ч. 5. Протоколы передачи. Раздел 101. Обобщающий стандарт по основным функциям телемеханики. Раздел 102. Обобщающий стандарт по передаче интегральных параметров в энергосистемах [Электронный ресурс]. - Режим доступа: http://docs.cntd.ru/document/1200027394.

16. ГОСТ Р 51739-2001 Интерфейс магистральный последовательный системы электронных модулей. Тестирование опытных образцов интерфейсного модуля в режиме контроллера шины. Общие требования к методам контроля [Электронный ресурс]. - Режим доступа: http://docs.cntd.ru/document/1200019860.

17. ГОСТ Р 51840-2001 Программируемые контроллеры. Общие положения и функциональные характеристики [Электронный ресурс]. - Режим доступа: http://www.docload.ru/standart/Pages_gost/6484.htm.

18. ГОСТ Р 51841-2001 Программируемые контроллеры. Общие технические требования и методы испытаний [Электронный ресурс]. - Режим доступа: http://gost.ruscable.ru/cgi-bin/catalog/catalog.cgi?i=6738&l=.

19. ГОСТ Р 52074-2003 Интерфейс магистральный последовательный системы электронных модулей. Тестирование серийных образцов интерфейсных модулей, функционирующих в режиме контроллера шины. Общие требования к методам контроля [Электронный ресурс]. - Режим доступа: http://gost.ruscable.ru/cgi-bin/catalog/catalog.cgi?i=173&l=.

20. Грановский, В. А. Системная метрология: метрологические системы и метрология систем ГНЦ РФ ЦНИИ «Электроприбор» / В. А. Грановский. - СПб., 1999. - 360 с.

21. Денисенко, В. В. Распределенные системы сбора данных RealLab / В. В. Денисенко, Р. С. Кильметов, Е. Е. Метелкин, О. Е. Трубачев,

A. Н. Халявко // Электронные компоненты. - 2007. - № 4. - С. 86 - 92.

22. Денисенко, В. В. Модули ввода-вывода, серия МЬ /

B. В. Денисенко, Р. С. Кильметов, П. В. Ерещенко, Е. Е. Метелкин, А. Н. Халявко, К. П. Шальнев // Приборы и системы. Управление, Контроль, Диагностика. - 2005. - № 1.- С. 54 - 57.

23. Денисенко, В. В. Испытания электронной аппаратуры: быстро и эффективно / В. В. Денисенко, Р. С. Кильметов, П. В. Ерещенко, Е. Е. Метелкин, А. Н. Халявко, К. П. Шальнев // Компоненты и технологии. -2004. - № 4. - С. 216 - 220.

24. Денисенко, В. В. Испытания электронной аппаратуры: быстро и эффективно / В. В. Денисенко, Р. С. Кильметов, П. В. Ерещенко, Е. Е. Метелкин, А. Н. Халявко, К. П. Шальнев // Компоненты и технологии. -2004. - № 5. - С. 158 - 166.

25. Денисенко, В. В. Компьютерное управление технологическим процессом, экспериментом, оборудованием / В. В. Денисенко. - М.: Горячая линия-Телеком, 2008. - 608 с.

26. Дианов, В. Н. Диагностика и надежность автоматических систем / В. Н. Дианов. - М.: МГИУ, 2005. - 160 с.

27. Еременко, В. Т. Концепция обнаружения и коррекции логических ошибок в реализациях профилей протоколов безопасности / В. Т. Еременко // Телекоммуникации. - 2003. - № 8. - С. 30 - 35.

28. Еременко, В. Т. Алгоритмы поиска угроз в пространстве состояний процессов информационного обмена распределенной управляющей системы / В. Т. Еременко, И. С. Константинов // Вестник Тамбовского государ-ственного технического университета. - 2004. - Т. 10, № 4А. - С. 912 - 918.

29. Еременко, В. Т. Методологический аспект построения теории функциональной стандартизации протоколов информационного обмена / В. Т. Еременко // Вестник компьютерных и информационных технологий. - 2004. -№ 1. - С. 14 - 17.

30. Еременко, В. Т. Методика анализа гарантированности реализаций профилей протоколов информационного обмена / В. Т. Еременко // Вестник компьютерных и информационных технологий. - 2004. - № 2. - С. 47 - 48.

31. Еременко, В. Т. Моделирование процессов анализа реализаций протоколов информационного обмена для решения задач описания их статического и динамического взаимодействия / В. Т. Еременко, И. С. Константинов // Вестник компьютерных и информационных технологий. -2004. - № 4. - С. 11 - 15.

32. Еременко, В. Т. Методика оценки неопределенности данных аттестационного тестирования реализаций профилей протоколов информационного обмена / В. Т. Еременко, Т. М. Парамохина // Вестник компьютерных и информационных технологий. - 2005. - № 8 - С. 45 - 48.

33. Еременко, В. Т. Математические модели реализаций протоколов информационного обмена / В. Т. Еременко, С. И. Афонин, Д. Г. Богачев // Известия ТулГУ. Сер. Технологическая системотехника. Вып. 9. -Тула: Изд-во ТулГУ, 2006. - С. 40 - 45.

34. Еременко, В. Т. Алгоритмы и процедуры генерации тестов для протоколов информационного обмена / В. Т. Еременко, Т. М. Парамохина // Вестник компьютерных и информационных технологий. - 2006. - № 12. - С. 46 - 50.

35. Еременко, В. Т. Способы и приемы оптимизации процесса поверки измерительного комплекса автоматизированной системы контроля / В. Т. Еременко, А. Н. Орешин, А. В. Тукелев, Р. Б. Трегубов // Вестник компьютерных и информационных технологий. - 2008. - № 3. - С. 35 - 40.

36. Еременко, В.Т. Моделирование информационных потоков в сетях передачи данных интегрированных АСУ / С. И. Афонин, В. Т. Ере-менко, Т. М. Парамохина, Л. В. Кузьмина, Д. А. Плащенков // Информационные системы и технологии. - 2011. - № 6 - С. 35 - 42.

37. Еременко, В. Т. Методологические аспекты выбора профилей сбора и обработки данных в системах неразрушающего контроля и диагностики технических объектов / В. Т. Еременко, А. В. Тютякин // Контроль. Диагностика. - 2013. - № 1. - С. 24 - 31.

38. Еременко, В. Т. Синтез локально-оптимальной структуры классификатора информационных ресурсов по критерию минимума средней длины процедуры поиска / В. Т. Еременко, А. А. Батенков, И. С. Полянский, К. А. Батенков, М. А. Сазонов // Вестник компьютерных и информационных технологий. - 2013. - № 7. - С. 3 - 8.

39. Ерёменко, В. Т. Метод автоматизации поиска бинарных вставок в исходных текстах программного обеспечения / В. Т. Ерёменко, В. В. Рябоконь // Информационные системы и технологии. - 2013. - № 5. - С. 90 - 94.

40. Еременко, В. Т. Распознавание функциональных объектов программного обеспечения в условиях отсутствия исходных текстов / М. Н. Горюнов, В. Т. Еременко, А. Л. Ершов, А. Г. Мацкевич // Информационные системы и технологии. - 2013. - № 5. - С. 112 - 120.

41. Еременко В.Т. Моделирование процессов информационного обмена в распределенных управляющих системах: монография / В. Т. Еременко. - М.: Машиностроение-1, 2004. - 224 с.

42. Еременко, В.Т. Основы построения и перспективы развития аппаратных средств вычислительной техники: монография в 2-х т. / В. Т. Еременко, И. С. Константинов, А. В. Коськин, В. А. Лобанова и др. - Орел: Изд-во ОГУ, 2008. - Т. 1. - 346 с.

43. Еременко, В. Т. Основы построения и перспективы развития аппаратных средств вычислительной техники: монография в 2-х т. / В. Т. Еременко, И. С. Константинов, А. В. Коськин, В. А. Лобанова и др. - Орел: Изд-во ОГУ, 2008. - Т. 2. - 162 с.

44. Еременко, В. Т. Теория информации и информационных процессов: монография / В. Т. Еременко, И. С. Константинов, А. В. Коськин, В. А. Лобанова и др. / под ред. д-ра техн. наук В. Т. Еременко, д-ра техн. наук

A. П. Фисуна. - Орел: Изд-во ОГУ, 2008. - 478 с.

45. Еременко, В. Т. Актуальные теоретические и технологические аспекты информатики: Методологические основы информатики: монография /

B. Т. Еременко, А. П. Фисун, И. С. Константинов, А. В. Коськин, В. А. Лобанова и др. - Орел: Изд-во ОГУ, 2011. - Т. 1. - 234 с.

46. Еременко, В. Т. Актуальные аспекты теоретической и прикладной информатики: монография в 3-х т. Т. 3. Актуальные технико-экономические и организационные аспекты информатизации: в 2-х кн. / В. Т. Еременко / под ред. д-ра техн. наук В. Т. Еременко, А. П. Фисуна, В. А. Минаева. - Орел: Изд-во ОГУ, 2012. - Кн. 1. - 226 с.

47. Имитационное моделирование производственных систем / под ред. А. А. Вавилова. - М.: Прогресс, 1983. - 321 с.

48. Ицкович, Э. Л. Современные алгоритмы автоматического регулирования и их использование на предприятиях / Э. Л. Ицкович // Автоматизация в промышленности. - 2007. - № 6. - С. 39-44.

49. Киселев, В. Промышленный Ethernet в стиле Hirschmann / В. Киселев // Современные технологии автоматизации. - 2005. - № 2. - С. 6 - 12.

50. Кругляк, К. Локальные сети Ethernet в АСУ ТП: быстрее, дальше, надежнее / К. Кругляк // Современные технологии автоматизации. - 2003. - № 1. - С. 6 - 13.

51. Липаев, В. В. Программная инженерия. Методологические основы / В. В. Липаев. - М.: ТЕИС, 2006. - 608 с.

52. Липаев, В. В. Тестирование компонентов и комплексов программ / В.В. Липаев. - М.: СИНТЕГ, 2010. - 227 с.

53. Майерс Г. Дж. Надежность программного обеспечения / Г. Дж. Майерс; под общ. ред. В.Ш. Кауфмана. - М.: Изд-во Мир, 1980. - 359 с.

54. Максаков, С. А. Оптимизация ресурсов и управление процессами информационного обмена в сетях АСУТП на основе полевых шин: дис. ... канд. техн. наук: 05.13.06 / Максаков Сергей Анатольевич. - Орел, 2008. - 181 с.

55. Максименко, С. В. Методы и средства технической диагностики оборудования компрессорной станции / С. В. Максименко, Г. Н. Поляков, А. Н. Труфанов Обзорная информ. Сер. Транспорт и подземное хранение газа. - М.: ВНИИЭгазпром, 1990. - 66 с.

56. Мельник, О. В. Метод анализа неопределенности данных испытаний реализации программного модуля информационно-измерительных и управляющих систем / О. В. Мельник // Информационные системы и технологии. - 2015. - № 1 (87). - С. 88 - 93.

57. Мельник, О. В. Модель закона распределения непрерывных случайных величин на основе гамма-распределения / Ю. Т. Зырянов,

И. Г. Карпов, О. В. Мельник // Фундаментальные и прикладные проблемы техники и технологии. - 2014. - № 3 (305). - С. 26 - 30.

58. Мельник, О. В. Вероятностные характеристики моделей процессов чистого размножения и чистой гибели в системах массового обслуживания / Ю. Т. Зырянов, И. Г. Карпов, О. В. Мельник // Научный вестник МГТУ ГА. -2013. - № 9 (195). - С. 51 - 57.

59. Мельник, О. В. Модифицированное уравнение Пирсона для распределений непрерывных случайных величин / Ю. Т. Зырянов, И. Г. Карпов, О. В. Мельник // Фундаментальные и прикладные проблемы техники и технологии. - 2013. - № 1 (297). - С. 16 - 23.

60. Мельник, О. В. К вопросу об аппроксимации закона распределения экспериментальных данных / Ю. Т. Зырянов, И. Г. Карпов, О. В. Мельник // Фундаментальные и прикладные проблемы техники и технологии. - 2012. -№ 6-2 (296). - С. 21 - 28.

61. Мельник, О. В. Анализ моделей оценки надежности программного обеспечения информационно-измерительных и управляющих систем / О. В. Мельник // Материалы Всероссийской конференции молодых учёных. -Тамбов, 2011. - С. 41 - 45.

62. Мельник, О. В. Оптимальное управление техническим состоянием сложных радиотехнических систем при ограниченных ресурсах / Ю. Т. Зырянов, О. В. Мельник, М. Ф. Султани // Актуальные проблемы нано- и микроэлектроники: мат-лы Всероссийской научной школы. - Тамбов, 2011. - С.

186 - 187.

63. Мельник, О. В. Интегрированная информационно - моделирующая система прогнозирования технического состояния авиационных РЭС / Ю. Т. Зырянов, О. В. Мельник, М. Ф. Султани // Актуальные проблемы нано и микроэлектроники: мат-лы Всероссийской науч. школы. - Тамбов, 2011. - С.

187 - 188.

64. Мельник, О. В. Оценка надежности программного обеспечения информационных систем / Ю. Т. Зырянов, О. В. Мельник // Наука и устойчивое развитие общества. Наследие В. И. Вернадского: мат-лы 7-й Междунар. заочной конф. - № 9. - Тамбов, 2012. - С. 34 - 35.

65. Мельник, О. В. Алгоритм выбора моделей для оценки надежности программного обеспечения информационно-измерительной системы / О.В. Мельник // Актуальные вопросы образования и науки: мат-лы Междунар. науч.-практ. конф. - Тамбов, 2014. - С. 80.

66. Мельник, О. В. Управление надежностью программного обеспечения информационно-измерительных систем / О. В. Мельник // Новые информационные технологии в научных исследованиях (НИТ-2013): мат-лы XVIII Всероссийской науч.-техн. конф. студентов, молодых ученых и специалистов. - Рязань, 2013. - С. 275.

67. Мельник, О. В. Применение информационных технологий для оценки надежности программного обеспечения информационно-измерительных систем / О. В. Мельник // Актуальные проблемы энергосбережения и энергоэффективности в технических системах: мат-лы Междунар. конф. с элементами научной школы. - Тамбов, 2014. - С. 103 - 104.

68. Мельник, О. В. Оценка надежности программных модулей при испытаниях информационно-измерительных и управляющих систем / Ю. Т. Зырянов, О. В. Мельник, А. Ю. Наумова // Актуальные проблемы энергосбережения и энергоэффективности в технических системах: мат-лы Междунар. конф. с элементами науч. школы. - Тамбов, 2015. - С. 104 - 105.

69. Мельник, О. В. Тестирование программных модулей информационно-измерительных и управляющих систем по тестовым случаям / Ю. Т. Зырянов, О. В. Мельник, А. Ю. Наумова // Актуальные проблемы энергосбережения и энергоэффективности в технических системах: мат-лы Междунар. конф. с элементами научной школы. - Тамбов, 2015. - С. 106 - 107.

70. Мельник, О. В. Система управления надежностью программного обеспечения информационно-измерительных систем / О. В. Мельник, Ю. Т. Зырянов // Патент на полезную модель № 141941 от 16.01.2014, заявка № 2013136010/089054032 от 30.07.2013.

71. Мельник, О. В. Программа выбора модели для оценки надежности программного обеспечения информационно-измерительных и управляющих систем / О. В. Мельник, Ю. Т. Зырянов // Свидетельство о государственной регистрации программы для ЭВМ № 2014610492 Федеральной службы по интеллектуальной собственности от 14 марта 2014 г. - № 2014610492; заявл. 28.01.14; зарег. в Реестре программ для ЭВМ Роспатента 14.03.2014.

72. Мельников, Д. А. Информационные процессы в компьютерных сетях: протоколы, стандарты, интерфейсы, модели / Д. А. Мельников. - М.: КУДИЦ-ОБРАЗ, 1999. - 256 с.

73. МИ 2232-2000. Обеспечение эффективности измерений при управлении технологическими процессами. Оценивание погрешности измерений при ограниченной исходной информации [Электронный ресурс]. -Режим доступа: http://files.stroyinf.ru/Data1/11/11562/.

74. МИ 1317-2004 ГСИ. Результаты и характеристики погрешности измерений. Формы представления. Способы использования при испытаниях образцов продукции и контроле их параметров [Электронный ресурс]. - Режим доступа: http: //docs. cntd.ru/document/1200044373.

75. МИ 2955-2005 ГСИ. Типовая методика аттестации программного обеспечения средств измерений и порядок её проведения [Электронный ресурс]. -Режим доступа: http://www.moregost.ru/see/mi/mi_2955-2005/index.html.

76. МИ 2539-99 ГСИ. Измерительные каналы контроллеров, измерительно-вычислительных, управляющих, программно-технических комплексов. Общие требования к методике поверки [Электронный ресурс]. -Режим доступа: http://www.moregost.ru/see/mi/mi_2539-99/index.html.

77. МЭК 61508-7(2000). Функциональная безопасность электрических/электронных/программируемых электронных систем, обеспечивающих безопасность. Ч. 7. Обзор методов и средств измерения [Электронный ресурс]. - Режим доступа: http://doc-load.ru/gost/Index/47/47517.htm.

78. Новицкий, П. В. Основы информационной теории измерительных устройств / П. В. Новицкий. - Л.: Энергия, 1968. - 248 с.

79. Орлов, С. А. Ethernet в системах промышленной автоматизации [Электронный ресурс]. - Режим доступа: http://www.osp.ru/lan/2002/06/136286/.

80. Парамохина, Т. М. Автоматизация процессов аттестационных испытаний средств информационного обмена: дис. ... канд. техн. наук: 05.13.06 / Парамохина Татьяна Михайловна. - Орел, 2007. - 175 с.

81. Парк, Дж. Сбор данных в системах контроля и управления. Практическое руководство / Дж. Парк, С. Маккей. - М.: ООО «Группа ИТД», 2006. - 504 с.

82. Парк, Дж. Передача данных в системах контроля и управления. Практическое руководство / Дж. Парк, С. Маккей, Э. Райт. - М.: ООО «Группа ИТД», 2007. - 480 с.

83. Петухов, Г. Б. Методологические основы внешнего проектирования и целенаправленных процессов и целеустремленных систем / Г. Б. Петухов, В. И. Якунин. - М.: АСТ, 2006. - 504 с.

84. Прангишвили, И. В. Актуальные проблемы развития систем управления в промышленности / И. В. Прангишвили // Автоматизация в промышленности. - 2010. - № 1.

85. Проблемы автоматизации управления предприятием [Электронный ресурс] // BITE-Россия. - 2009. - № 9. - Режим доступа: http://www.bytemag.ru/ articles/detail.php?ID=6822.

86. Рекомендации по межгосударственной стандартизации РМГ 29-99 «ГСИ. Метрология: Основные термины и определения. Межгосударственный совет по стандартизации, метрологии и сертификации». - М.: Изд-во стандартов, 2000. - 46 с.

87. Решетников, И. С. Автоматизация производственной деятельности газотранспортной компании / И. С. Решетников. - М.: НГСС, 2011. - 116 с.

88. Российская Метрологическая Энциклопедия. - СПб.: Изд-во Лики России, 2001. - 839 с.

89. Руководство по выражению неопределенности измерения / под ред. проф. В. А. Слаева; пер. и публ. ГП «ВНИИМ им Д.И. Менделеева». - СПб.: ООО «Типография ЛИГАС+», 1999. - 126 с.

90. Саати, Т. Л. Принятие решений. Метод анализа иерархий: пер. с англ. / Т. Л. Саати. - М.: Радио и связь, 1993. - 320 с.

91. Саати, Т. Л. Принятие решений при зависимостях и обратных связях: Аналитические сети: пер. с англ. / Т. Л. Саати. - Изд-е 2-е. - М.: Книжный дом «ЛИБРОКОМ», 2009. - 360 с.

92. Саати, Т. Л. Элементы теории массового обслуживания и ее приложения: пер с англ. / Т. Л. Саати. - Изд-е 3-е. - М.: Книжный дом «ЛИБРОКОМ», 2010. - 520 с.

93. Селиванов, М. Н. Качество измерений: Метрологическая справочная книга / М. Н. Селиванов, А. Э. Фридман, Ж. Ф. Кудряшова. - Л.: Лениздат, 1987. - 295 с.

94. Селиванов, М. Н. Развитие основных понятий метрологии / М. Н. Селиванов // Анализ и формализация измерительного эксперимента: сборник науч. трудов НПО ВНИИМ им. Д. И. Менделеева. - Л.: Энергоатомиздат, 1986. - С. 23 - 29.

95. Сергеев, А. Г. Метрология: учеб. пособие для вузов / А. Г. Сергеев, В. В. Крохив. - М.: Логос, 2001. - 408 с.

96. Точилин, Н. В. Применение Internet- и Intranet-технологий для обмена электронными данными / Н. В. Точилин // Газовая промышленность: науч.-эконом. сборник. - М.: ООО «ИРЦ Газпром», 2000. - № 6. - С. 22 - 25.

97. Турчин, С. Общие проблемы автоматизации управления предприятием [Электронный ресурс]. - Режим доступа: http: //www. iteam. ru/publications/it/section_53/article_1371/.

98. Тютюнник, М. Н. Концепция Transparent Factory: Web-технология в автоматизации производства [Электронный ресурс]. - Режим доступа: http://www.mka.ru/?p=40134.

99. Тютюнник, М. Н. Transparent Factory первые шаги [Электронный ресурс]. - Режим доступа: http://asutp.ru/?p=600099.

100. Удовиченко, Е. Т. Метрологическое обеспечение измерительных информационных систем (теория, методология, организация) / Е. Т. Удовиченко, А. А. Братин, A. Л. Семенюк и др. - М: Изд-во стандартов, 1991. - 192 с.

101. Федоров, В. К. Контроль и испытания в проектировании и производстве радиоэлектронных средств / В. К. Федоров, Н. П. Сергеев, А. А.Кондрашин. - М.: Техносфера, 2005. - 504 с.

102. Хазарадзе, Т. О. Построение масштабных АСУ ТП: опыт решения проблемы / Т. О. Хазарадзе, А. И. Куликов // Мир компьютерной автоматизации. - 2002. - № 5. - С. 37 - 45.

103. Харт, X. Введение в измерительную технику: пер. с нем. / X. Харт. - М.: Мир, 1999. - 391 с.

104. Цапенко, М. П. Измерительные информационные системы: учеб. пособие для вузов / М. П. Цапенко. - Изд-е 2-е, перераб. и доп. - М.: Энергоатомиздат, 1985. - 357 с.

105. Цапенко, М. П. Измерительные информационные системы: учеб. пособие для вузов / М. П. Цапенко. - Изд-е 2-е, перераб. и доп. - М.: Энергоатомиздат, 1985. - 357 с.

106. Цапенко, М. П. Очерки современных измерений / М. П. Цапенко, В. Г. Кнорринг / Новосибирский гос. тех. ун-т. - Новосибирск, 1994. - 205 с.

107. Черкесов, Г. Н. Надежность аппаратно-программных комплексов / Г. Н. Черкесов. - СПб.: Питер, 2005. - 479 с.

108. Шильняк, Д. Д. Децентрализованное управление сложными системами: пер. с англ. / Д. Д. Шильняк. - М.: Мир, 1994. - 576 с.

109. Якубайтис, Э. А. Информационные сети и системы / Э. А. Якубайтис. - М.: Финансы и статистика, 1996. - 289 с.

110. Alinaghian, R. Information and Communication Technology (ICT) Policy: Significances, Challenges, Issues and Future Research Framework / R. Alinaghian, A. A. Rahman, R. Ibrahim // Australian Journal of Basic and Applied Sciences. -

2011. - No. 5 (12). - P. 963 - 969.

111. Garcia, J. Reconfigurable distributed network control system for industrial plant automation / J. Garcia, F. R. Palomo, A. Luque, C. Aracil, J. M. Quero, D. Carrion, F. Gamiz, P. Revilla, J. Perez-Tinao, M. Moreno, P. Robles, L. G. Franquelo // IEEE Transactions on Industrial Electronics (Dec., 2004). - 2004. -Vol. 51, Issue 6. - P. 1168 - 1180.

112. Helei, Wu. Integrating embedded-Web technology and real-time Ethernet for modern distributed control / Wu Helei, Ming Jing, Yang Yirong, Zhu Shanan // Fifth World Congress on Intelligent Control and Automation, 2004 (WCICA, 2004) (1519 June). - 2004. - Vol. 2. - P. 1323 - 1325.

113. Murad, R. S. A. Applying the viable system model to ICT project management / R. S. A. Murad, R. Y. Cavana // Int. J. of Applied Systemic Studies. -

2012. - Vol. 4, No. 3. - Р. 186 - 205.

114. Natori, K., Tsuji, T., Ohnishi, K., Hace, A., Jezernik, K. Robust bilateral control with Internet communication / K. Natori, T. Tsuji, K. Ohnishi, A. Hace, K. Jezernik // 30th Annual Conference of IEEE Industrial Electronics Society (IECON, 2004). - 2004. - Vol. 3, No. 2-6. - P. 2321 - 2326.

115. Nikolakopoulos, G. An integrated system based on Web and/or WAP framework for remote monitoring and control of industrial processes / G. Nikolakopoulos, M. Koundourakis, A. Tzes // IEEE International Symposium on Virtual Environments, Human-Computer Interfaces and Measurement Systems, 2003 (VECIMS '03) (27-29 July, 2003). - 2003. - P. 201 - 206.

116. OPC Foundation. OPC historical data access specification. Version 1.20. Released (Dec. 10, 2003). - 2003. - 160 p.

117. Qingcang, Yu. Web based control system design and analysis / Yu Qingcang, Chen Bo, H. H. Cheng // IEEE Control Systems Magazine (Jun., 2004). - 2004. - Vol. 24, No. 3. - P. 45 - 57.

118. Qiu, B. Internet-based SCADA display system / B. Qiu, H. B. Gooi, Y. Liu; E. K. Chan // IEEE Computer Applications in Power (Jan., 2002). - 2002. -Vol. 15, No. 1. - P. 14 - 19.

119. Renton, P. Internet-based manufacturing process optimization and monitoring system / P. Renton, P. Bender, S. Veldhuis, D. Renton, A. Elbestawi, R. Teltz, T. Bailey // Proc. on ICRA '02: IEEE International Conference on Robotics and Automation (11-15 May, 2002). - 2002. - Vol. 2. - P. 1113 - 1118.

120. Teng, J.-H. Integration of Internet and virtual instruments to develop an industrial SCADA / J.-H. Teng, R. Lee, Y.-H. Liu, R.-C. Leou // IEEE Power Engineering Society Summer Meeting. - 2001. - Vol. 3. - P. 1509 - 1514.

121. Willig, A. Redundancy Concepts to Increase Transmission Reliability in Wireless Industrial LANs / A. Willig // IEEE Transactions on Industrial Informatics. -Vol. 1, No. 3. - P. 173 - 182.

122. Wu, H. Integrating embedded-Web technology and real-time Ethernet for modern distributed control / H. Wu, J. Ming, Y. Yang, S. Zhu // Fifth World Congress on Intelligent Control and Automation, 2004 (WCICA 2004) (June 15-19, 2004). -2004. - Vol. 2. - P. 1323 - 1325.

123. Xi, B. Use of Ethernet for Industrial Control Networks / B. Xi, Y. Fang, M. Chen, J. Liu // ICIEA: 1st IEEE Conference on Industrial Electronics and Applications (May, 2006). - 2006. - P. 1 - 4.

124. Yang, S. H. Requirements specification and architecture design for Internet-based control systems / S. H. Yang, L. S. Tan, X. Chen // Proceedings: 26th Annual International Computer Software and Applications Conference (COMPSAC-2002) (26-29 Aug., 2002). - 2002. - P. 75 - 80.

125. Ying-Xiao, Xu, Models and algorithms of QoS-based routing with MPLS traffic engineering / Xu Ying-Xiao, Zhang Gen-Du // High Speed Networks and Multimedia Communications 5th IEEE International Conference (July 2002). - 2002. -P. 128 - 132.

126. ZigBee specification. Document 053474r13 // ZigBee Standards Organization (Dec. 1, 2006). - 2006. - P. 85-97.

Акты о внедрении и реализации результатов диссертационной работы

УТВЕРЖДАЮ Заместитель начальника ВУНЦ ВВС «ВВА им.проф. Н.Е. Жуковского и Ю.А.Гагарина» (г. Воронеж) по учебной и н*у*жрй работе генерал-майор А. Нагалин

«ДГ - & 20^.

V •»■ ——— -

А

fr II

Х-.

^^Hfci _| -

АКТ

реализация результатов диссертационных исследований Мельника Олега Васильевича

Комиссия в составе: председателя комиссии: начальника учебно-методического

центра ВУНЦ ВВС «ВВА им.

проф. H.H. Жуковского и ЮА. Гш-арина» (г. Воронеж) полковника Щуклина И. К., членов комиссии:

начальника кафедры управления авиацией (с пунктов управления) полковника Субботина P.A.,_

(должность, в>1в., ФИО)

начальника кафедры (управления воинскими частями связи и

радиотехнического обеспечения авиации) полковника Федюнина П.А..

{.должионц изв.. ФИО)

начальника кафедры (управления материально-техническим обеспечением ВВС) полковника Власова А.Б._

(должность, ФИО)

составила настоящий акт о том, что материалы научных исследований Мельника ОЗ., отраженные в диссертационной работе, представленной на соискание ученой степени кандидата технических наук по специальности 05.11.16 - «Информационно-измерительные и управляющие системы», реализованы в учебном процессе ВУНЦ ВВС ВВА им. проф. Н.Е. Жуковского и Ю.А. Гагарина» (г. Воронеж):

на кафедре (управления авиацией (с пунктов управления)) при подготовке методических материалов для проведения занятий по дисциплине «Информационные технологии и автоматизированные системы управления ВВС», тема №2;

на кафедре (управления воинскими частями связи и радиотехнического обеспечения авиации) при подготовке методических материалов для проведения занятий по дисциплинам «Сетевые технологии в системах управления военного назначения», тем №2, 7 и «Применение радиотехнических средств и комплексов средств автоматизации ВВС», темы №5,6.

радиотехнических средств и комплексов средств автоматизации ВВС», темы №5,6.

Результаты исследований по теме диссертации, направленной на повышение эффективности испытаний программных модулей информационно-измерительных и управляющих систем (ИИиУС) позволили разработать:

1. Графоаналитические модели семантических ошибок при обработке данных испытаний программных модулей ИИиУС.

2. Алгоритм оценки надежности испытаний реализации программного модуля ИИиУС.

3. Методику анализа неопределенности данных испытаний реализации программного модуля ИИиУС.

4. Структуру системы управления надежностью программного обеспечения ИИиУС.

Внедрение результатов диссертационной работы позволило повысить качество и эффективность учебного процесса.

Председатель комиссии: Члены комиссии:

«/^ » января 2015 г.

полковник

И. Шуклин

полковник- р.Субботин

полковник ^ / П. Федюнин

полковник ж А.Власов

Свидетельство о регистрации программы для ЭВМ

Патент на полезную модель