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