Да, тут ещё один имеется аспект. Если таковой закон будет введен, то, вероятно, рано или поздно кто-то додумается (если уже не додумался) страховать от последствий ошибок ПО (мелкая софтверная контора далеко не всегда сможет не то что пережить, а хотя бы оплатить несколько часов простоя конвеера какого-нибудь завода). Со временем эта практика может перерасти в нечто вроде "обязательное страхование производства от сбоя в ПО". И вот тут становится интересно, ибо страховые компании в обязательном порядке ведут статистику страховых случаев по множеству факторов, дабы не работать в убыток с одной стороны, и с другой, чтобы стоимость страховки была не совсем уж заоблачной.

В том числе возможно будут учитываться такие факторы, как язык на котором писано по, используемые библиотеки и т.п. и т.д. + страховая история данной конкретной софтверной конторы.

А стоимость решения в этом случае будет складываться из стоимости ПО как такового + стоимость страховки (зависящей как от самого ПО, так и от стоимости того что страхуют).