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;...
MC5 - Distributed critical systems and infra-structures
Responsible: Prof A. Skatkov - Sevastopol National Technical University, Sevastopol (UA) Brief Contents: MCM5.1 Foundations of "system of systems" engineering (concept of "system of systems"; critical networks and IT- infrastructures; principles of...
MC4 - Service-oriented business-critical systems and technologies
Responsible: Dr A. Gorbenko - National Aerospace University "KhAI", Kharkov (UA) Brief Contents: MCM4.1 Service-oriented architecture (SOA) and architecting (concept of SOA and SOA-based systems; application of SOA in business-critical systems;...
MC3 - Co-design of safety-critical embedded systems
Responsible: Prof. A. Drozd - Odessa National Polytechnic University, Odessa (UA) Brief Contents: MCM3.1 Component-base approach in safety-critical embedded systems development (concept component-based approach and features of its application in...
MC2 - High availability systems and technologies
Responsible: Dr O. Odaruschenko - Poltava National Technical University, Poltava (UA) Brief Contents: MCM2.1 Foundations of high availability systems (concept of high availability systems; high availability level (HAL)-scale; HA-, CA- and GA-...
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,...
TM3 - Safety-case tools and innovative technologies of application
Responsible: Dr V. Sklyar - National Aerospace University "KhAI", Kharkov (UA) Brief Contents: Comparative tools analysis; Techniques of tools selection and adaptation; Development and application of tools; Documentation processes. ...
TM2 - Safety-case-oriented system measurement and data analysis
Responsible: Prof O. Pomorova - Khmelnitskiy National University, Khmelnitskiy (UA) Brief Contents: Measurement and normalization of initial data; Process profiling of metrics; Assessment procedures and techniques
TM1 - Safety-case-oriented systems requirement analysis
Responsible: A. Andrashov - National Aerospace University "KhAI", Kharkov (UA) Brief Contents: Foundations of safety-case methodology; International standards on safety critical systems; Functional and non-functional...
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...
