Надёжность и безопасность МПЦ - Страница 17 - СЦБИСТ - железнодорожный форум, блоги, фотогалерея, социальная сеть

horon · 18.04.2019, 04:13

Для того чтобы МПЦ стала безопасной её надо выключить и закопать. как выглядит доказательство безопасности таких систем? Что будет если внутри нее залипнет что-нить?

**Узник Абакана** · 20.04.2019, 07:00

Цитата:

Сообщение от horon

Что будет если внутри нее залипнет что-нить?

Для этого и служит мажоритирование

**Механик 123** · 27.02.2020, 07:49

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

**viktors007** · 27.02.2020, 08:46

Цитата:

А как с МПЦ?

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

**tyubik** · 27.02.2020, 08:51

Цитата:

Сообщение от viktors007

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

Месяцы!

**Механик 123** · 27.02.2020, 08:57

Цитата:

Сообщение от tyubik

Месяцы!

Обычно еще и по ночам.

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

**Трезвый путеец** · 27.02.2020, 09:28

И у нас абсолютно также. Сначала на макете на производстве (с подключением имитации исполнительных устройств). Затем уже на объекте в "с полем".

pavel_starcev · 27.02.2020, 09:39

Цитата:

Сообщение от Механик 123

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

также безопасность доказывается проверкой зависимостей на заводе у Siemens c устранением ошибок которые устраняет Швейцаркая компания

pavel_starcev добавил 27.02.2020 в 10:39

Цитата:

Сообщение от Механик 123

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

также безопасность доказывается проверкой зависимостей на заводе у Siemens c устранением ошибок которые устраняет Швейцарская компания

**Механик 123** · 27.02.2020, 09:47

Цитата:

Сообщение от pavel_starcev

также безопасность доказывается проверкой зависимостей на заводе у Siemens c устранением ошибок которые устраняет Швейцаркая компания

Это называется сами сделали, и сами у себя проверили. Мне интересен вопрос участия сторонних испытательных лабораторий.
Согласно ГОСТ:
5.2.2 На этапе разработки станционной системы организация-разработчик разрабатывает и согласовывает с организацией-заказчиком станционной системы и испытательной лабораторией (центром),
аккредитованной на проведение работ по оценке соответствия железнодорожной автоматики и телемеханики требованиям безопасности (далее — испытательная лаборатория (центр)}, документацию с
описанием функций, реализуемых станционной системой.
5.2.3 Испытательная лаборатория (центр) при участии организации-разработчика проводит экспертизу и испытания для подтверждения корректности реализации функций станционной системой.

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

**Трезвый путеец** · 27.02.2020, 10:05

Цитата:

Сообщение от Механик 123

Это называется сами сделали, и сами у себя проверили. Мне интересен вопрос участия сторонних испытательных лабораторий.
Согласно ГОСТ:
5.2.2 На этапе разработки станционной системы организация-разработчик разрабатывает и согласовывает с организацией-заказчиком станционной системы и испытательной лабораторией (центром),
аккредитованной на проведение работ по оценке соответствия железнодорожной автоматики и телемеханики требованиям безопасности (далее — испытательная лаборатория (центр)}, документацию с
описанием функций, реализуемых станционной системой.
5.2.3 Испытательная лаборатория (центр) при участии организации-разработчика проводит экспертизу и испытания для подтверждения корректности реализации функций станционной системой.

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

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

**viktors007** · 27.02.2020, 10:08

Цитата:

Сначала на макете на производстве (с подключением имитации исполнительных устройств). Затем уже на объекте в "с полем".

FAT test, SAT test.

pavel_starcev · 27.02.2020, 10:38

Цитата:

Сообщение от Механик 123

Это называется сами сделали, и сами у себя проверили. Мне интересен вопрос участия сторонних испытательных лабораторий.
Согласно ГОСТ:
5.2.2 На этапе разработки станционной системы организация-разработчик разрабатывает и согласовывает с организацией-заказчиком станционной системы и испытательной лабораторией (центром),
аккредитованной на проведение работ по оценке соответствия железнодорожной автоматики и телемеханики требованиям безопасности (далее — испытательная лаборатория (центр)}, документацию с
описанием функций, реализуемых станционной системой.
5.2.3 Испытательная лаборатория (центр) при участии организации-разработчика проводит экспертизу и испытания для подтверждения корректности реализации функций станционной системой.

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

сделали Сиеменс а мы заказчики проверили. ошибки устраняла сторонняя "лаборатория" в швейцарии, разработчик программного обеспечения

**Legon** · 27.02.2020, 10:42

Цитата:

Сообщение от pavel_starcev

сделали Сиеменс а мы заказчики проверили. ошибки устраняла сторонняя "лаборатория" в швейцарии, разработчик программного обеспечения

узнаю у манагеров

**Механик 123** · 27.02.2020, 10:54

Цитата:

Сообщение от Трезвый путеец

Экспертиза ПО - которая проверяет правильность работы согласно той-же самой таблице ПМИ. Это делается на этапе разработке и декларирования системы.

Если ПО не типовое для всех станций, экспертиза КАКОГО ПО проводится на этапе декларирования системы? Типовой примерной станции?

**Трезвый путеец** · 27.02.2020, 10:57

Цитата:

Сообщение от Механик 123

Если ПО не типовое для всех станций, экспертиза КАКОГО ПО проводится на этапе декларирования системы? Типовой примерной станции?

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

Похожие темы
Тема	Автор	Раздел	Ответов	Последнее сообщение
Безопасность	Maxim Tarnavskiy	Машинисту ССПС	1	05.03.2014 18:53
ОСТ 32.78-97 Безопасность железнодорожной автоматики и телемеханики. Безопасность программного обеспечения	Admin	ОСТы	0	03.05.2011 16:51
[Гудок] [21 февр. 2011] Аудит против брака. Надёжность локомотивов на линии зависит от качества производства	Admin	Газета "Гудок"	0	23.02.2011 16:49
[Гудок] [1 февр. 2011] Надёжность по стандарту	Admin	Газета "Гудок"	0	04.02.2011 21:04
[ОМ] Контакт не подведёт - надёжность устройств обеспечивают тылы	Admin	Октябрьская железная дорога	0	03.02.2011 20:39

18.04.2019, 04:13	#241 (ссылка)
horon Кандидат в V.I.P. Регистрация: 13.11.2018 Сообщений: 26 Поблагодарил: 4 раз(а) Поблагодарили 1 раз(а) Фотоальбомы: 0 Загрузки: 11175 Закачек: 0 Репутация: 34	Для того чтобы МПЦ стала безопасной её надо выключить и закопать. как выглядит доказательство безопасности таких систем? Что будет если внутри нее залипнет что-нить?
	0

27.02.2020, 07:49	#243 (ссылка)
Механик 123 Super V.I.P. Регистрация: 24.05.2017 Сообщений: 569 Поблагодарил: 562 раз(а) Поблагодарили 291 раз(а) Фотоальбомы: 0 Загрузки: 12720 Закачек: 1 Репутация: 588	Вопрос разработчикам и проектировщикам МПЦ. Как доказывается безопасность ПО с логическими функциями ЭЦ для конкретного объекта (станции) и доказывается ли вообще? Вот мы имеем МПЦ, железо сертифицировано, структура построения безопасна и тд. и тп., получили объект - программисты пишут на него ПО, закладывая в него функции и зависимости, реализуемые ЭЦ на конкретном объекте. Написали и что дальше? Как проверяется, что программист не ошибся и не вписал где нибудь в зависимость контроль занятой секции вместо свободной? Речь не о своих проверках и отладках на программных макетах, а о участии внешнего контролирующего органа. Или же все сводится к проверке зависимостей при пусконаладке согласно ПМИ? К слову, релейные проекты то никто не анализирует и его безопасность доказывается проверкой зависимостей. А как с МПЦ?
	0

27.02.2020, 09:28	#247 (ссылка)
Трезвый путеец Super V.I.P. Регистрация: 07.03.2019 Сообщений: 1,022 Поблагодарил: 16 раз(а) Поблагодарили 122 раз(а) Фотоальбомы: 0 Загрузки: 6012 Закачек: 0 Репутация: 308	И у нас абсолютно также. Сначала на макете на производстве (с подключением имитации исполнительных устройств). Затем уже на объекте в "с полем".
	0

Здесь присутствуют: 1 (пользователей: 0 , гостей: 1)