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) |
Первой целью настоящего подраздела является определение требований к безопасности ПО как требований к функциям безопасности ПО и требований к полноте безопасности ПО | the first objective of the requirements of this subclause is to specify the requirements for software safety in terms of the requirements for software safety functions and the requirements for software safety integrity (см. IEC 61508-3) |
полнота безопасности | 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) |
спецификация требований к полноте безопасности | safety integrity requirements specification (спецификация, содержащая требования к полноте безопасности для функций безопасности, которые должны выполняться системами, связанными с безопасностью; см. IEC 61508-4, ГОСТ Р МЭК 61508-4-2007 ssn) |
спецификация требований к полноте безопасности системы E / E / PE, связанной с безопасностью | E/E/PE system safety integrity requirements specification (спецификация, содержащая требования к полноте безопасности для функций безопасности, которые должны выполняться системами, связанными с безопасностью) |
среда верификации программного обеспечения с высоким уровнем полноты безопасности | 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) |
теорема Гёделя о полноте | Godel Completeness Theorem (ssn) |
теорема о полноте | completeness theorem (ssn) |
тест полноты | confidence test (см. Standard glossary of terms used in Software Testing ssn) |
требования к полноте безопасности | safety integrity requirements (ssn) |
требования к полноте безопасности ПО | requirements for software safety integrity (ssn) |
требования к полноте безопасности программного обеспечения | requirements for software safety integrity (ssn) |
требования по полноте безопасности программного обеспечения | software safety integrity requirements (корпорации AdaCore Alex_Odeychuk) |
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) |