Оцінка програмного забезпечення керуючої системи АЕС з використанням інструментального засобу LDRA TESTBED
У статті викладені результати виконання оцінки програмного забезпечення керуючої системи безпеки енергоблоку №1 Южно-Української АЕС. Вперше у практиці ДНТЦ ЯРБ оцінка була проведена з використанням інструментального засобу LDRA Testbed....
Збережено в:
| Дата: | 2006 |
|---|---|
| Автори: | Sklyar, V., Yastrebenetsky, M., Karnauhov, O. |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
State Scientific and Technical Center for Nuclear and Radiation Safety
2006
|
| Онлайн доступ: | https://nuclear-journal.com/index.php/journal/article/view/1214 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Nuclear and Radiation Safety |
Репозитарії
Nuclear and Radiation SafetyСхожі ресурси
-
Результати застосування статичного аналізу для оцінки безпеки програмного забезпечення інформаційних та керуючих систем АЕС
за авторством: Sklyar, V.
Опубліковано: (2007) -
Побудова архітектури програмного засобу для освітньої системи за допомогою технології Захмана
за авторством: Тупало, Я.О.
Опубліковано: (2019) -
Розробка методу та програмного засобу стиснення та шифрування інформації
за авторством: Ratov, Denis
Опубліковано: (2023) -
Сертифікація інформаційно-керуючої платформи на базі ПЛІС на відповідність вимогам з функціональної безпеки стандарту МЕК 61508
за авторством: Sklyar, V.
Опубліковано: (2013) -
Розроблення та оцінка відповідності програмного забезпечення ЕКГ-фотометричного комплексу
за авторством: Будник, В.М., та інші
Опубліковано: (2021)