 |
| English | Russian |
| detailed check of the test basis | детальная проверка базиса тестирования (ssn) |
| test functions which check the sensors and actuators connected to the PLC-system for example, forcing the outputs of the PLC-system | функции тестирования, которые проверяют датчики и приводы, связанные с конфигурацией ПЛК например, форсирование выходов ПЛК (см. IEC 61131-1 2003 ssn) |
| To test the effect of this change, the model can be analyzed again in order to check schedulability | для испытания результата этого изменения модель может быть снова подвергнута анализу с целью проверить планируемость (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |