а о верификации исходного кода в системе тира spin.
Как сравнивается объём кода известных систем этого тира с теми системами, которые делает Ш.? Решают ли эти системы те же задачи?
является доказательством ...но во многих практических случаях она решается с применением разных эвристических методов.
Не понял. Также не понял, как мы будем это рассматривать в реалтайме для взаимодействия двух систем.
невыдача ответа вовремя в системе реального времени - это по определению провал. Я тоже так думал. В документах, что я видел, стоит иное. Система несколько раз перезапускается. Если неудачно, то просто вырубается.
В принципе, системы дублируются. Так что ошибочную просто убивают. То, что ошибки происходят редко, идёт за счёт массированного тестирования. Софт без железа при вычислении общей надёжности не рассматривают. Потому как сбои памяти тоже учитываются.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2010-05-09 09:21 am (UTC)Как сравнивается объём кода известных систем этого тира с теми системами, которые делает Ш.? Решают ли эти системы те же задачи?
является доказательством
...но во многих практических случаях она решается с применением разных эвристических методов.
Не понял. Также не понял, как мы будем это рассматривать в реалтайме для взаимодействия двух систем.
невыдача ответа вовремя в системе реального времени - это по определению провал.
Я тоже так думал. В документах, что я видел, стоит иное. Система несколько раз перезапускается. Если неудачно, то просто вырубается.
В принципе, системы дублируются. Так что ошибочную просто убивают. То, что ошибки происходят редко, идёт за счёт массированного тестирования. Софт без железа при вычислении общей надёжности не рассматривают. Потому как сбои памяти тоже учитываются.
Ладно. Это был мой последний выпад.