Skip to Content

СТРАТЕГІЯ:

Від критичного комп'ютингу до критичних ІТ інфраструктур

РІВНІ ОСВІТИ:

  • Магістратура
  • Аспірантура
  • Підвищення кваліфікації

МЕТОДОЛОГІЯ:

Від розробки курсів до розробки технологій та інструментальних засобів

ЦІЛЬОВІ ГАЛУЗІ:

Від аерокосмічної інженерії до критичного комп'ютингу в цілому (АЕС, Банкінг й т.п.)

ПАРТНЕРСТВО:

Вчених, університетів, дослідних інститутів, індустріальних партнерів (UA та EU)

«National Safeware Engineering Network of Centres of Innovative Academia-Industry Handshaking»


Передумови

Зростаюча актуальність проблем зниження ризиків відмов критичних об'єктів та інфраструктур до прийнятного рівня призвела до появи терміну safeware (дослівно - «забезпечення безвідмовності»). У науковотехнічному співтоваристві сформувався спеціальний напрямок в інженерії, який може бути названий safeware engineering. Життєво важливі й безпрецедентні за складністю проблеми в цій галузі є одними з найбільш значущих викликів і вимагають спільних зусиль фахівців в області критичних систем, інформаційних технологій та менеджменту.

Докладніше...
 

Новини та події

« Повернутися

MC1- Safeware engineering foundations

Responsible: Prof V. Kharchenko  - National Aerospace University "KhAI", Kharkov (UA)

Brief Contents: 

MCM1.1 Foundations of system safety (the nature of risk in modern society; safety critical areas; human errors and risk; basic definitions, models, measures; risk analysis foundations; elements of comparativistic analysis)

MCM1.2 Safeware analysis program (hazard analysis models and techniques; requirement analysis; hardware, software, human-based components hazard analysis; comparative safety systems analysis: NPP instrumentation and control systems; on-board aerospace systems, medical information-analytical systems, etc)

MCM1.3 Safeware design program (design processes for safety; design of human-machine interface; design modification and maintenance; methods of hazard and damage reduction; managing safety; safety culture)

MCM1.4 Safeware verification program (static and dynamical analysis; independent verification and validation).