Разработка методов и средств автоматизированного синтеза проектных решений бортовых аппаратно-программных комплексов тема диссертации и автореферата по ВАК РФ 05.13.12, кандидат технических наук Царевский, Андрей Валентинович

• Царевский, Андрей Валентинович
• кандидат технических наук
• 2010

Оглавление диссертации кандидат технических наук Царевский, Андрей Валентинович

Введение

Глава 1. Анализ моделей синтеза проектных решений автоматизированных систем

1.1 Аппаратно-программный комплекс обмена информацией корабельных АСУ

1.1.1 Назначение, состав и выполняемые функции

1.1.2 Особенности взаимообмена информацией с абонентами

1.1.3 Характеристики АПКОИ

1.2 Функциональное проектирование как составная часть автоматизированного проектирования

1.3 Аналитический обзор моделей проектирования АС

1.3.1 Модели проектирования АС с оптимизацией затрат на создание

1.3.2 Модели проектирования АС с оптимизацией параметров функционирования

1.3.3 Результаты анализа моделей

1.4 Средства автоматизированного проектирования программных средств АПКОИ

1.5 Общая постановка задачи синтеза оптимальных проектных решений АПКОИ

1.6 Выводы

Глава 2 . Разработка первой группы моделей синтеза оптимальных проектных решений АПКОИ

2.1 Зависимости стоимости технических средств от производительности

2.2 Первая модель синтеза оптимальных проектных решений

2.3 Вторая модель синтеза оптимальных проектных решений

2.4 Третья модель синтеза оптимальных проектных решений

2.4.1 Аппроксимирующий полином экспериментальных зависимостей

2.4.2 Исследование целевой функции второй степени

2.4.3 Исследование целевой функции третьей степени

2.5 Четвертая модель синтеза оптимальных проектных решений

2.6 Адекватность моделей первой группы

2.7 Область применения моделей первой группы

2.8 Методика синтеза по первой группе моделей

2.9 Выводы

Глава 3. Разработка второй группы моделей синтеза оптимальных проектных решений АПКОИ

3.1 Зависимости стоимости средств сопряжения от производительности и надежности

3.2 Пятая модель синтеза оптимальных проектных решений

3.3 Шестая модель синтеза оптимальных проектных решений

3.4 Седьмая модель синтеза оптимальных проектных решений

3.4.1 Исследование целевой функции второй степени

3.4.2 Формальные зависимости оптимальных проектных решений

3.4.3 Полином с интервальными коэффициентами

3.5 Восьмая модель синтеза оптимальных проектных решений

3.6 Адекватность моделей второй группы

3.7 Область применения моделей второй группы

3.8 Методика синтеза по второй группе моделей

3.9 Выводы

Глава 4. Программная реализация методов проектирования АПКОИ

4.1 Программный комплекс САПР АПКОИ

4.2 Проектирование с использованием моделей первой группы

4.2.1 Экспериментальная зависимость стоимости технических средств от производительности

4.2.2 Аппроксимация экспериментальной зависимости стоимости технических средств от производительности

4.2.3 Примеры проектных решений АПКОИ

4.2.4 Сравнительный анализ алгоритмов синтеза

4.3 Проектирование с использованием моделей второй группы

4.3.1 Экспериментальная зависимость стоимости разработки программных средств АПКОИ от надежности

4.3.2 Примеры проектных решений АПКОИ

4.4 Применение разработанных методов и средств САПР в процессе создания АПКОИ

4.5 Выводы 188 Заключение 190 Библиографический список 193 Приложение 1. Листинг программного комплекса САПР АПКОИ 205 Приложение 2. Справки о внедрении

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

Актуальность проблемы

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

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

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

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

Согласно ГОСТам серии 34 и приведенной классификации автоматизированных систем (АС) в РД 50-680-88 п. 1.2, АПКОИ относится к АС обработки и передачи информации.

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

Моделирование АС основано на многочисленных направлениях теории сложных систем, в создание которых большой вклад внесли А.А. Воронов, Я. А. Хетагуров, А.В. Максименков, В.Г. Гаврилов и др. Однако существующая теория моделирования АС не обеспечивает в настоящее время описание всех необходимых при проектировании связей и зависимостей, следовательно, отсутствуют соответствующие средства автоматизации проектирования. Поэтому актуальным и важным являются разработка моделей проектирования и средств автоматизации синтеза ОПР, учитывающих специфику бортовых АПКОИ и взаимосвязь таких показателей как стоимость, производительность и надежность ТС, затраты на разработку ПС и ее надежность.

Решение данной проблемы является определенным вкладом в разработку средств САПР, моделей, алгоритмов и методов для синтеза ОПР, направленных на снижение стоимости и повышение качества АПКОИ.

Целью работы является повышение качества функционирования и снижение стоимости создаваемых бортовых АПКОИ за счет автоматизации синтеза ОПР по выбору характеристик технических и программных средств.

В соответствии с поставленной целью в работе формулируются и решаются следующие задачи исследований.

1. Анализ существующих моделей проектирования АС и средств автоматизированного синтеза ОПР применимые к проектированию АПКОИ.

2. Исследование рынка ТС, применяемых в АПКОИ, выявление экспериментальных зависимостей стоимости ТС от производительности и надежности.

3. Исследование технологии разработки ПС АПКОИ, выявление экспериментальной зависимости стоимости разработки ПС АПКОИ от надежности.

4. Разработка и исследование моделей синтеза ОПР АПКОИ с минимальной стоимостью создания и заданной производительностью с использованием экспериментальных зависимостей стоимости ТС от производительности.

5. Разработка и исследование моделей синтеза ОПР АПКОИ с минимальной стоимостью создания и заданными производительностью и надежностью с использованием экспериментальных зависимостей стоимости ТС от производительности и надежности, стоимости разработки ПС от надежности.

6. Разработка алгоритмов синтеза ОПР АПКОИ с минимальной стоимостью создания, при заданной производительности АПКОИ и надежности обработки информации.

7. Создание средств САПР АПКОИ, включающих алгоритмы и программы решения разработанных моделей, анализ результатов, полученных при различных исходных данных.

Объектом исследования являются системы автоматизации проектирования бортовых АПКОИ и технологии разработки ПС АПКОИ.

Предметом исследования являются средства автоматизированного поиска оптимальных характеристик ТС и проектируемых ПС.

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

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

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

1) Разработанные модели синтеза ОПР АПКОИ с минимальной стоимостью создания в условиях точных экспериментальных зависимостей и экспериментальных зависимостей, распределенных в некоторой области (неопределенность экспериментальных зависимостей), -позволяющие автоматизировать синтез ОПР АПКОИ — выбор количества ТС, производительность ТС, надежность ТС, распределение ПС по ТС, надежность ПС.

2) Формальные зависимости ОПР от исходных данных, позволяющие практически использовать обобщенную модель синтеза проектных решений АПКОИ.

3) Разработанные на основе формальных зависимостей ОПР АПКОИ от исходных данных обобщенные модели синтеза, учитывающие дополнительные условия: эффективность вырабатываемых управляющих воздействий; неопределенность экспериментальных зависимостей; интервальное задание параметров информации.

4) Разработанные алгоритмы и программный комплекс САПР АПКОИ, позволяющие синтезировать ОПР при любых исходных данных и экспериментальных зависимостях.

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

Научную новизну составили следующие результаты диссертационной работы:

1. Выявлена экспериментальная зависимость стоимости разработки ПС АПКОИ от надежности по опыту создания бортовых АПКОИ для корабельных АСУ.

2. Разработаны модели синтеза ОПР АПКОИ с минимальной стоимостью создания, с заданными производительностью и надежностью обработки в условиях точных экспериментальных данных и в условиях неопределенности экспериментальных данных на основе экспериментальных зависимостей стоимости ТС от производительности и надежности, стоимости создания ПС АПКОИ от надежности.

3. Выявлены формальные зависимости ОПР АПКОИ от исходных данных и проведено их исследование.

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

5. Разработаны алгоритмы синтеза ОПР и ПК САПР АПКОИ.

6. Получены и исследованы проектные решения при различных исходных данных. Выявлено снижение стоимости проектных решений.

Практическую ценность диссертационной работы составили:

1) ПК САПР АПКОИ, как элемент САПР корабельных АСУ, который может включаться в другие САПР.

2) Модели синтеза ОПР АПКОИ, которые применимы для алгоритмизации процесса поиска проектных решений с минимальной стоимостью создания, выбора формальных зависимостей ОПР от исходных данных и создания элементов САПР.

3) Формальные зависимости ОПР АПКОИ от исходных данных, которые заменяют алгоритмы синтеза ОПР АПКОИ и позволяют оптимизировать параметры обрабатываемой информации.

Реализация и внедрение результатов работы

Разработанный программный комплекс автоматизированного синтеза оптимальных проектных решений АПКОИ внедрен как элемент САПР корабельной АСУ в ФНПЦ ОАО «НПО «Марс», г. Ульяновск, ОАО «Концерн «Моринформсистема-Агат», г. Москва.

Апробация работы

Основные положения диссертационной работы докладывались и обсуждались на следующих конференциях: 5-й Международной научно-технической конференции «Информационно-вычислительные технологии и их приложения», г. Пенза, 2006; 6-й Всероссийской научно-технической конференции «Проблемы информатики в образовании, управлении, экономике и технике», г. Пенза, 2006; 6-й Международной научно-технической конференции «Информационно-вычислительные технологии и их приложения», г. Пенза, 2007; 22-й Всероссийской научно-технической конференции «Информационные технологии в науке, проектировании и производстве», г. Нижний Новгород, 2007; 6-й Международной научно-технической конференции «Математическое моделирование, обратные задачи, информационно-вычислительные технологии», г. Пенза, 2007; Всероссийская конференция с элементами научной школы для молодежи «Проведение научных исследований в области обработки, хранения, передачи и защиты информации», г. Ульяновск, 2009.

Публикации

По материалам диссертации опубликовано 17 печатных работ, из них 2 статьи - в журнале из списка ВАК.

Структура и объем работы

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

Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Царевский, Андрей Валентинович

Основные результаты и выводы:

1. Разработаны методы и средства автоматизированного синтеза ОПР бортовых АПКОИ, обеспечивающие достижение требуемой производительности и надежности обработки при минимальной стоимости создания АПКОИ.

2. Выполнен анализ существующих моделей проектирования АС. Применительно к рассматриваемым задачам синтеза ОПР АПКОИ выявлено: в моделях не учитываются зависимости стоимости ТС от производительности и надежности, стоимости ПС от надежности и их возможная неопределенность; отсутствует возможность получения аналитических решений (формальных зависимостей ОПР от исходных данных).

3. По опыту создания в НПО «Марс» бортовых АПКОИ для корабельных АСУ были выявлены экспериментальные зависимости: стоимость разработки ПС АПКОИ от надежности, стоимость ТС от производительности, стоимость ТС от производительности и надежности. Выявленный вид зависимостей нелинейный. Зависимости использованы при построении моделей синтеза ОПР АПКОИ с минимальными затратами на создание.

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

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

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

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

8. Приведены сравнительные оценки полученных ОПР АПКОИ по разработанным методам и средствам автоматизации: изменение ОПР с изменением параметров обрабатываемой информации при использовании одних экспериментальных зависимостей; при определенных исходных данных согласуемость с ОПР по формальным зависимостям; снижение стоимости проектных решений на 10-50% при удовлетворении требований к производительности и надежности обработки по сравнению с неавтоматизированным синтезом.

ЗАКЛЮЧЕНИЕ

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

Список литературы диссертационного исследования кандидат технических наук Царевский, Андрей Валентинович, 2010 год

1. Аверин В .И. Выбор комплекса технических средств АСУП. М.: 1971.

2. Авен О.И. Оценка качества и оптимизация вычислительных систем. М.: Наука, 1982. - 464 е., ил.

3. Айнутдинов В.А. Зайцев К.С. Распределение вычислительных работ в АСУ с применением положений бесконечнозначной логики // Автоматика и телемеханика. №9 2004. С. 160- 167

4. Автоматизация управления и связь в ВМФ. /Под общ. ред. Ю.М. Кононова. СПб.: Элмор, 1998.

5. Банщиков А.В. Алгоритмы качественного исследования сложных систем // Кибернетика.- 1992.- N1.- С.128-138.

6. Батищев Д.И. Поисковые методы оптимизации проектирования.- М.: Советское радио, 1975. — 216 е., ил.

7. Бахвалов Н.С. Численные методы.- М.: Наука, 1987.- 598 с.

8. Берзин Е.А. Оптимальное распределение ресурсов и элементы синтеза систем.- М.: Наука, 1974.-239 с.

9. Бусленко Н.П. Моделирование сложных систем.- М.: Наука, 1978.-355 с.

10. Богуславский Л.Б. Ляхов А.И. Методы оценки производительности многопроцессорных систем. М.: Наука, 1992. - 212 с., ил.

11. Башмаков А.И., Башмаков И.А. Информационные интеллектуальные технологии: Учеб. пособие М.: Изд-во МГТУ им. Н.Э. Баумана, 2005. -304 с.

12. Богатырев В.А. Оценка надежности и оптимизация комплектации вычислительных систем при резервировании функционально неоднородных компьютерных систем // Информационные технологии. № 5 2007. С. 41- 47

13. Бирюков Б.В., Гастеев Ю.А., Геллер Е.С. Моделирование М.: БСЭ, 1974.

14. Беляев Д. «Эффективная производительность» // «Digital Times» SIA Mega Plus. Рига. №13 2001. С. 6 7.

15. Богатырев В.А. Оценка надежности и комплектации вычислительных систем при резервировании функционально неоднородных компьютерных узлов // Информационные технологии. №5 2007. С. 41 47.

16. Брауде Э. Технология разработки программного обеспечения СПб.: Питер, 2004 - 655 с.

17. Воронов А.А. Теоретические основы построения АСУ. М.:Наука,1978.-293 с.

18. Вендров A.M. CASE технологии. Современные методы и средства проектирования информационных систем,- М.: Финансы и статистика, 1998.- 176 с.

19. Воронов А.А., Чистяков Ю.В. Аналитические методы выбора технических средств АСУ.- М.: Наука, 1976.- 355 с.

20. Воронин Г.П. Средства систем обработки данных в АСУ / Г.П. Воронин, А.Р. Кац, О.А. Петухов JL: Судостроение, 1984. - 148 с

21. Вермишев Ю.Х. Основы автоматизации проектирования. М.: Радио и связь, 1998. -280 с.

22. Гадасин В.А., Гадасин Д.В. Надежность крупномасштабных сетей связи с аддитивной структурой// Автоматика и телемеханика.- 1997.-№1.-С. 160173.

23. Тендер М.Б., Зарецкий JI.C. Об одном точном алгоритме решения многомерной задачи распределения ресурсов // Автоматика и телемеханика.- 1992.-N6.- С. 138-145.

24. Гнеденко Б.В. Математические методы в теории надежности. М.: Наука, 1965.

25. Галкин В.Е. Методы оптимальной организации распределенной информационной системы // Автоматизация и современные технологии. №4 2004. С. 13-17

26. Гибшман Е.А. // Приборы и Системы. Управление, контроль, диагностика. №6 2002. С. 1 7

27. Гроппен В.О. Мирошников А.С. Управление системой оптимальной параллельной обработки информации в ЛВС: модели, алгоритмы, интерфейс // Автоматика и телемеханика. №6 2001. С. 151 167.

28. Григорьев В.А., Михайлов А.К. Исследование стоимостных функций каналов связи для проектирования сетей ЭВМ // Программные продукты и систе-мыю №1 2007. С. 33-35.

29. Гендель Е.Г., Левин Н.А. Оптимизация технологии обработки информации в АСУ М.: Статистика, 1977 - 232 с.

30. Давыдов Э.Г. Исследование операций: Учебное пос., М.: Высш. шк., 1990.- 383 е.: ил.

31. Дегтярев Ю.И. Исследование операций: Учеб. Для вузов. М.: Высш. шк. 1986.-320 е.: ил.

32. Джагаров Ю.А. Программный модуль для расчета аппроксимирующих полиномов по методу наименьших квадратов // Программные продукты и системы. №3 2005. С. 46 48

33. Долгий А., Заикин О., Куштина Э., Коритковский П. Моделирование и оптимизация производительности обрабатывающих узлов в АСУ распределенным производством печатной продукции // Автоматика и телемеханика. №9 2003. С. 155-161

34. Джонс Дж.К. Методы проектирования. М.: Мир, 1986.

35. Девид А. Марка., Клемент Мак-Гоуэн. Методология структурного анализа и проектирования. Пер. с англ. Москва, 1993. 240 е., ил.

36. Дегтярев Ю.И. Исследование операций. Учеб. для вузов по спец АСУ. -М.: Высш. шк., 1986. 320 е., ил.

37. Домарацкий А.Н., Ласточкин Н.К. Жизненный цикл разработки программных изделий // Программные продукты и системы. №4 2001. С. 2 7.

38. Домарацкий А.Н., Ласточкин Н.К. Технология разработки программных изделий // Программные продукты и системы. №4 2001. С. 7-13.

39. Ершов А.П. Введение в теоретическое программирование: беседы о методе. -М.: Наука, 1981.

40. Ершов А.П. Теория схем программ: состояние дел. Проблемы кибернетики. Т. 27, 1973.

41. Единое информационно-функциональное пространство ВМФ: от идеи до реализации. / Под ред.В.И. Кидалова. СПб.: НИКА, 2003.

42. Зелковиц М., Шоу А., Генон Дж. Принципы разработки программного обеспечения. Пер. с англ. -М.: Мир, 1982. 386 с.

43. Железнов И.Г. Комбинированная оценка характеристик сложных систем.-М. Машиностроение, 1976.-55 с.

44. Иыуду К.А. Надежность контроль и диагностика вычислительных машин и систем.: Учеб. пособие. М,: Высш. шк. 1989. - 216 с.

45. Иванов А.К. Проектирование устойчивой АСУ: Учеб. Пособие. Ульяновск: УлГТУ, 2002. -144 с.

46. Иванов А. К. Математическое моделирование в технологии проектирования АСУ УлГТУ, 2007 - 290 с.

47. Иванов А.К., Царевский А.В. Задача оптимизации выбора характеристик станций сопряжения в корабельных системах обмена данными // Морская радиоэлектроника. 2007. - № 2. - С. 12-15.

48. Иванов А.К., Царевский А.В. Оптимизация проектных решений систем обмена данными корабельных АСУ// Морская радиоэлектроника. 2009. - № 1. -С. 26-29.

49. Кузьмин И.В. Оценка эффективности и оптимизации автоматических систем контроля и управления. М.: "Сов. радио", 1971.

50. Карповский Е.Я. Чижов С.А. Надежность программной продукции.- Киев: Тэхника, 1990. 158 е., ил.

51. Кремер Н.Ш., Путко Б.А., Тришин И.М., Фридман М.Н. под ред проф Кремера Н.Ш. Исследование операций в экономике: Учебное пос., М: ЮНИ1. ТИ, 2001.- 407 с.

52. Коган JI.M. Оптимизация надежности АСУ ТП при проектировании М.: Энергоатомиздат, 1983 - 136 с.

53. Каляев И.А. Использование принципов коллективного принятия решений при распределении потока задач в компьютерных сетях // Информационные технологии. №6 2002. С. 6 10.

54. Кармайкл Э., Хейвуд Д. Быстрая и качественная разработка программного обеспечения. -М.: Вильяме. — 2003.

55. Котов В.Е. Введение в теорию схем программ. Новосибирск: Наука, 1978.-256 с.

56. Котов C.JL, Гибин Ю.В., Котов А.С. Средства обеспечения надежности функционирования информационных систем // Программные продукты и системы. №2 2002. С. 33 35.

57. Кульба В.В., Швецов А.Р. Методы анализа и синтеза систем обеспечения достоверности информации в АСУ // Автоматика и телемеханика. №7 1994. С. 176-189.

58. Левин В.И. Что такое интервальная задача математического программирования // Информационные технологии. 2009. - №2 — С. 80-81.

59. Липаев В.В. Надежность программного обеспечения АСУ.- М.: Энерго-издат, 1981.- 240 е., ил.

60. Липаев В.В. Надежность программных средств. М.: СИНТЕГ, 1998. -232 с.

61. Липаев В.В. Тестирование программ. М.: Радио и связь, 1986.- 296 с.

62. Липаев В.В.Системное проектирование сложных программных средств для информационных систем. М.: СИНТЕГ, 2002.- 259 с.

63. Липаев В.В. Проектирование программных средств: (Учебное пособие для вузов). М.: Высш. шк., 1990.- 301 е., ил.

64. Липаев В.В. Проектирование математического обеспечения АСУ: Системотехника, архитектура, технология. М.: "Сов. радио", 1977.- 400 е., ил.

65. Липаев В.В. Потапов А.И. Оценка затрат на разработку программных средств.- М.: Финансы и статистика, 1988. 221 с.

66. Липаев В.В. Обеспечение качества программных средств. Методы и стандарты. М.: СИНТЕГ, 2001.- 370 е., ил.

67. Липаев В.В. Методы обеспечения качества крупномасштабных программных средств. Монография. М.: СИНТЕГ, 2003.- 510 с.

68. Липаев В.В. Выбор и оценивание характеристик качества программных средств. Методы и стандарты. М.: СИНТЕГ, 2001.- 228 е., ил.

69. Липаев В.В. Качество программного обеспечения. М.: Финансы и статистика, 1983.- 263 е., ил.

70. Липаев В.В. Программная инженерия. Методологические основы. Учебник. М.: ГУ ВШЭ, ТЕИС, 2006, 608 с.

71. Липаев В.В. Методология верификации и тестирования крупномасштабных программных средств // Программирование. №6 2003. С. 7 24

72. Линник О.В. Метод наименьших квадратов и основы математико-статистической теории обработки наблюдений. М.: Наука, 1982. - 240 с.

73. Лу Кунву. Основы САПР (CAD/CAM/CAE): пер. с англ. СПб.: Питер, 2004. - 559 е., ил.

74. Лущик В.Л., Храбров Ю.Г. Организация проектирования информационного обеспечения АСБУ корабля // Морская радиоэлектроника. 2002. № 3.

75. Мамиконов А.Г., Цвиркун А.Д., Кульба В.В. Автоматизация проектирования АСУ. -М.: Энергоиздат, 1981. -328 с.

76. Майерс Г. Надежность программного обеспечения.- М.: Мир, 1980. 360 е., ил.

77. Михалевич B.C. Вычислительные методы исследования и проектирования сложных систем. М.: Наука, 1982. - 286 е., ил.

78. Максименков А.В. Селезнев М.Л. Основы проектирования информационно-вычислительных систем и сетей ЭВМ.- М.: Радио и связь, 1991. — 319 е., ил.

79. Мамиконов А.Г. Проектирование АСУ: Учебник для спец. "АСУ" вузов.- М.: Высш. шк., 1987.- 303 е.: ил.

80. Методы проектирования и оптимизации АСУ: Сборник научных трудов. Под ред. Г. А. Козлика Киев: ИА, 1986.- 132с.

81. МячевА.А. Интерфейсы средств вычислительной техники. М.: Радио и связь, 1993.

82. Математика и САПР. В 2-х книгах. Пер. с франц./ Шенен П., Коснар М., Гардан И. и др. М.: Мир, 1988.

83. Наумов Б.М. Алгоритмы оптимизации и автоматизированного проектирования АСУ. М.: Энергоатомиздат, 1983.- 160 с.

84. Норенков И.П. Подходы к проектированию автоматизированных систем // Информационные технологии. -1988.- N2.- С.2-9.

85. Норенков И.П. Основы автоматизированного проектирования. 2-е изд., перераб. доп. М.: Изд-во МГТУ им Н.Э. Баумана, 2002.- 336 с.

86. Норенков И.П., Маничев В.Б. Основы теории и проектирования САПР. -М.: Высшая школа, 1990.- 335 с.

87. Непомнящий В.А., Рякин О.М. Прикладные методы верификации программ. М.: Радио и связь, 1988.

88. Общесистемное проектирование АСУ реального времени / Под ред. В.А. Шабалина М.: Радио и связь, 1984 - 232 с.

89. Проблемы и перспективы развития автоматизированных систем управления // Экономика и математические методы.- 1985.- N3.- С.542-556.

90. Перегуда А.И., Твердохлебов Р.Е. Математическая модель надежности локальной вычислительной сети клиент-серверной архитектуры с произвольной структурой // Информационные технологии. 2007. - №1. - С. 7-15

91. Пивоваров А.Н. Методы обеспечения достоверности информации в АСУ. — М.: Радио и связь, 1982. -144 е.: ил.

92. Петерсон Э., Быстров В. Зависимость производительности от стоимости и параметров персональных компьютеров // Автоматика и вычислительная техника. №2 2003. С. 77- 84

93. Пападимитриу X., Стайглиц К., Комбинаторная оптимизация. Алгоритмы и сложность. М.: Мир, 1985. 510 е., ил.

94. Петренко А.И., Семенов О.И. Основы построения систем автоматизированного проектирования. Киев: Вища шк., 1985. -294 с.

95. Попов Г.П. Радиоэлектроника в системах управления военно-морского флота. -М.: Оружие и технология, 2003.

96. Петров В.Н. Информационные системы. СПб., 2003.

97. Разработка и внедрение алгоритмических и технических средств повышения достоверности информационного обеспечения АСУТП: Сборник научных трудов / Под ред. В.И. Кутовского Киев: ИК, 1986 - 132 с.

98. Роберт Калбертсон, Крис Браун, Гери Кобб. Быстрое тестирование. Издательский дом «Вильяме», 2002. 379 е., ил.

99. Сигнаевский В.А. Методы оценки быстродействия вычислительных систем. 1991

100. Селезнев M.JI. Информационно-вычислительные системы и их эффективность. М.: Радио и связь, 1986. - 102 е., ил.

101. Сухарев А.Г., Тимохов А.В., Федоров В.В. Курс методов оптимизации. М.: Физматлит, 2005. 367 е., ил.

102. Советов Б.Я. Цехановский В.В. Информационные технологии: Учеб. для вузов. -М.: Высш. шк., 2005.- 263 е.: ил.

103. СтрауструпБ. Язык программирования С++. 3-е изд. СПб: Невский диалект Издательство БИНОМ, 1999. - 991 с.

104. Смагин В.А. Форсирование быстродействием испытаний ПО на надежность // Автоматика и телемеханика. №5 2003.

105. Тараканов К.В. Аналитические методы исследования систем.- М.:1. Сов.радиоД 974.-240 с.

106. Теория систем. Математические методы и моделирование.- М.: Мир, 1989.-3 82 с.

107. Тейер Т. Надежность программного обеспечения. М.: Мир, 1981. - 325 е., ил.

108. Технология проектирования комплексов программ АСУ / Под ред. В. Ли-паева М.: Радио и связь, 1983 - 264 с.

109. Треногин Н.Г. Терехов В.И Решение задачи оптимизации структуры информационной системы в рамках объектно-ориентированного подхода // Информационные технологии. №12 2002. С. 7 11

110. Топорков В.В. Выбор состава и распределение ресурсов вычислительных систем реального времени // Автоматика и телемеханика. №1 2005. С. 171 189

111. Уальд Д. Дж. Методы поиска экстремума. М.: Наука, 1967

112. Уайлд Д.Дж. Оптимальное проектирование. М.: Мир, 1981. - 272 е., ил.

113. Федорова Г.С., Пономаренко Б.Ф., Чубасова З.С., Федоров Г.Н. Основы проектирования и организации АСУ. Учебник. М.: Финансы и статистика, 1982. - 191 е., ил.

114. Хетагуров Я.А. Практические методы построения надежных цифровых систем. Проектирование, производство, эксплуатация. Практ. пособие для ВУЗов. М.: Высш. шк, 2008. - 156 е., ил.

115. Хетагуров Я.А. Проектирование автоматизированных систем обработки информации и управления (АСОИУ). Учебник для ВУЗов М.: Высшая школа, 2006.- 223 с.

116. Хетагуров Я.А. Основы проектирования управляющих вычислительных систем.- М.: Радио и связь, 1991.- 286 с.

117. Царевский А.В. Сопряжение с внешними абонентами в корабельных специальных системах управления (КССУ) // Автоматизация процессов управления. 2006. - №1(7) - С. 3-9.

118. Царевский А.В. Анализ схем взаимообмена информацией между корабельными специальными системами управления (КССУ) и абонентами // Автоматизация процессов управления. 2006. - №2(8) - С. 35-39.

119. Царевский А.В. Метод выбора средств сопряжения с абонентами по параметру «производительность» // Автоматизация процессов управления. 2006. -№2(8)-С. 30-34.

120. Царевский А.В. Оптимальный выбор средств сопряжения по параметрам «надежность обработки потока» и «производительность средств обработки» // Автоматизация процессов управления. 2007. - №1(9) - С. 18-29.

121. Царевский А.В. Методология разработки программного обеспечения систем обмена данными с заданным уровнем надежности для корабельных АСУ // Автоматизация процессов управления. 2007. - №2(10) - С. 37-48.

122. Царевский А.В. Поиск оптимального выбора станций сопряжения в корабельных системах обмена данными // Морская радиоэлектроника. 2007. - № 1. -С. 36-39.

123. Царевский А.В. Выбор характеристик средств сопряжения для корабельных АСУ специального назначения // Сборник статей VI Международной научно-технической конференции «Информационно-вычислительные технологии и их приложения». Пенза. 2007. с.181-182.

124. Царевский А.В. Разработка методов САПР корабельной системы обмена данными // Сборник тезисов XXII ВНТК «Информационные технологии в науке, проектировании и производстве». Нижний Новгород. 2007. с.6

125. Царевский А.В. Автоматизированный синтез проектных решений аппаратно-программных комплексов обработки информации корабельных АСУ (часть 1) // Автоматизация процессов управления. 2009. - №3(17) - С. 70-84.

126. Царевский А.В. Автоматизированный синтез проектных решений аппаратно-программных комплексов обработки информации корабельных АСУ (часть 2) // Автоматизация процессов управления. 2009. - №3(17) - С. 85-96.

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

128. Шаракшанэ А.С. Оценка характеристик сложных автоматизированных систем.- М.: Машиностроение, 1993.- 271 с.

129. Шастова Г.А., Коекин А.И. Выбор и оптимизация структуры информационных систем. -М.:Энергия,1972. -256 с.

130. Шураков В.В. Надежность программного обеспечения систем обработки данных: Учебник.- 2-е изд. — М.: Финансы и статистика. 1987. — 272 е.: ил.

131. Шафер Дональд Ф., Фатрелл Роберт Т., Шафер Линда И. Управление программными проектами: достижение оптимального качества при минимуме затрат. Вильяме, 2004 - 1136 с.

132. Эдельман В.И. Надежность технических систем: экономическая оценка. -М.: Экономика. 1988. -151 с.

133. Юдин Д.Б. Математические методы оптимизации устройств и алгоритмов

134. АСУ.- М.: Радио и связь, 1982.- 288 с.

135. Ястребеиецкий М.А. Надежность технических средств в АСУ технологическими процессами М.: Энергоиздат, 1982 - 229 с.

136. Царевский А.В. Программные средства выбора рациональных проектных решений систем обмена данными корабельных АСУ // Морская радиоэлектроника. 2010. - № 1. - С. 20-22.