Skip to Content

СТРАТЕГИЯ:

От критического компьютинга до критических ИТ инфраструктур

УРОВНИ ОБРАЗОВАНИЯ:

  • Магистратура
  • Аспирантура
  • Повышение квалификации

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

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

ОТРАСЛИ:

От аэрокосмической инженерии до критического компьютинга в целом (АЭС, Банкинг и т.п.)

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

Ученых, универси-тетов, исследова-тельских институтов, индустриальных пар-тнеров (UA и EU)

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


Предпосылки

Растущая актуальность проблем снижения рисков отказов критических объектов и инфраструктур до приемлемого уровня привела к появлению термина safeware (дословно – «обеспечение безотказности»). В научнотехническом сообществе сформировалось специальное направление в инженерии, которое может быть названо safeware engineering. Жизненно важные и беспрецедентные по сложности проблемы в этой области являются одними из наиболее значимых вызовов и требуют совместных усилий специалистов в области критических систем, информационных технологий и менеджмента.

Стратегические задачи проекта Tempus SAFEGUARD

  • разработка учебных курсов для подготовки высококвалифицированных специалистов и преподавательских кадров в области 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).