Масштабируемые диверсные технологии для критических приложений COURSE PC2 Scalable diversity-based technologies for safety-critical applications TEMPUS-SAFEGUARD PROJECT A.Volkovoy, V.Duzhiy
Общая информация о курсе Необходимые условия (Prerequisites) Теория проектирования систем Теория надежности компьютерных систем Теория обеспечения и оценки качества программных систем Объект изучения (Object of Study) Концепция построения высоконадежных систем для критических приложений с использованием многоверсионных технологий и принципа доверенности Предмет изучения (Subject of Study) Принципы, методы и средства разработки и оценки систем с использованием принципа многоверсионности (доверенности) Цели (Aims) Обзор подходов и типовых решений по обеспечению гарант о способности и безопасности критических систем Scalable diversity-based technologies for safety-critical applications
Course structure Module 1. Requirements to application of diversity in safety-critical systems Module 2. Project decisions for multi-version systems Module 3. Technologies of diversity-based safety-critical systems development Module 4. Technologies of multi-version systems assessment and verification Scalable diversity-based technologies for safety-critical applications
Module 1. Requirements to application of diversity in safety-critical systems Conception of diversity in engineering systems. Requirements of international standards (IAEA, ECSS, SENELEC, etc) to application of diversity. Limitations of diversity application Taxonomy of diversity Experience of diversity application in different safety-critical systems Scalable diversity-based technologies for safety-critical applications
Module 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 Scalable diversity-based technologies for safety-critical applications
Module 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 Scalable diversity-based technologies for safety-critical applications
Module 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 Scalable diversity-based technologies for safety-critical applications
Practice part of the course Scalable diversity-based technologies for safety-critical applications Module#Topic 1Seminar 1Analysis of the history and causes of accidents in various critical application fields (nuclear energy, aerospace, railway, military and defence systems) Seminar 2Analysis of normative base and regulatory requirements for using diversity and redundancy principles in various critical application fields 2Lab 1Analysis (identification and classification) of diversity types for redundant systems 3Lab 2Expert evaluation of volume and effectiveness of diversity in design of redundant digital systems 4Lab 3Using quality attributes and metrics of versions for indirect assessment of multi-version software based systems Lab 4Direct diversity assessment based on historical data of system verification