Skip to Content

СТРАТЕГІЯ:

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

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

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

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

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

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

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

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

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

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


Передумови

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

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

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

PC1- Formal methods-based technologies for safeware

Responsible: Dr O.Tarasyuk  - National Aerospace University "KhAI", Kharkov (UA)

Brief Contents: 

PCM1.1 Analysis of advanced formal methods for safeware engineering (classification of formal methods and systems; base formal notations analysis; application areas of advanced formal methods)

PCM1.2 Formal methods-oriented technologies of development (B and Event B notation-based methods; VDF notation; use of formal methods for different critical applications)

PCM1.3 Formal methods-oriented quality assurance technologies (model-checking approach; formal methods of verification; formal methods of reliability and criticality assessment formal methods of quality processes assessment and assurance)

PCM1.4 Integrated application of formal methods in critical systems (review of formal methods application in critical systems; compatibility of advanced formal methods and classical techniques).