| Russian | English |
| встроенное программное обеспечение с высоким уровнем полноты безопасности | high-integrity embedded software (программное обеспечение с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций, которое реализовано аппаратными средствами или записано в ПЗУ; Electronic Design Alex_Odeychuk) |
| другие подходящие средства подтверждения полноты параметров | other suitable means of confirming the integrity of the parameters (ssn) |
| заявленное значение уровня полноты безопасности | SIL claim (ssn) |
| заявленное значение уровня полноты безопасности | safety integrity level claim (ssn) |
| инструментальное средство разработки приложений с высоким уровнем полноты безопасности | high-integrity tool (корпорации AdaCore Alex_Odeychuk) |
| использование в системах с высоким уровнем полноты безопасности | use in high integrity systems (т.е. в системах, для которых подтверждено корректное написание исходного кода, правильное взаимодействие компонентов программного обеспечения, корректность функционирования программного обеспечения в целом, отсутствие скрытых ошибок, заплаток и неавторских модификаций в программном обеспечении; корпорации AdaCore Alex_Odeychuk) |
| конференция по программному обеспечению с высоким уровнем полноты безопасности | high-integrity software conference (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; корпорации AdaCore Alex_Odeychuk) |
| конференция по программному обеспечению с высоким уровнем полноты безопасности | high integrity software conference (Alex_Odeychuk) |
| методы определения уровней полноты безопасности | methods for the determination of safety integrity levels (ssn) |
| объектно-ориентированное программирование приложений с высоким уровнем полноты безопасности | high-integrity object-oriented programming (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
| ограничения, связанные с высоким уровнем полноты безопасности | high integrity restrictions (ограничения, налагаемые в связи с необходимостью подтверждения корректного написания исходного кода, правильного взаимодействия компонентов программного обеспечения, корректности функционирования программного обеспечения в целом, отсутствия скрытых ошибок, заплаток и неавторских модификаций в программном обеспечении Alex_Odeychuk) |
| определение уровней полноты безопасности | determination of safety integrity levels (ssn) |
| полнота безопасности | safety integrity (вероятность того, что система, связанная с безопасностью, будет удовлетворительно выполнять требуемые функции безопасности при всех оговоренных условиях в течение заданного периода времени; см. IEC 61508-4, ГОСТ Р МЭК 61508-4-2007 ssn) |
| полнота безопасности аппаратного обеспечения | hardware safety integrity (ssn) |
| полнота безопасности аппаратных средств | hardware safety integrity (составляющая полноты безопасности системы, связанной с безопасностью по отношению к случайным отказам аппаратуры, проявляющимся в опасном режиме; см. IEC 61508-4, ГОСТ Р МЭК 61508-4-2007 ssn) |
| полнота безопасности, касающаяся систематических отказов | systematic safety integrity (ssn) |
| полнота безопасности ПО | software safety integrity (ssn) |
| полнота безопасности по отношению к систематическим отказам | systematic safety integrity (см. IEC 61508-4, ГОСТ Р МЭК 61508-4-2007 ssn) |
| полнота безопасности программного обеспечения | software safety integrity (количественная характеристика, которая означает вероятность того, что программное обеспечение программируемой электронной системы будет выполнять специфицированные функции обеспечения безопасности при всех установленных условиях в течение установленного периода времени; см. IEC 61508-4, ГОСТ Р МЭК 61508-4-2007 ssn) |
| полнота в логике высказываний | completeness in propositional logic (ssn) |
| полнота верификации | completeness of verification (ssn) |
| полнота верификации в соответствии с предыдущей стадией | completeness of verification with respect to the previous phase (ssn) |
| полнота взаимодействия между модулями | completeness of interaction between modules (ssn) |
| полнота и адекватность требований стандарта | standard's robustness (ssn) |
| полнота множества процедур | completeness of procedure set (ssn) |
| полнота модификации | completeness of modification (ssn) |
| полнота модификации в соответствии с требованиями к модификации | completeness of modification with respect to its requirements (ssn) |
| полнота оценки функциональной безопасности | completeness of functional safety assessment (ssn) |
| полнота параметров | integrity of parameters (ssn) |
| полнота подтверждения соответствия | completeness of validation (ssn) |
| полнота подтверждения соответствия в соответствии со спецификацией проекта программного обеспечения | completeness of validation with respect to the software design specification (ssn) |
| полнота программы | completeness of program (ssn) |
| полнота распознавания | recognition rate (ssn) |
| полнота рассмотрения | complete understanding (ssn) |
| полнота рассмотрения происходящего | complete understanding of events (ssn) |
| полнота резолюции | completeness of resolution (ssn) |
| полнота тестирования | testedness (может быть измерена при помощи инструмента, называемого анализатором тестового покрытия ssn) |
| приложение с высоким уровнем полноты безопасности | high-integrity application (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
| проверка полноты взаимодействия между модулями | verification of completeness of interaction between modules (ssn) |
| проверка полноты теста | test verification (с помощью моделирования ssn) |
| программное обеспечение с высоким уровнем полноты безопасности | high-integrity software (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций Alex_Odeychuk) |
| программное обеспечение с высоким уровнем полноты безопасности и особыми требованиями по технической безопасности | safety-critical and high-integrity software (Alex_Odeychuk) |
| программное обеспечение с высоким уровнем полноты безопасности и особыми требованиями по функциональной безопасности | safety-critical and high-integrity software (корпорации AdaCore Alex_Odeychuk) |
| программный комплекс с высоким уровнем полноты безопасности | high-integrity software system (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций Alex_Odeychuk) |
| проект разработки программного обеспечения с высоким уровнем полноты безопасности | high-integrity software project (т.е. программного обеспечения с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
| разработка аттестуемого встроенного программного обеспечения с высоким уровнем полноты безопасности | certifiable high-integrity embedded software development (Встроенное программное обеспечение с высоким уровнем полноты безопасности — это программное обеспечение с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций, которое реализовано в аппаратных средствах или записано в ПЗУ.  adacore.com Alex_Odeychuk) |
| разработка программного обеспечения с высоким уровнем полноты безопасности | high-integrity software development (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций Alex_Odeychuk) |
| рекомендации по применению методов определения уровней полноты безопасности | examples of methods for the determination of safety integrity levels (ssn) |
| с высоким уровнем полноты безопасности | high-integrity (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
| с высоким уровнем полноты безопасности | safety-critical (корпорации AdaCore Alex_Odeychuk) |
| система с высоким уровнем полноты безопасности | high integrity system (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов программного обеспечения, корректности функционирования программного обеспечения в целом, отсутствия скрытых ошибок, заплаток и неавторских модификаций в программном обеспечении; корпорации AdaCore Alex_Odeychuk) |
| система с высоким уровнем полноты безопасности | high-integrity system (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов программного обеспечения, корректности функционирования программного обеспечения в целом, отсутствия скрытых ошибок, заплаток и неавторских модификаций в программном обеспечении Alex_Odeychuk) |
| систематическая полнота безопасности | systematic safety integrity (см. IEC 61508-2, ГОСТ Р МЭК 61508-2-2007 ssn) |
| среда верификации программного обеспечения с высоким уровнем полноты безопасности | verification environment for high-integrity software (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
| среда выполнения с высоким уровнем полноты безопасности | high-integrity run-time (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; корпорации AdaCore Alex_Odeychuk) |
| схема разработки программного продукта с высоким уровнем полноты безопасности, предназначенного для управления железнодорожным движением | high-integrity product line for railway software (корпорации AdaCore Alex_Odeychuk) |
| тест полноты | confidence test (см. Standard glossary of terms used in Software Testing ssn) |
| SIL уровень полноты безопасности | safety integrity level (дискретный уровень (принимающий одно из четырёх возможных значений), определяющий требования к полноте безопасности для функций безопасности, который ставится в соответствие Е/Е/РЕ системам, связанным с безопасностью; уровень полноты безопасности, равный 4, характеризует наибольшую полноту безопасности, уровень, равный 1, отвечает наименьшей полноте безопасности; см. IEC 61508-4, ГОСТ Р МЭК 61508-4-2007 ssn) |
| уровень полноты безопасности ПО | software safety integrity level (ssn) |
| уровень полноты безопасности программного обеспечения | software safety integrity level (дискретный уровень (принимающий одно значение из четырёх возможных), определяющий полноту безопасности программного обеспечения в системе, связанной с безопасностью; см. IEC 61508-4, ГОСТ Р МЭК 61508-4-2007 ssn) |
