Оцінка програмного забезпечення керуючої системи АЕС з використанням інструментального засобу LDRA TESTBED
У статті викладені результати виконання оцінки програмного забезпечення керуючої системи безпеки енергоблоку №1 Южно-Української АЕС. Вперше у практиці ДНТЦ ЯРБ оцінка була проведена з використанням інструментального засобу LDRA Testbed....
Saved in:
| Date: | 2006 |
|---|---|
| Main Authors: | Sklyar, V., Yastrebenetsky, M., Karnauhov, O. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
State Scientific and Technical Center for Nuclear and Radiation Safety
2006
|
| Online Access: | https://nuclear-journal.com/index.php/journal/article/view/1214 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Nuclear and Radiation Safety |
Institution
Nuclear and Radiation SafetySimilar Items
-
Результати застосування статичного аналізу для оцінки безпеки програмного забезпечення інформаційних та керуючих систем АЕС
by: Sklyar, V.
Published: (2007) -
Побудова архітектури програмного засобу для освітньої системи за допомогою технології Захмана
by: Тупало, Я.О.
Published: (2019) -
Розробка методу та програмного засобу стиснення та шифрування інформації
by: Ratov, Denis
Published: (2023) -
Сертифікація інформаційно-керуючої платформи на базі ПЛІС на відповідність вимогам з функціональної безпеки стандарту МЕК 61508
by: Sklyar, V.
Published: (2013) -
Розроблення та оцінка відповідності програмного забезпечення ЕКГ-фотометричного комплексу
by: Будник, В.М., et al.
Published: (2021)