Системный анализ и алгоритмы контроля надежности функционирования автоматизированной системы планирования грузовых перевозок тема диссертации и автореферата по ВАК РФ 05.13.01, кандидат технических наук Петров, Максим Владимирович

• Петров, Максим Владимирович
• кандидат технических наук
• 2007

Оглавление диссертации кандидат технических наук Петров, Максим Владимирович

Введение.

1 Исследование методов и средств обеспечения надежности автоматизированных систем планирования грузовых перевозок распределенных промышленных корпораций.

1.1 Анализ АСГТГП распределенных промышленных корпораций

1.2 Анализ надежности и контроля функционирования АСПГП.

1.3 Критерии и количественные характеристики надежности автоматизированных систем.

1.4 Анализ методов и средств обеспечения работоспособности и надежности автоматизированных систем.

Выводы по первой главе.

2 Анализ жизненного цикла обработки заявок заказчиков и дестабилизирующих факторов, влияющих на него.

2.1 Исследование процессов жизненного цикла АСПГП.

2.2 Определение объектов уязвимости АСПГП.

2.3 Анализ жизненного цикла АСПГП и дестабилизирующих факторов, влияющих на ее надежность.

2.4 Анализ жизненного цикла прохождения заявок.

Выводы по второй главе.

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

3.1 Выделение системы показателей надежности АСПГП.

3.2 Показатели работы АСПГП при обработке заявок заказчиков

3.2.1 Расчет вероятностных характеристик показателей обработки заявок заказчиков.

3.2.2 Оценка точности результатов расчетов вероятностных характеристик АСПГП.

3.2.3 Статистическое моделирование информационных потоков заявок заказчиков.

3.3 Экспертные оценки выделения системы приоритетных показателей.

3.4 Разработка системы приоритетных показателей оценки надежности АСПГП.

Выводы по третьей главе.

4 Разработка алгоритмов контроля и методики повышения надежности функционирования автоматизированных систем планирования грузовых перевозок.

4.1 Алгоритмы и методика повышения надежности АСПГП.

4.1.1 Алгоритмы контроля надежности функционирования.

4.1.2 Методика повышения надежности АСПГП.

4.2 Описание программных модулей контроля надежности функционирования, встроенных в АСПГП.

4.3 Внедрение разработанных алгоритмов и программных модулей повышения надежности функционирования в АСПГП.

Выводы по четвертой главе.

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

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

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

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

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

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

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

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

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

• ошибок в программном обеспечении обработки информации;

• искажений входной информации от внешних систем;

• пробелов и недостатков в средствах обнаружения опасных отказов;

• искажений обрабатываемой информации;

• технических отказов баз данных и т.д.

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

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

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

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

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

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

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

4. Определение вероятностных характеристик процесса обработки заявок заказчиков, а также моделирование прохождения их информационных потоков.

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

6. Разработка алгоритмов контроля надежности функционирования автоматизированной системы планирования грузовых перевозок.

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

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

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

Научная новизна проведенных в работе исследований заключается в следующем:

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

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

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

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

Внедрение результатов работы. Результаты работы внедрены в промышленную эксплуатацию на 439 рабочих местах АСПГП, в том числе на 93 грузовых станциях, 7 региональных центрах, а также в центральном управлении Куйбышевской железной дороги.

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

2. Комплексная методика применения программно-аналитических средств повышения надежности автоматизированной системы планирования грузовых перевозок.

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

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

• международная научно-практическая конференция "Инфотранс-96" (г. Санкт-Петербург, 1996 г.);

• 6-я международная конференция молодых ученых и студентов "Актуальные проблемы современной науки" (г. Самара, 2005 г.);

• международная молодежная научная конференция "Туполевские чтения" (г. Казань, 2005 г.);

• 10-я международная научно-практическая конференция Инфотранс-2005 (г. Санкт-Петербург, 2005 г.);

• международная конференция «Корпоративные системы-2005» (г. Москва, 2005г.);

• международная конференция «Техникон-2005» (г. Москва, 2005г.);

• 12-я Российская научная конференция профессорско-преподавательского состава ПГАТИ (г. Самара, 2005 г.).

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

Публикации. По теме диссертации опубликовано 9 печатных работ [59, 80, 83, 85, 89-93], (в том числе 3 из них в изданиях, рекомендованных ВАК) и получено 10 свидетельств об официальной регистрации программ для ЭВМ [4, 51-54, 74-76, 81, 107]. В работе [59] автору принадлежит описание принципов взаимодействия информационных систем в разнородных сетях. Вклад автора составляет 25%. В работе [80] автору принадлежит общее описание АСПГП и ее место и роль в технологическом процессе работы железной дороги. Вклад автора составляет 35%. В работах [83, 85] автору принадлежит описание встроенных алгоритмов повышения надежности и обеспечения функционирования АСПГП. Вклад автора составляет 30% в каждую работу. В свидетельствах [4, 51-54, 74-76, 107] автору принадлежат алгоритмы и программные модули контроля работоспособности АСПГП. Вклад автора составляет 15% в каждое из свидетельств.

Структура диссертации. Диссертационная работа состоит из введения, четырех глав, заключения и трех приложений, содержит 141 страницу основного текста, 30 рисунков, 20 таблиц, список литературы из 127 наименований. Приложения содержат исходные тексты программных модулей обеспечения надежности, акт внедрения результатов диссертационной работы, копии свидетельств об официальной регистрации программ для ЭВМ.

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

Выводы по четвертой главе

1. Введенная в эксплуатацию АСПГП позволила совместно с заказчиком уточнять заявку на перевозку грузов на планируемые сутки, предотвращая, таким образом, подачу вагонов тем заказчикам, которые и не собирались осуществлять погрузку и предоставляя вагоны тем, кому это действительно необходимо. До внедрения АСПГП уточнение заказа на планируемые сутки осуществлялось коммерческим диспетчером вручную, что приводило к многочисленным ошибкам. Например, до ввода АСПГП в опытную эксплуатацию в июле 2005 года количество отклоненных заявок составляло 2326, а с использованием АСПГП к декабрю того же года цифра уменьшилась до 314.

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

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

4. Разработана комплексная методика повышения надежности АСПГП, которая позволила систематизировать последовательность действий по повышению надежности АСПГП, начиная с системного анализа АСПГП и заканчивая разработкой алгоритмов и программных модулей повышения надежности. 5. Разработанные и внедренные программные модули позволили повысить эффективность работы существующей АСПГП за счет увеличения количества выполненных заявок заказчиков и снижения времени простоя системы из-за воздействия на нее различных дестабилизирующих факторов.

Заключение

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

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

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

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

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

3. На основе методов теории массового обслуживания получены вероятностные характеристики обработки информационного потока заявок заказчиков и определена точность их расчета. Проведено моделирование прохождения информационного потока заявок методом Монте-Карло. Результаты, полученные при моделировании, в целом совпадают с расчетными показателями.

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

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

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

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

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

Список литературы диссертационного исследования кандидат технических наук Петров, Максим Владимирович, 2007 год

1. Абрамов Л.Ф. Капустин В.Ф. Математическое программирование. Л.:Изд-во Ленингр. ун-та, 1976. 184с.

2. Антонов А.В. Системный анализ. М.: Высшая школа, 2004. - 454с.

3. Байхельт Ф., ФранкенП. Надежность и техническое обслуживание: Математический подход. М.: Радио и связь, 1988. - 392с.

4. Баронов А.Э., Дудникова М.Ф., Пацев А.В., Петров М.В., Чурсин О.В. Автоматизированное рабочее место по расчету дополнительных сборов и штрафов. // Свидетельство об официальной регистрации программ для ЭВМ. № 2004610109.

5. Безопасность информации. Сборник материалов международной конференции. М.: СИП РИА, 1997. - 45с.

6. Беляев Ю.К., Богатырев В.А., Болотин В.В. и др.; Под ред. Ушакова И.А. Надежность технических систем: Справочник М.: Радио и связь, 1985.-608с.

7. Благодатских В.А. и др. Стандартизация разработки программных средств. М.: Финансы и статистика, 2003. - 288 с.

8. Боэм Б.У. Инженерное проектирование программного обеспечения: Пер. с англ. /Под ред. А.А. Красилова. - М.: Радио и связь, 1985. - 176с.

9. Буч Г. Объектно-ориентированное проектирование с примерами применения М.: Конкорд, 1992. - 267с.

10. Буч Г., Рамбо Д., Джекобсон А. Язык UML. Руководство пользователя: Пер. с англ. М.: ДМК, 2000. 456с.

11. Васильев Ф.П. Численные методы решения экстремальных задач М.: Наука, 1988.-125с.

12. Вендров A.M. Проектирование программного обеспечения экономических информационных систем. М: Финансы и статистика, 2000.-226с.

13. Вентцель Е.С. Теория вероятностей. М.: Наука, 1969. - 506с.

14. Волков И.К., Загоруйко Е.А. Исследование операций: Учеб. для вузов / Под ред. B.C. Зарубина, А.П. Крищенко. М.: Изд-во МГТУ им. Н.Э. Баумана, 2000. - 436с. (Сер. Математика в техническом университете).

15. Волкова В.Н., Денисов А.А Основы теории систем и системного анализа. СПб.: СП6ГТУД999. - 510с.

16. Герасименко В.А. Защита информации в автоматизированных системах обработки данных. Книга 1 и 2. -М.: Энергоатомиздат, 1994. 537с.

17. Герман О.В. Введение в теорию экспертных систем и обработку знаний. М.Букинист: -1995. - 256с.

18. Глас Р. Руководство по надежному программированию: Пер. с англ. М.: Финансы и статистика, 1982. 114с.

19. Гнеденко Б. В., Беляев Ю. К., Соловьев А. Д. Математические методы в теории надежности. М.: Наука, 1965. - 524с.

20. Гнеденко Б.В., Даниелян Э.А., Димитров Б.Н., Климов Г.П., Матвеев В.Ф. Приоритетные системы обслуживания М.: Изд-во МГУ, 1973. -446с.

21. Гнеденко Б. В., Коваленко И.Н. Лекции по теории массового обслуживания. Киев: КВИРТУ, 1963. - 187с.

22. Гнеденко Б. В., Хинчин А. Я. Элементарное введение в теорию массового обслуживания (изд. 6-е). — М.: Наука, 1964. — 146с.

23. ГОСТ 6.01.1-87 Единая система классификации и кодирования технико-экономической информации М.: Изд. стандартов, 1987.

24. ГОСТ 27.002-89 Надежность в технике. Основные понятия. Термины и определения.

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

26. ГОСТ 34.601-90. Автоматизированные Системы Стадии создания. Комплекс стандартов на автоматизированные системы. ИПК издательство стандартов. 1997.

27. ГОСТ Р 51904-2002. Программное обеспечение встроенных систем. Общие требования к разработке и документированию.

28. ГОСТ Р ИСО/МЭК 12207-89. Информационная технология. Процессы жизненного цикла программных средств.

29. ГОСТ Р ИСО/МЭК ТО 15271-2002 Информационная технология. Руководство по применению ГОСТ Р ИСО/МЭК 12207 (Процессы жизненного цикла программных средств).

30. Грекул В.И., Денищенко Г.Н., Коровкина H.JI. Проектирование информационных систем. Интернет-университет информационных технологий ИНТУИТ.РУ, 2005. - 42с.

31. Дегтярев Ю.И. Системный анализ и исследование операций. М.: Высшая школа, 1996. - 335с.

32. Джексон Питер. Введение в экспертные системы, 3-е издание. М.: Изд-во Вильяме, 2001. - 624с.

33. Дружинин Г.В. Надежность автоматизированных производственных систем. М.: Энергоатомиздат, 1986. - 480с.

34. Елисеев С.Ю., Сугробов Н.В., Куренков П.В., Жукова Е.А. Автоматизация сменно-суточного планирования погрузки грузов по роду подвижного состава // Транспорт: наука, техника, управление: Сб. ОИ ВИНИТИ, 2004. № 9. - 126с.

35. Елиферов В.Г., Репин В.В. Бизнес-процессы: регламентация и управление М.: ИНФРА-М, 2004. - 178с.

36. Елманова Е.И., Федоров А.А., ADO в Delphi, БХВ-Петербург, 2002. -225с.

37. Епанешников A.M., Епанешников В.А., Delphi 5. Базы данных, Диалог-МИФИ, 2001.- 484с.

38. Ермаков С.М., Михайлов Г.А. Курс статистического моделирования. -М.: Наука, 1976 320с.

39. Зингер И.С., Куцык Б.С. Обеспечение достоверности данных в автоматизированных системах управления производством М.: Наука, 1974.- 136с.

40. Иголкин В.Н. Об оптимизации одной системы массового обслуживания // Вопросы механики и процессов управления. Вып. 15 СПб.: Изд-во СПбГУ, 1992.-231с.

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

42. Калашников В.В., Рачев С.Т. Математические методы построения стохастических моделей обслуживания М.: Наука, 1988. - 310с.

43. Калихман И.Л. Сборник задач по математическому программированию.- М.: Высш.школа, 1975. 344с.

44. Калявин В.П. Надежность и диагностика. СПб.: Элмор,1998. - 230с.

45. Калянов Г.Н. Теория и практика реорганизации бизнес-процессов М.: СИНТЕГ, 2000.-267с.

46. Калянов Г.Н. Структурный системный анализ М.: Лори, 1996. - 389с.

47. Качала В.В. Основы системного анализа. Мурманск: МГТУ, 2003. -205с.

48. Клейнрок Л. Вычислительные системы с очередями. М.: Мир, 1979. -600с.

49. Клейнрок Л. Теория массового обслуживания М.: Машиностроение, 1979.-321с.

50. Ковтунов А.В., Куренков П.В., Петров М.В. и др. Автоматизированная система управления сменно-суточным планированием погрузки по номенклатурным группам грузов (АСУ ССП HIT). // Свидетельство об официальной регистрации программ для ЭВМ. № 2005610618.

51. Ковтунов А.В., Куренков П.В., Петров М.В. и др. Автоматизированная система управления сменно-суточным планированием погрузки на уровне дороги (АСУ ССП ДЦФТО). // Свидетельство об официальной регистрации программ для ЭВМ. № 2005610627.

52. Колесников С.М., Ковтунов А.В., Петров М.В. и др. Автоматизированная система формирования и присвоения кода приоритета погрузки заявкам грузоотправителей. // Свидетельство об официальной регистрации программ для ЭВМ. № 2005610623.

53. Колесников С.М., Никищенков С.А., Петров М.В. Автоматизированная система взаимодействия с программными комплексами ОАО "РЖД". // Свидетельство об официальной регистрации программ для ЭВМ. № 2005611735.

54. Колтунова Е. Требования к информационной системе и модели жизненного цикла М.: Jet Info N1,2003. - 85с.

55. Кондратьев В.В., Краснова В.Б. Модульная программа для менеджеров. Реструктуризация управления компанией М.: Инфра-М, 2000. - 228с.

56. Коутс Р., Влейминг И. Интерфейс "человек-компьютер": Пер. с англ. -М.: Мир, 1990.-501с.

57. Лагоша Б.А., Емельянов А.А. Основы системного анализа. -М.:МЭСИ, 1998.-106с.

58. Лагоша Б.А., Шаркович В.Г. Анализ и синтез в системах отраслевого управления производством М.: Наука, 1978.- 263с.

59. Лецкий Э.К. и др. Информационные технологии на ж.д. транспорте. -М.: УМК МПС России, 2000. 680с.

60. Лецкий Э.К. Модели и методы расчета временных характеристик систем сбора и обработки данных. М.: МИИТ,1994. - 40с.

61. Лившиц А.Л., Мальц Э.А. Статистическое моделирование систем массового обслуживания М.: Советское радио, 1978. - 245с.

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

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

64. Липаев В.В. Технологические процессы и стандарты обеспечения функциональной безопасности в жизненном цикле программных средств М.: Jet Info N3,2004. - 45с.

65. Майерс Г. Надежность программного обеспечения: Пер. с англ. / Под ред. В.Ш. Кауфмана. М.: Мир, 1980. -324с.

66. Маклаков С.В. Создание информационных систем с AllFusion Modelling Suite М.: Диалог-МИФИ, 2003. - 252с.

67. Марка Д.А., МакГоуэн К. SADT методология структурного анализа и проектирования-М.: Метатехнология, 1993.- 114с.

68. Матвеев В.Ф., Ушаков В.Г. Системы массового обслуживания М.: Изд-во МГУ, 1984. - 312с.

69. Мину М. Математическое программирование. Теория и алгоритмы М.: Наука, 1990.-488с.

70. Мохонько В.П., Ковтунов А.В., Петров М.В. и др. Автоматизированная система управления сменно-суточным планированием погрузки на уровне отделения-региона (АСУ ССП РАФТО). // Свидетельство об официальной регистрации программ для ЭВМ. № 2005610620.

71. Мохонько В.П., Колесников С.М., Петров М.В. и др. Автоматизированная система управления сменно-суточным планированием погрузки на уровне станции-агенства (АСУ ССП АФТО). // Свидетельство об официальной регистрации программ для ЭВМ. №2005610614.

72. Мохонько В.П., Куренков П.В., Петров М.В. и др. Автоматизированная система управления месячным планированием погрузки по номенклатурным группам грузов. // Свидетельство об официальной регистрации программ для ЭВМ. № 2005610619.

73. Мохонько В.П., Сугробов Н.В., Куренков П.В. Автоматизация сменно-суточного планирования погрузки по номенклатурным группам грузов // Транспорт: наука, техника, управление: Сб. ОИ ВИНИТИ, 2004. №7. - 148с.

74. Надежность в машиностроении: Справочник. Под ред. Шашкина В.В., Карзова Г.П. СПб.: Политехника, 1992. - 719с.

75. Нейбург Э. Д., Максимчук Р.А. Проектирование баз данных с помощью UML Издательский дом "Вильяме", 2002. - 229с.

76. Никищенков С.А., Павлов А.Ю., Петров М.В., Сиваков С.В Современные программные разработки для Куйбышевской железной дороги. // Тез.докл. XII Российской научной конф. проф.-преп. сост. ПГАТИ.- Самара, ПГАТИ, 2005. С.292-293.

77. Никищенков С.А., Петров М.В. Средства встроенного программного контроля автоматизированной системы управления сменно-суточным планированием (АСУ ССП). // Свидетельство об официальной регистрации программ для ЭВМ. № 2005611734.

78. Никищенков С.А., Петров М.В., Сиваков С.В., Черемухин А.Н. Технология функционального диагностирования реконфигурируемых транспортных систем // Транспорт: наука, техника, управление М: ВИНИТИ РАН, 2005 - №4. - С.15-20.

79. Никищенков С.А., Петров М.В., Черемухин А.Н. Инженерные языки описания реконфигурируемых транспортных систем. // Тез.докл. XII Российской научной конф. проф.-преп.сост. ПГАТИ Самара, ПГАТИ, 2005. - С.398-399.

80. Никищенков С.А., Петров М.В., Чурсин О.В., Черемухин А.Н. Программное обеспечение АСУ сменно-суточным планированием грузовой работы железной дороги. // Транспорт: наука, техника, управление М: ВИНИТИ РАН, 2005 - №10. - С.11-16.

81. Новиков О.А., Петухов С.И. Прикладные вопросы теории массового обслуживания М.: Советское радио, 1969. - 399с.

82. Оценка работоспособности объектов при постепенных отказах. Методические указания / Состав. Колобов А.Б., Огурцов Ф.Б. -Иваново: ИГЭУ, 2003 40 с.

83. Петров М.В. АСУ сменно-суточного планирования грузовой работы железной дороги: методы и компоненты функциональной безопасности.

84. Вестник самарского государственного технического университета -Самара: СамГТУ, 2005. Выпуск 39. Серия "Технические науки". -С. 174-177.

85. Петров М.В. Контроль информации в автоматизированной системе сменно-суточного планирования грузовой работы. // Международная молодежная научная конференция "Туполевские чтения" Казань: КГТУ, 2005.-367с.

86. Петров М.В. Опыт внедрения информационных систем: ожидания и фактические результаты, проблемы и пути их решения // Международная конференция "Корпоративные системы 2005" - М: Талгар, 2005.-85с.

87. Петров М.В. Информационные системы, использующиеся на ж.д. транспорте. Особенности построения и внедрения. // Международная конференция "Техникон 2005" - Москва: Талгар, 2005. - 126с.

88. Пирогов В.A. MS SQL Server 2000. М.: Управление и программирование, 2005. - 497с.

89. Проектирование информационных систем М: "КомпьютерПресс", №9,2001.-256с.

90. Расчет показателей надежности по результатам экспериментов. Методические указания // Состав. Колобов А.Б. Иваново: ИГЭУ, 2004 -36 с.

91. Радковский Г.Н. Естественно-языковые интерфейсы на основе многооконного меню // Интеллектуальные информационные системы Серия "Информатика", 1991. Т15. С. 170-190.

92. Розенберг Дж., Скотт К. Применение объектного моделирования с использованием UML и анализ прецедентов М.: ДМК, 2002. - 160с.

93. Саркисян А. А. Повышение качества программ с помощью автоматизированных методов М.: Наука, 1991. - 121с.

94. Смирнова Г.Н., Сорокин А.А., Тельнов Ю.Ф. Проектирование экономических информационных систем М.: Финансы и статистика,2002.-187с.

95. Советов Б.Я. Моделирование систем. Практикум: Учеб. пособие для вузов / Б.Я. Советов, С.А. Яковлев.- М.: Высш.шк, 1999.- 224с.

96. Советов Б.Я. Моделирование систем: Учебн./ Б.Я. Советов, С.А. Яковлев Зе изд., пераб. и доп-.М.: Высш.шк, 2001.- 344с.

97. Соловьев Б. А., Калайда В. Т., Базовое программное обеспечение интегрированных распределенных систем безопасности // Информационные технологии.-2006.- №1, с.76-86.

98. Спицнандель В.Н. Основы системного анализа СПб: Бизнесс-пресс, 2000.-258с.

99. Сугробов Н.В., Голубева И.Е., Петров М.В., Трусов А.В. Подсистема автоматизированного рабочего места товарного кассира "Учетные карточки ГУ-1". // Свидетельство об официальной регистрации программ для ЭВМ. №2005611732.

100. Таха X. Введение в исследование операций: В 2-х книгах. Кн. 1 М.: Мир, 1985.-496с.

101. Таха X. Введение в исследование операций: В 2-х книгах. Кн. 2 М.: Мир, 1985.-479с.

102. Тейер Т., Липов М., Нельсон Э. Надежность программного обеспечения: Пер. с англ. М.: Мир, 1981. - 396с.

103. Ш.Трубачев А.П., Долинин М.Ю., Кобзарь М.Т. Оценка безопасности информационных технологий. Общие критерии. Под ред. Галатенко В.А. - М.: СИП РИА, 2001. - 226с.

104. Устинов Г.Н. Основы информационной безопасности систем и сетей передачи данных М.: СИНТЕГ, 2000. - 134с.

105. ПЗ.Фатрелл Р.Т., Шафер Д.Ф., Шафер Л.И. Управление программными проектами: достижение оптимального качества при минимуме затрат. Пер. с англ. - М.: Вильяме, 2003. - 687с.

106. Федеральная целевая программа "Модернизация транспортной системы России (2002 2010 годы)". - М: ФЗ, 2002 - 38 с.

107. Фольфсон В.Л. Показатели надежности программного обеспечения на стадии его сопровождения. // Приборы и системы. Управление, контроль, диагностика. №2. 2004. - с. 18-20.

108. Нб.Хинчин А.Г. Работы по теории массового обслуживания М.: Физматгиз, 1963. - 236 с.

109. Черемных С.В., Ручкин B.C., Семенов И.О. Структурный анализ систем. IDEF-технологии М.: Финансы и статистика, 2001. - 83с.

110. Черемухин А.Н. Проблемы информатизации и реинжиниринга на железнодорожном транспорте // Транспорт: наука, техника, управление: Сб. ОИ ВИНИТИ, 2003. № 7. - С 47.

111. Шамис В.А. Borland С++ Builder 5. Техника визуального программирования М.: Нолидж, 2000. - 688с.

112. Шураков В.В. Надежность программного обеспечения систем обработки данных М.: Статистика, 1981. - 234с.

113. Юдин Д.Б., Гольштейн Е.Г. Линейное программирование (теория, методы и приложения). М.: Мир, 1969. - 424с.

114. Ястребенецкий М.А., Иванова Г.М. Надежность автоматизированных систем управления технологическими процессами: Учеб. пособие для вузов.-М.: Энергоатомиздат, 1989.- 264с.

115. Encyclopedia of Software Engineering. Vol.1 A-N; Vol.2 O-Z. Editor — In — Chief John J. Marciniak John Wiley & Sons. Inc., 1995. - 379p.

116. Clegg, Dai and Richard Barker. Case Method Fast-track: A RAD Approach Adison-Wesley, 1994. 123p.

117. Musa J.D., Iannino A., Okumoto K. Software Reliability: Measurement, Prediction, Application. N.Y. McGraw Hill, 1987. - 326p.

118. Parnas D.L. Software aspects of strategic defence system. // Communication of the ACM -1985. V.28, - N12 - p.1326-1335.

119. Thiele D. Life cycle management using life cycle process standards. Abstract. -56p.