Масштабируемые диверсные технологии для критических приложений COURSE PC2 Scalable diversity-based technologies for safety-critical applications TEMPUS-SAFEGUARD.

Презентация:



Advertisements
Похожие презентации
Formal Methods- based Technologies for Safeware COURSE PC1 EU Tempus project TEMPUS-UK-TEMPUS-JPCR National Safeware Engineering Network of Centres.
Advertisements

Electrical Engineering Faculty Information Technologies and Computer-Aided Systems Department Basic professional educational programs of higher education.
A Brief Introduction to ISO standards Краткое введение к стандартам ISO Bureau Véritas Quality International Бюро Веритас Кволити Интернешнл.
EGEE is a project funded by the European Union under contract IST Introduction to the content and aims of EGEE course Yu.Ryabov (PNPI, Gatchina,
Copyright Dassault Systèmes – 2009 – All rights reserved – Internal use only – "DS confidential" Кзавье Бази Руководитель группы решений для энергетики.
4-Jun-07www.terminal.kz Keeping skills personal under turnover Charter I: History and the structure of the Company Charter I: History and the structure.
By Dr. Steven Williams Family Therapy: Basic Theory.
Профессиональная подготовка программистов в рамках специальностей и направлений государственных образовательных стандартов С.А. Ивановский, А.Р. Лисс,
Иван Никитин директор программ CICED 11 октября 2012, Екатеринбург Российская программа помощи развитию в области образования (READ):
Table of Contents Содержание Safety Management System Characteristics Понятие Системы управления безопасностью полетов Key Processes Ключевые процессы.
Использование геологической информации в управлении городской средой для предотвращения экологических рисков (ГеоИнфорМ): цели, задачи, структура Integrating.
Департамент по транспортировке, подземному хранению и использованию газа 1 С.В. Алимов Первый заместитель начальника Департамента по транспортировке, подземному.
1 Современные подходы к разработке инструментов педагогической оценки в форме национальных экзаменов и мониторинга качества образования Марек Легутко.
Information Software Systems Бизнес Предложения Сервисы в области обеспечения качества 1.Проверка требований к разработке продуктов.
PHP архитектор – кто он? Олег Ридченко Intetics. О чем пойдет речь? Junior SE Architect Основные качества архитектора с точки зрения бизнеса Оценка соответствие.
Санкт-Петербург, Российская Федерация St. Petersburg, Russian Federation 2010 ООО «ФОРС Технолоджи Русланд» FORCE Technology Rusland LLC.
Оливье Джиакомони «Опыт совместного создания высокотехнологичных систем транспортного машиностроения» Olivier Giacomoni «Experience in joint development.
TASK 1 Write words for the things in the picture in the correct part of the table. [ ]
The methods and ways of ethnolinguistics EL studies as a part of external linguistics the interrelation between language and culture. The society can be.
Разработка рамки компетенций День 2 Вторник 21 мая 2013 Казань Лектор: Шалхарова Ж.С.
Транксрипт:

Масштабируемые диверсные технологии для критических приложений 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