Russian | English |
без обоснования | no reason given (ssn) |
обоснование необходимости синхронизации | specifying the need for synchronization (ssn) |
обоснование по схеме "допущение-подтверждение" | justifying assume-guarantee proofs (ssn) |
обоснование правильности | reasoning about correctness (напр., алгоритма ssn) |
обоснование языка программирования | language rationale (Alex_Odeychuk) |
обоснование языка программирования | programming language rationale (Alex_Odeychuk) |
Оценка функциональной безопасности программного обеспечения формирует ясное утверждение о степени найденного соответствия, сделанных обоснованиях, мерах по устранению недостатков с рекомендуемыми сроками их устранения, полученные выводы и рекомендации по их принятию, квалифицированному принятию, или отклонению с указанием любых временных ограничений для этих рекомендаций | the software functional safety assessment produces a clear statement on the extent of compliance found, the judgements made, remedial actions and timescales recommended, the conclusions reached and the recommendations arising for acceptance, qualified acceptance, or rejection and for any time constraints placed on these recommendations (см. IEC 61508-7: 2010) |
подробное обоснование | extended rationale (ssn) |
подробное обоснование | detailed rationale (Alex_Odeychuk) |
подробное обоснование важности выполнения предварительных условий | extended rationale for taking the time to do prerequisites (ssn) |
сделанные обоснования | judgements made (ssn) |
степень найденного соответствия, сделанные обоснования, меры по устранению недостатков с рекомендуемыми сроками их устранения | the extent of compliance found, the judgements made, remedial actions and timescales recommended (ssn) |
ясное утверждение о степени найденного соответствия, сделанных обоснованиях, мерах по устранению недостатков с рекомендуемыми сроками их устранения | clear statement on the extent of compliance found, the judgements made, remedial actions and timescales recommended (ssn) |