[email protected]
+38 (057) 788-42-24
  •   Електронний каталог
  •   dKHAIIR
  • Про бібліотеку
    • Бібліотека сьогодні
    • Історія бібліотеки
    • Структура бібліотеки. Графік роботи.
    • Положення про науково-технічну бібліотеку
    • Правила користування НТБ
  • Ресурси
    • Інформаційно-бібліографічні ресурси
      • Бібліографічні видання
      • Тематичні книжково-ілюстративні виставки
      • Віртуальні виставки
    • Нові надходження
    • Онлайн-ресурси локального доступу
    • Онлайн-ресурсы вільного доступу
    • Списки публікацій співробітників НТБ
    • Швидкий пошук
  • Студенту
    • Оформлення списку літератури
    • Основи інформаційної культури
    • Соціокультурна діяльність
      • Галерея
      • Архів подій
    • Випускники ХАІ
  • Наука
    • Бібліометричні профілі співробітників Університету
    • Нормативно-правова база
    • Оформлення дисертацій і авторефератів
    • Наукометрична діяльність
    • Створення авторського профілю
    • Технічні звіти з НДДКР
    • До уваги науковців
  • Послуги
    • Електронна доставка документів
    • Віртуальна довідка
    • Ваш формуляр
    • Усі послуги
  • Головна
  •  → 
  • Електронний каталог
  •  → 
  • Пошук по електронному каталогу
  •  → 
  • Опис документа

Форма пошуку Назад
укр рус eng
 Cписок

Івасюк О.О., Харченко В.С.
Використання методу верифікації fmeda/fit для оцінювання кібербезпеки програмованого логічного контролера: нова інтерпретація принципу SIS

Вид документа: Стаття періодики
Автор: Івасюк О.О., Харченко В.С. Вид автора: персона
Мова: Українська Обсяг: С. 76-90
УДК: 004.312.466

Аннотацiя:Об'єктом дослідження роботи є програмований логічний контролер (safety PLC), що входить до складу інформаційно-керуючої системи призначеною для здійснення безпечного управління важливими технологічними процесами. Предметом дослідження є обґрунтування правомірності повторного використання результатів, які були отримані під час розробки safety PLC згідно вимог функційної безпечності, для оцінки рівня його кібербезпеки. Метою роботи є дослідження можливості "перехресного" оцінювання безпечних характеристик safety PLC, а саме можливість оцінити рівень кібербезпеки програмованого логічного контролеру на основі відомих даних щодо його рівня функційної безпечності, задля оптимізації використання наявних ресурсів у проєкті. Завдання: надати теоретичне підґрунтя взаємозв'язку між такими характеристиками safety PLC як функційна безпечність та кібербезпека. Визначити показники якості за якими можна буде оцінити ступень повторного використання вже існуючих результатів. Виконати аналіз потенційних кібератак в зале


Переглянути електронну копію

Є складовою частиною документа: Авіаційно-космічна техніка і технологія

Відомості щодо головного
 Назва головного документа:Авіаційно-космічна техніка і технологія
 Дата видання головного документа:2024
 Номер частини головного документа:1

Загальна інформація
 Бібліографія:Бібліогр.: 26 назв.

Примітки
 Загальні зауваження:doi: 10.32620/aktt.2024.1.07

Теми документа:

  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ Х/ Харченко В.С./Kharchenko V.S.
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ
  • УДК/UDC/ 0 Загальний відділ/Общий отдел/Science and knowledge/ 00 Загальні питання науки і культури/Общие вопросы науки культуры/Prolegomena. Fundamentals of knowledge and culture. Propaedeutics/ 004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/Информационные технологии. Вычислительная техника. Обработка данных/Computer science and technology. Computing. Data processing/ 004.3 Апаратне забезпечення комп'ютерів/Аппаратные средства, техническое обеспечение компьютеров/Computer hardware/ 004.31 Процесорні блоки. Процесорні кола/Процессорные блоки. Процессорные круги/Processing units. Processing circuits/ 004.312 Логічні кола/Логические схемы, блоки/Logical circle/ 004.312.4 Послідовні схеми/Последовательностные схемы/Sequential circuits/ 004.312.46 Ланцюги управління для математичних операцій/Цепи управления для математических операций/Control circuit for mathematical operations/ 004.312.466 Логіка мікропрограмного керування/Логика микропрограммного управления/Microprogram control logic
logo logo logo logo

Контакти

Національний аерокосмічний університет
Україна, м. Харків, 61070
вул. Вадима Манька, 17

(057) 788-42-24, (057) 788-46-10
[email protected]

Про бібліотеку

  • Історія бібліотеки
  • Бібліотека сьогодні
  • Структура бібліотеки. Графік роботи.
  • Правила користування науково-технічною бібліотекою

Ресурси

  • Електронний каталог
  • Онлайн-ресурси локального доступу
  • Онлайн-ресурси вільного доступу

Підпишіться

на розсилку наших новин

2025 © Науково-технічна бібліотека ХАІ

Задати питання
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом 3 днів (в зависмости від складності запиту).

Надіслати
Замовити частина документа (книгу)
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом тижня (в зависмости від складності запиту).

Відомості про замовника

Відомості про книгу


Надіслати
Замовити статтю з журналу / збірника
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом тижня (в зависмости від складності запиту).

Відомості про замовника

Відомості про статтю з журналу / збірника


Надіслати