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

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

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

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