Обеспечение функциональной безопасности на примере микропроцессорной системы управления преобразователя собственных нужд на электровозе постоянного тока тема диссертации и автореферата по ВАК РФ 05.22.07, кандидат технических наук Рогожникова, Ольга Владимировна
- Специальность ВАК РФ05.22.07
- Количество страниц 256
Оглавление диссертации кандидат технических наук Рогожникова, Ольга Владимировна
ВВЕДЕНИЕ
1. ОБЕСПЕЧЕНИЕ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ ПРЕОБРАЗОВАТЕЛЬНОЙ ТЕХНИКИ НА ПОДВИЖНОМ СОСТАВЕ
1.1. Основные принципы построения преобразовательной техники на подвижном составе и обеспечение функциональной безопасности
1.2. Состояние разработок в области обеспечения безопасности преобразовательной техники электроподвижного состава
1.3. Постановка задачи исследования
2. МЕТОДИКА ОБЕСПЕЧЕНИЯ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ МИКРОПРОЦЕССОРНОЙ СИСТЕМЫ УПРАВЛЕНИЯ НА ЭЛЕКТРОВОЗЕ
2.1. Подходы и методы обеспечения функциональной безопасности микропроцессорных систем управления в жизненном цикле
2.2. Определение общей функциональной безопасности МПСУ на этапе анализа риска
2.3. Функциональная безопасность аппаратной части МПСУ на электровозе
2.4. Функциональная безопасность программного обеспечения МПСУ на электровозе
2.5. Выводы по 2 главе
3. ФУНКЦИОНАЛЬНАЯ БЕЗОПАСНОСТЬ ПСН
3.1. Определение функций безопасности ПСН
3.2. Анализ риска ПСН
3.3. Численное определение риска
3.4. Функциональная безопасность электронного оборудования
3.5. Требования для ПСН по соответствию комплексу требований по безопасности
3.6. Определение модели безопасности ПСН
3.7. Функциональная безопасность программного обеспечения ПСН. Спецификация требований по функциональной безопасности к программному обеспечению
3.8. Выводы по 3 главе 132 4. ПОВЫШЕНИЕ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ ДЛЯ ФУНКЦИИ УПРАВЛЕНИЯ СКОРОСТЬЮ НАРАСТАНИЯ ТОКА ЯКОРЯ 134 4.1. Разработка модели функции управления скоростью нарастания тока якоря 134 4.2 Выводы по четвертой главе 146 ОБЩИЕ ВЫВОДЫ ПО РЕЗУЛЬТАТАМ РАБОТЫ 147 СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ 150 ПРИЛОЖЕНИЕ А. Обзор принципов обеспечения безопасности для разных сфер деятельности 15 8 ПРИЛОЖЕНИЕ Б. Анализ методов разработки программного обеспечения 161 ПРИЛОЖЕНИЕ В. Аналитические методы оценивания и доказательства функциональной безопасности 172 ПРИЛОЖЕНИЕ Г. Перечень опасных состояний контура управления обмотками возбуждения 182 ПРИЛОЖЕНИЕ Д. Первичный перечень функциональных отказов 197 ПРИЛОЖЕНИЕ Е. Данные для построения дерева отказов 202 ПРИЛОЖЕНИЕ Ж. Анализ риска и опасностей контура управления обмотками возбуждения тяговых двигателей 207 ПРИЛОЖЕНИЕ 3. Адресное распределение функций безопасности 213 ПРИЛОЖЕНИЕ И. Анализ уровня соответствия комплексу требований безопасности ПСН 225 ПРИЛОЖЕНИЕ К. Расчетная интенсивность отказов блоков ПСН 231 ПРИЛОЖЕНИЕ Л. Обзор методов и мер диагностических испытаний, обеспечивающих диагностическое покрытие функций безопасности 249 ПРИЛОЖЕНИЕ М. Определение диагностического покрытия и доли безопасных отказов
Рекомендованный список диссертаций по специальности «Подвижной состав железных дорог, тяга поездов и электрификация», 05.22.07 шифр ВАК
Многоуровневая система управления и обеспечения безопасности движения поездов2004 год, доктор технических наук Розенберг, Ефим Наумович
Методы построения бесконтактных устройств сопряжения управляющего вычислительного комплекса с исполнительными объектами систем железнодорожной автоматики2005 год, кандидат технических наук Ковкин, Алексей Николаевич
Усовершенствованный тяговый электропривод магистральных электровозов постоянного тока для эксплуатации на участках с трудным профилем2011 год, кандидат технических наук Баранов, Валерий Александрович
Усовершенствование микропроцессорного управления вентильным тяговым приводом электровозов переменного тока2003 год, кандидат технических наук Волконовский, Сергей Васильевич
Разработка метода диагностирования блоков автоматического управления электровозов переменного тока с тиристорными преобразователями2003 год, кандидат технических наук Шафрыгин, Александр Владимирович
Введение диссертации (часть автореферата) на тему «Обеспечение функциональной безопасности на примере микропроцессорной системы управления преобразователя собственных нужд на электровозе постоянного тока»
Проблема обеспечения безопасности технических средств всегда находилась под пристальным вниманием ученых и практиков. Областями техники, где безопасность воспринималась как проблема номер один, были авиация, ядерная и военная промышленности, системы железнодорожной автоматики и телемеханики. Обзор принципов обеспечения безопасности для разных сфер деятельности приведен в Приложении А.
Однако продолжают происходить аварии, катастрофы и несчастные случаи, так как:
- нет ни одного технического средства, с нулевой интенсивностью отказов. С развитием техники опасность растет быстрее, чем человеческая способность может ей противостоять; нет человека, не допускающего ошибок. Причем, люди склонны привыкать к опасности, к нарушению правил.
Современные электровозы содержат микропроцессорные системы управления (МПСУ), реализующие управляющие функции как по отношению ко всему электровозу, так и к его отдельному оборудованию. МПСУ позволяют воспроизвести лучшие потребительские свойства электровозов: реализуемую силу тяги, управляемость и экономичность. Однако программное обеспечение МПСУ несет в себе опасность новых, ранее не регистрируемых и не прогнозируемых отказов, ошибок и сбоев.
Одним из основных условий успешного внедрения МПСУ на электровозе является обеспечение необходимого уровня безопасности. Принятие решения о том, что система соответствует уровню безопасности, возможно с учетом результатов аналитических исследований и испытаний, направленных на доказательство безопасности.
Функциональная безопасность системы - свойство реализовывать основные функции при случайных, дестабилизирующих воздействиях и отсутствии злоумышленного влияния на систему, программную составляющую за расчетное время. Источниками отказовых ситуаций могут быть некорректные исходные требования, дефекты и отказы в аппаратуре, сбои и ошибки в программной части, проявляющиеся при работе МПСУ на протяжении всего жизненного цикла.
Между понятиями функциональной безопасности и надежности имеется принципиальное различие. Ненадежность приводит к неприемлемым уровням готовности, технического использования, безотказности и стоимости технического обслуживания. Недостаточная функциональная безопасность приводит к авариям и человеческим жертвам [32].
Необходимость предвидения и анализа на этапе проектирования всех последствий, которые могут возникнуть при эксплуатации создаваемых систем - это принципиально новое требование к разработчикам сложной микропроцессорной техники, критичной к безопасности. Сбой микроконтроллера, программная ошибка, внезапный отказ аппаратуры МПСУ на электровозе могут привести к опасной ситуации: неисправности двигателя, возгоранию в двигателе, неконтролируемым динамическим усилиям вплоть до разрыва поезда или выдавливания вагонов, потере управления торможением, отсутствие управления электровозом при потере питания и так далее. Последствия нештатного функционирования при появлении МПСУ многократно возросли, поэтому недостаточно просто учитывать предыдущий опыт. Необходима методика, позволяющая на этапе проектирования новых МПСУ предвидеть возможные негативные последствия, которые могут проявиться в процессе эксплуатации электровоза. В рамках методики необходимо решить конкретную задачу обеспечения и контроля полноты рассматриваемых последствий. Основой методики должен являться полный перечень возможных ситуаций нарушенного функционирования систем и их причин.
Актуальность поставленной проблемы заключается в необходимости разработки методики, учитывающей отечественный и зарубежный опыт обеспечения функциональной безопасности. В данной методике должны быть установлены количественные и качественные показатели функциональной безопасности, их нормативные значения и оценки фактических показателей. Методика позволит обеспечить безопасность эксплуатации электровозов на заданном уровне.
Исследованиями надежности и безопасности систем управления на железнодорожном транспорте уделяли значительное внимание разные научные коллективы. Большой вклад в развитие этих проблем внесли Б. Н. Тихменев, А. Т. Осяев, А. Б. Подшивалов, Г. Г. Гомола, В. В. Сапожников, Вл. В. Сапожников, В. И. Шаманов, Д. В. Гавзов, X. А. Христов, В. М. Лисенков, Е. Н. Розенберг.
Вопросами надежности оборудования и характеристиками, обеспечивающими высокую эффективность электровозов ВЛ80, занимались Л. Д. Капустин, А. С. Копанев, А. Л. Лозановский. Вопросами надежности электронных систем автоматики и телемеханики в устройствах электроснабжения занимались В. Я. Овласюк, Н. Д. Сухопрудский, В. С. Хальков. Значительный вклад в исследование функциональной безопасности программных средств и систем внесли И. Б. Шубинский, В. В. Липаев. Вопросами обеспечения безопасности в смежных областях науки и техники -обеспечение безопасности полетов, летательных и глубоководных аппаратов занимались Г. В. Новожилов, М. С. Неймарк, Г. П. Шибанов, А. В. Майоров, Г. К. Москатов.
В работе использованы труды ученых, непосредственно занимающихся исследованием безопасности на железнодорожном транспорте: В. В. Сапожникова, Вл. В. Сапожникова, В. М. Лисенкова, И. Б. Шубинского, Е. Н. Розенберга, а также труды ученых, занимающихся вопросами безопасности в других областях промышленности: В. В. Липаева, Г. В. Новожилова, М. С. Неймарка, Г. П. Шибанова, Д. Дж. Смита, К. Дж. Л. Симпсона.
Однако на новом этапе развития МПСУ требуется решить много новых задач, ранее не ставившихся.
Для обеспечения функциональной безопасности вновь создаваемых систем управления на электровозе имеется ряд проблем: формирование и представление требований на вновь разрабатываемые МПСУ на электровозе; обеспечение полноты и достоверности результатов доказательства функциональной безопасности; унификация подходов к обмену информации в пространстве подвижного состава, отсутствие единых принципов построения и формирования эксплуатационного обслуживания МПСУ; отсутствие технической и методологической инструментальной базы доказательства функциональной безопасности.
Еще один нюанс разработки безопасных систем на электровозе: недостаточная нормативная база для создания безопасных систем. Для систем железнодорожной автоматики и телемеханики (СЖАТ) разработаны современные нормативные документы, имеется методическая и техническая основа процесса доказательства безопасности. Это отраслевые стандарты [2932], руководящие документы [35], руководящие технические материалы [38]. Существуют международные стандарты второго яруса для СЖАТ [48, 50, 43]. В случае с электровозной аппаратурой этого нет.
Основной проблемой исследования является разработка методики определения функциональной безопасности МПСУ на электровозе на этапе проектирования в направлении: от общей безопасности, безопасности аппаратной части к безопасности программного обеспечения.
Рассмотрена проблема разработки методики определения исходных требований по функциональной безопасности общей безопасности, безопасности аппаратной части, безопасности программного обеспечения.
Рассмотрена проблема обеспечения полноты и достоверности результатов доказательства функциональной безопасности для МПСУ на электровозе.
В работе проанализирована система управления преобразователя собственных нужд (далее по тексту - ПСН) с точки зрения обеспечения функциональной безопасности на этапе проектирования. Применяя разработанную методику, выдвинуты исходные требования по безопасности ПСН: общей безопасности, безопасности аппаратной части, безопасности программного обеспечения. Определены уровни соответствия комплексу мер по безопасности. Рассчитаны количественные параметры безопасности для аппаратной части ПСН. Приведены качественные оценки функциональной безопасности программного обеспечения.
Методы исследования. Научные результаты получены на основе теории безопасности, теории автоматического управления, методов теории графов и математической статистики, математической логики.
Также применялись аналитические методы оценивания и доказательства функциональной безопасности, метод приведения, методы и меры, представленные в 1ЕС/МЭК 61508: 1998-2000 «Функциональная безопасность электрических / электронных и программируемых электронных систем» [5156].
Для определения количественных параметров безопасности МПСУ ПСН электровоза постоянного тока использована автоматизированная система расчета надежности.
Научная новизна работы заключается в следующем:
1. С использованием общих методов и принципов международного стандарта 1ЕС/МЭК 61508: 1998-2000. «Функциональная безопасность электрических / электронных и программируемых электронных систем», предложен систематический подход к разработке МПСУ на электровозе с точки зрения функциональной безопасности электровоза и безопасности железнодорожных перевозок в целом.
2. Впервые разработана методика определения показателей функциональной безопасности МПСУ на электровозе, позволяющая установить количественные и качественные показатели ее аппаратной части и программного обеспечения.
3. Предложен метод определения требований функциональной безопасности, позволяющий отказаться от субъективной оценки и установить все возможные риски.
Достоверность научных положений и выводов подтверждена корректным применением теории безопасности, теории графов, методов математической статистики, математической логики, теории автоматического управления, аналитических методов оценивания и доказательства функциональной безопасности. Научные положения и выводы подтверждены практическим внедрением и реализацией в проекте ПСН для электровоза 2ЭС6.
Практическая ценность работы. Основные положения диссертации использованы при разработке и внедрении ПСН электровоза постоянного тока 2ЭС6, для которого были: разработаны требования по общей ФБ для функций безопасности, в соответствии с ситуациями отказов и уровнем риска; разработаны требования по ФБ архитектуры построения аппаратуры ПСН, требования к системным параметрам; произведено доказательство безопасности; разработаны рекомендации по ФБ к архитектуре и особенностям реализации программного обеспечения.
Апробация работы. Основные положения диссертации докладывались на научно-технических семинарах лаборатории «Электровозы» отделения ТПС ОАО «ВНИИЖТ», 2007-2009г.г., на научно-техническом семинаре отдела 051 «ОКБ Автоматика» филиал ФГУП «НПО автоматики», 2008г.
Публикации. Материалы, отражающие основное содержание диссертационной работы, изложены в четырех печатных работах, в том числе в двух - в рецензируемом издании, входящим в перечень ВАК РФ:
1. Рогожникова О.В., Худорожко М.В. Функциональная безопасность микропроцессорных систем управления на локомотиве // Вестник ВНИИЖТ. М.-2008г. №4 с.41-43.
2. Рогожникова О.В. Метод функциональной безопасности для определения структуры защитных функций локомотивной системы управления // Вестник ВНИИЖТ. М.-2009г. №2 с.26-28
В других изданиях:
3. Никифорова Н. Б., Худорожко М. В., Рогожникова О. В. Задача обеспечения функциональной безопасности при разработке микропроцессорных систем управления / Вопросы развития железнодорожного транспорта в условиях рыночной экономики: Сб.науч.трудов / Под ред. Ю.М.Черкашина, Г.В.Гогричиани., М.: Интекст, 2007, 34с. стр.69-75.
4. Никифорова Н. Б., Худорожко М. В., Рогожникова О. В. Анализ функциональной безопасности системы управления электровозом. // 7 международная научно-техническая конференция: "Кибернетика и высокие технологии XXI века" / Том 1. Сборник докладов / Воронеж: НПФ "САКВЕЕ", 2006. стр.26-30.
Структура и объем работы. Диссертация состоит из введения, четырех глав, заключения, библиографического описания, включающего 67 наименований и 12 приложений. Объем диссертации 148 страниц основного текста, в том числе 3 таблицы и 48 рисунков.
Похожие диссертационные работы по специальности «Подвижной состав железных дорог, тяга поездов и электрификация», 05.22.07 шифр ВАК
Технологическая эффективность процесса проектирования систем железнодорожной автоматики и телемеханики2005 год, доктор технических наук Горелик, Александр Владимирович
Методы повышения безопасности микропроцессорных систем интервального регулирования движения поездов2001 год, доктор технических наук Бестемьянов, Петр Филимонович
Двоично-разностные и спектрально-сигнатурные методы технической диагностики микропроцессорных информационно-управляющих систем на железнодорожном транспорте2012 год, кандидат технических наук Калинин, Тимур Сергеевич
Повышение эффективности капсулирования изоляции лобовых частей обмоток тяговых двигателей электровозов инфракрасным излучением2011 год, кандидат технических наук Лыткина, Екатерина Михайловна
Диагностирование систем управления электровозов переменного тока с тиристорными преобразователями2010 год, кандидат технических наук Семченко, Виктор Васильевич
Заключение диссертации по теме «Подвижной состав железных дорог, тяга поездов и электрификация», Рогожникова, Ольга Владимировна
ОБЩИЕ ВЫВОДЫ ПО РЕЗУЛЬТАТАМ РАБОТЫ
1. Рассмотрены различные подходы к оценке функциональной безопасности в областях промышленности: ВПК, авиации, ядерной энергетике и системах железнодорожной автоматики. Выделены общие подходы к обеспечению безопасности, заключающиеся в предотвращении нарушений нормальных режимов работы и предотвращении опасного развития нарушений режимов функционирования.
2. Реализована применительно к МПСУ электровоза концепция поэтапной структуры обеспечения функциональной безопасности. Разработка требований по безопасности проведена в три этапа: 1 этап - определение функций безопасности электровоза; 2 этап - определение функций безопасности для ПСН; 3 этап - определение функций безопасности его программного обеспечения.
3. Для определения полного перечня функциональных отказов и контроля над его полнотой разработан метод приведения, который свободен от влияния субъективности, опыта и квалификации эксперта и позволил получить перечень функциональных отказов как однозначную функцию конструкции системы.
4. По предложенной методологии проанализирована система управления на локомотиве: ПСН, контур управления питанием обмоток возбуждения тяговых двигателей. По методу приведения составлены перечни воздействий из внешней среды и изнутри во внешнюю среду ПСН. Определены функции безопасности ПСН: выявление и парирование ненормированного значения тока возбуждения по причине неправильной уставки; выявление и парирование ненормированного значения тока возбуждения по причине неправильной обратной связи; выявление и парирование ненормированного значения тока возбуждения по причине неправильного сигнала выявление и парирование негативного сигнала икс; выявление и парирование отказов и сбоев ПСН. Составлены логические уравнения нормального и неправильного функционирования.
5. На основе применения методов определения риска (граф риска) определены численные значения требований по вероятности опасных отказов для функций безопасности контура управления питанием обмоток возбуждения тяговых двигателей. При применении внешних методов снижения риска данный показатель должен быть не выше предела 10"6 опасных отказов в час (соответствует второму уровню полноты безопасности), кроме функции безопасности выявления и парирования ненормированного значения тока возбуждения по причине неправильного сигнала Для данной функции в требованиях по безопасности определено количество опасных отказов - не более 10" опасных отказов в час (соответствует третьему уровню полноты).
6. Определены логическая структура построения ПСН и численные системные параметры для функций безопасности: вероятности опасных отказов в час, доля безопасных отказов, временные параметры. Определена функция безопасности, не соответствующая выставленным требованиям: функция выявления и парирования ненормированного значения тока возбуждения по причине неправильного сигнала По данной функции необходимо принятие мер повышения безопасности.
7. Определены исходные требования для организации архитектуры программного обеспечения - требования доли безопасных отказов. Определены требования мер при построении программного обеспечения.
8. Разработаны модели функции безопасности выявления и парирования ненормированного значения тока возбуждения по причине Г неправильного сигнала —. у сгс
9. Проанализированы меры повышения безопасности функции выявления и парирования ненормированного значения тока возбуждения по
149 причине неправильного сигнала Показано, что применение однотипного резервирования не дает существенного повышения безопасности в МПСУ, ввиду наличия программной составляющей в каждом блоке и наличию отказов по общей причине. Определена модель функции безопасности выявления и парирования ненормированного значения тока возбуждения по Ж причине неправильного сигнала — соответствующая заданному уровню полноты безопасности.
10. Таким образом, на основе принципов системы стандартов МЭК, СЕЫЕЬЕС и ГОСТ концентрированы основные задачи обеспечения функциональной безопасности МПСУ электровоза и пути их решения на примере МПСУ преобразователя собственных нужд электровоза постоянного тока.
Список литературы диссертационного исследования кандидат технических наук Рогожникова, Ольга Владимировна, 2009 год
1. Головатый А. Т., Исаев И. П. Горчаков Е. В. Независимое возбуждение тяговых двигателей электровозов / Под ред. А.Т. Головатого. М.: Транспорт, 1976. — 152 с.
2. Горбань В. Н. Электрические железные дороги: Конспект лекций для студентов специальности 181400 «Электрический транспорт железных дорог». Часть 1. - Екатеринбург: УрГУПС, 2004. - 85 с.
3. ГОСТ 12.0.002-80. Система стандартов безопасности труда. Термины и определения.
4. ГОСТ 27.002-89. Надежность в технике. Основные понятия. Термины и определения.
5. ГОСТ 27.003-90. Надежность в технике. Состав и общие правила задания требований по надежности.
6. ГОСТ 27.310-95. Надежность в технике. Анализ видов, последствий и критичности отказов. Основные положения.
7. ГОСТ 28195-89. Оценка качества программных средств. Общие положения.
8. ГОСТ Р 51897-2002. Менеджмент риска. Термины и определения.
9. ГОСТ Р 51901.13-2005. (МЭК 61025: 1990). Менеджмент риска. Анализ дерева неисправностей.
10. ГОСТ Р 51901.14-2005. (МЭК 61078: 1991). Менеджмент риска. Метод структурной схемы надежности.
11. ГОСТ Р 51901.15-2005. (МЭК 61165: 1995). Менеджмент риска. Применение Марковских методов.
12. ГОСТ Р 51901-2002. Управление надежностью. Анализ риска технологических систем.
13. ГОСТ Р ИСО/МЭК 9126-93. Информационная технология. Оценка программной продукции. Характеристика качества и руководства по их применению.
14. Доказательство безопасности аппаратуры САУТ-ЦМ. / Уральское отделение ВНИИЖТ / МПС РФ, 1997. 20 с.
15. Куликов В. В. Дискретная математика: Учеб. пособие. М.: РИОР, 2007.- 174 с.
16. Липаев В. В. Методы обеспечения качества крупномасштабных программных средств. М.: СИНТЕГ, 2003. - 520 с.
17. Липаев В. В. Функциональная безопасность программных средств. -М.: СИНТЕГ, 2004.-348 с.
18. Липаев В. В. Стандартизация характеристик и оценивания качества программных средств. // Приложение к журналу «Информационные технологии». 2001. № 4.
19. Лисенков В. М. Статистическая теория безопасности движения поездов: Учеб. для вузов. М.: ВИНИТИ РАН, 1999. - 332 с.
20. Новожилов Г. В., Неймарк М. С., Цесарский JI. Г. Безопасность полета самолета. Концепция и технология. М.: Машиностроение, 2003. - 144 с.
21. НП-012-99 Правила обеспечения безопасности при выводе из эксплуатации блока атомной станции.
22. Майоров А. В., Москатов Г.К., Шибанов Г.П. Безопасность функционирования автоматизированных объектов. М.: Машиностроение, 1988.-264 с.
23. Методы построения безопасных микроэлектронных систем железнодорожной автоматики / В. В. Сапожников, Вл. В. Сапожников, X. А. Христов, Д. В. Гавзов / Под ред. Вл. В. Сапожникова. М.: Транспорт, 1995. -272 с.
24. Основы автоматического регулирования и управления: Учебн. пособие для неэлектротехн. специальностей вузов. / Под ред. В. М. Пономарева, А. П. Литвинова. М., Высшая школа, 1974. -439 с.
25. ОСТ 32.17-92. Безопасность железнодорожной автоматики и телемеханики. Основные понятия. Термины и определения. СПб.: ПИИТ, 1992.-33 с.
26. ОСТ 32.18-92. Безопасность железнодорожной автоматики и телемеханики. Выбор и общие правила нормирования показателей безопасности. СПб.: ПИИТ, 1992. - 16 с.
27. ОСТ 32.19-92. Безопасность железнодорожной автоматики и телемеханики. Общие требования к программам обеспечения безопасности. -СПб.: ПИИТ, 1992.- 15 с.
28. ОСТ 32.78-97. Безопасность железнодорожной автоматики и телемеханики. Безопасность программного обеспечения. СПб.: ПГУПС. 1995, -26 с.
29. Петер Виггер. Опыт применения распределения уровней целостности безопасности (SIL) на железнодорожном транспорте.
30. РД 32 ЦШ 1115842.04-93. Безопасность железнодорожной автоматики и телемеханики. Методы расчета норм безопасности. СПб., 1993. - 12 с.
31. Розенберг Е. Н., Шубинский И.Б. Методы и модели функциональной безопасности технических систем. Монография, Москва. 2004. 188 с.
32. Розенфельд В. Е., Исаев И. П., Сидоров H. Н. Теория электрической тяги : Учебник для вузов ж.-д. трансп. 2-е изд., перераб. и доп. - М.: Транспорт, 1983. - 328 с.
33. РТМ 32 ЦШ 1115842.01. Безопасность железнодорожной автоматики и телемеханики. Методы и принципы обеспечения безопасности микроэлектронных СЖАТ. СПб, 1994. - 120 с.
34. Сапожников Вл. В, Наседкин О. А. Доказательство безопасности систем железнодорожной автоматики // Железные дороги мира. 2007, №1. -С. 25-30.
35. Сапожников В. В, Сапожников Вл. В, Валиев Р. Ш. Синтез самодвойственных дискретных систем. Монография. СПб.: «Элмор», 2006. -224 с.
36. Сапожников В. В, Сапожников Вл. В, Шаманов В. И. Надежность систем железнодорожной автоматики, телемеханики и связи: Учебное пособиедля вузов ж. д. трансп. / Под ред. Вл. В. Сапожникова. М.: Маршрут, 2003.-203 с.
37. Сыромятников В.Н. Программное обеспечение: Учебно -методическое пособие. Екатеринбург: УрГПУ, 2005. - 89 с.
38. Тулупов В. Д. Автоматическое регулирование сил тяги и торможения электроподвижного состава. М.: Транспорт, 1976. - 368 с.
39. Функциональная безопасность. Простое руководство по применению стандарта МЭК 61508 и связанных с ним стандартов / Девид Дж. Смит, Кеннет Дж. J1. Симпсон М.: Издательский Дом «Технологии», 2004 - 208 с.
40. Шибанов Г. П., Артеменко А. Е., Метешкин А. А., Циклинский Н. И. Контроль функционирования больших систем. М.: Машиностроение, 1977. -360 с.
41. Шубинский И. Б. Активная защита от отказов управляющих модульных вычислительных систем. СПб.: Издательство "Наука", 1993 г. - 284 с.
42. Электротехника: Учеб. пособие для вузов. В 3-х книгах. Книга II. Электрические машины. Промышленная электроника. Теория автоматического управления / Под ред. П. А. Бутырина, Р. X. Гафиятуллина, А. Л. Шестакова. -Челябинск: Изд-во ЮУрГУ 2004. - 711 с.
43. EN 50129-2003. Железные дороги. Системы связи сигнализации и обработки данных. Электронные сигнализационные системы безопасности.
44. EN 50126-2000. Железные дороги. Технические условия и демонстрация надежности, наличности, ремонтопригодности и безопасности
45. EN 50128-2001. Системы телекоммуникационные, сигнализационные и системы для обработки данных, применяемые на железных дорогах. Программное обеспечение для систем управления и защиты на железных дорогах.
46. IEC 61508-1: 1998. Функциональная безопасность электрических / электронных и программируемых электронных систем. Часть 1. Общие требования.
47. IEC 61508-2: 2000. Функциональная безопасность электрических / электронных и программируемых электронных систем. Часть 2. Требования к электрическим / электронным и программируемым электронным системам безопасности.
48. IEC 61508-3: 1998. Функциональная безопасность электрических / электронных и программируемых электронных систем. Часть 3. Требования к программному обеспечению.
49. IEC 61508-5: 1998. Функциональная безопасность электрических / электронных и программируемых электронных систем. Часть 5. Примеры методов определения уровня соответствия комплексу требований безопасности.
50. IEC 61508-6: 2000. Функциональная безопасность электрических / электронных и программируемых электронных систем. Часть 6. Руководство по применению стандартов IEC 61508-2 и IEC 61508-3.
51. IEC 61508-7: 2000. Функциональная безопасность электрических / электронных и программируемых электронных систем. Часть 7. Обзор способов и мер.
52. ESTEL. Преобразователи электроэнергии Электронный ресурс. : [Преобразователи для железнодорожного транспорта]. Электрон, дан. - М.: Estel (с), 2001. - Режим доступа: http://www.estel.ее/company.htm. - Загл. с экрана.
53. ООО «Новая эра» Электронный ресурс. : [Силовая преобразовательная техника]. Электрон, дан. - СПб.: Newelectro (с), 2004. -Режим доступа: http://www.newelectro.ru/prod/prod51 .html. - Загл. с экрана.
54. ООО «Трансконвертер» Электронный ресурс. : [ПСН-235 У2, ПСН-50 У1, ПСН-80 У1]. Электрон, дан. - M.: Transconverter (с), 2005. - Режим доступа: http://transconverter.ru/psn50ul.html. - Загл. с экрана.
55. ТРАНСМАШХОЛДИНГ Электронный ресурс. : [Статические преобразователи компании «Трансконвертер»]. Электрон, дан. - М.: ТРАНСМАШХОЛДИНГ (с), 2004. - Режим доступа: http://www.tmholding.ru/workypress/smi/7486. - Загл. с экрана.
56. ExCode. Проектирование информационных систем Электронный ресурс. : [Жизненный цикл программного обеспечения ИС]. Электрон, дан. -М.: ExCode (с), 2005. - Режим доступа: http://www.excode.rU/art6057pl.html#keyword-context.2. - Загл. с экрана.
57. Железные дороги мира Электронный ресурс. : [Разработка программного обеспечения по стандартам CENELEC в фирме Siemens], -Электрон, журн. М.: ЖДМ - online, 11, 1998. - Режим доступа к журн.: http://www.css-rzd.ru/zdm/! l-1998Z8350.htm. - Загл. с экрана.
58. Липаев В.В. Стандартизация характеристик и оценивания качества программных средств Электронный ресурс. / Липаев В.В. Электрон, дан. -Режим доступа: http://www.fostas.ru/library/Lipaev6.rtf. - Загл. с экрана.
59. Авиационные правила. Часть 25. Нормы летной годности самолетов транспортной категории. Межгосударственный авиационный комитет. 1994.
60. ГОСТ 29205 91. Совместимость технических средств электромагнитная. Радиопомехи индустриальные от электротранспорта. Нормы и методы испытаний.
61. ГОСТ Р51320.14.1-99 (с испр. 14-1-93). Совместимость технических средств электромагнитная. Радиопомехи индустриальные от бытовых,158
Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.