Skip to Content

СТРАТЕГІЯ:

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

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

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

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

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

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

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

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

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

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


Передумови

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

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

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

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

PC2 - Scalable diversity-based technologies for safety-critical applications

Responsible: Dr A. Volkoviy  - National Aerospace University "KhAI", Kharkov (UA)

Brief Contents: 

PCM2.1 Requirements to application of diversity in safety-critical systems (requirements of international standards (IAEA, ECSS, SENELEC, etc) to application of diversity; concepts and limitations of diversity application; taxonomy of diversity; experience of diversity application in different safety-critical systems)

PCM2.2 Project decisions for multi-version systems (evolution of multi-version systems designing; architectures of multi-version software- and FPGA-based systems; systems with multi-version redundancy)

PCM2.3 Technologies of diversity-based safety-critical systems development (features of diversity-based development for different safety-critical applications; generation and selection of versions for software- and FPGA-based systems; techniques of multi-version safety-critical systems development and integration)

PCM2.4 Technologies of multi-version systems assessment and verification (problems of diversity assessment; sources of data for diversity assessment; expert, metrics and probabilistic methods of assessment diversity and multi-version systems; tools and technologies of multi-version systems verification).