На английском

Решение конференции

22 – 25 апреля 2009 года в г. Кировограде на базе научно-производственного предприятия "Радий" проведена 4–я Международная научно-техническая конференция «Гарантоспособные (надежные и безопасные) системы, сервисы и технологии» (“DEpendable Systems, SERvices and Technologies”, DESSERT 2009 http://www.stc-dessert.com/conf2009).

Организаторы конференции:

• Национальный аэрокосмический университет «ХАИ»;
• НПП ”Радий”;
• Полтавский национальный технический университет им. Юрия Кондратюка;
• Институт проблем регистрации информации Национальной академии наук Украины;
• Секция «Украина – IEEE».

На конференцию было представлено 162 доклада. В ее подготовке и проведении приняли участие более 300 человек из 18 стран (Украины, Австрии, Великобритании, Германии, Норвегии, Российской Федерации, США, Финляндии и др.).

За время работы конференции было проведено:

• Гарантоспособные распределенные системы и сервисы;
• Отказоустойчивые системы и технологии;
• Функциональная безопасность и живучесть;
• Информационная безопасность;
• Системы контроля и диагностирования;
• Надежность программных средств и систем;
• Надежность технических средств и систем;
• Реконфигурируемые вычисления и программируемые системы;
• Телекоммуникационные средства и системы;

• Адаптивные реконфигурируемые вычисления;
• Гарантоспособность критических ІТ-структур;

• Критический компьютинг: проект TEMPUS-MASTAC.

В работе конференции (подготовке, презентации и обсуждении докладов) приняли участие представители ведущих университетов, предприятий и организаций, занимающихся вопросами исследования, разработки, производства и применения высоконадежных и безопасных компьютерных систем и технологий в атомной энергетике, аэрокосмической отрасли, телекоммуникациях, медицине, других отраслях, известные учёные, среди которых:

В процессе конференции обсуждены результаты исследований и разработок, связанных с анализом, моделированием, проектированием, тестированием, верификацией и валидацией, экспертизой, эксплуатацией и защитой компьютерных и телекоммуникационных систем и сетей, вэб-сервисов, инфраструктур для критических (АЭС, авиации, космоса, медицины, транспорта и др.), бизнес-критических (банковские системы, телекоммуникационные сети, e-коммерция и др.) и коммерческих приложений с повышенными требованиями к гарантоспособности (безотказности, готовности, функциональной безопасности, целостности, конфиденциальности, живучести). Рассмотрен вопросы подготовки магистров и кандидатов наук в области критического компьютинга.

Конференция способствовала пропаганде новых научных знаний и технологий, привлечению в науку и высокотехнологическое производство молодых кадров.

По материалам представленных докладов изданы 3 номера Всеукраинского научно-технического журнала "Радіоелектронні та комп'ютерні системи" (2009, №№5-7), научно-популярный журнал "Інформаційні інфраструктури і технології" (2009, №1).

Отмечено, что за год после предыдущей конференции достигнуты следующие результаты:

• разработан и прошел экспертизу отраслевой стандарт НКАУ «Гарантоздатність програмно-технічних комплексів космічних систем»;
• изданы 2 национальных стандарта: ДСТУ IEC 60880: 2008. Атомні електростанції. Інформаційні та керуючі системи, важливі для безпеки. Програмні аспекти комп’ютерних систем, виконуючих функції категорії А; ДСТУ ІЕС 62138. Атомні електростанції. Інформаційні та керуючі системи, важливі для безпеки. Програмні аспекти комп’ютерних систем, виконуючих функції категорії В і С;
• сформировалось и начало работу в Международной Академии наук прикладной радиоэлектроники Отделение «Гарантоспособных систем и технологий»;
• успешно завершается международный проект TEMPUS-MASTAC по подготовке магистров и докторов наук по критическому компьютингу;
• получила дальнейшее развитие платформа RADIY, обеспечивающая разработку FPGA-ориентированных решений, масштабируемых по функциональности, отказоустойчивости и диверсности, создание и внедрение в Украине и за рубежом информационно-управляющих систем, важных для безопасности АЭС;
• разработаны и внедряются отказоустойчивые решения для встроенных авиационных, космических и других систем на основе комплексирования микропроцессорных и FPGA-технологий, использования технологий «System-on-Chip», «Network-on-Chip», «System-in-Package», создания средств верификации сложных проектов на программируемой логике;
• укрепились международные контакты участников конференций DESSERT посредством подготовки и представления совместных проектов, финансируемых европейскими структурами (программы FP7, TEMPUS, EUREKA и т.п.), участия в международных исследовательских ассоциациях (ERCIM-SERENE) и др.

Участники конференции считают необходимым:

1. Продолжить исследования, направленные на развитие методологии и технологий создания гарантоспособных компьютеризированных систем, встроенных отказоустойчивых систем на основе технологий «SоC», «NoC», «SiP», методов принятия решений, связанных с обеспечением функциональной и информационной безопасности критических инфраструктур, а также технологий, поддерживающих процессы проектирования, верификации и эксплуатации таких систем для атомной энергетики, авиационной и ракетно-космической техники, медицины, транспорта и др. и обеспечивающих требуемый уровень надежности и безопасности.
2. Перспективными направлениями являются исследования в следующих областях.

• Методологические аспекты теории и практики гарантоспособных (надежных и безопасных) систем. Методология и принципы гарантоспособности как комплексного свойства компьютерных и телекоммуникационных систем и сетей. Разработка гарантоспособных систем и инфраструктур из недостаточно гарантоспособных компонент. Компонентно-ориентированный подход к разработке систем и «систем из систем». Методы и технологии комплексной оценки гарантоспособности в условиях действия внутренних и внешних факторов. Стратегия и методы управления гарантоспособностью по информационно-техническому состоянию.
• Эволюционирующие и гарантоспособные системы. Таксономия эволюционирующих систем и гарантоспособных вычислений. Факторы «мягкой» эволюции и «эволюции реального времени». Архитектурирование эволюционирующих систем. Принципы, методы и технологии обеспечения «эволюции реального времени» в условиях изменения требований к функциональности и гарантоспособности, факторов внешней среды.
• Отказоустойчивые системы и технологии для обеспечения гарантоспособности. Методы и средства прогнозирования, предотвращения, определения, локализации, маскирования, устранения ошибок, вызванных физическими и проектными дефектами, дефектами взаимодействия. Операционный цикл отказоустойчивости и устойчивости к факторам эволюции. Динамическая (пассивная и активная) отказоустойчивость.
• Гарантоспособность сервис-ориентированных систем и параллельных вычислений. Разработка и внедрение вертикально и горизонтально интегрируемых web-сервисов (e-коммерция, e-обучение, e-наука, е-медицина) и GRID-систем. Методы и технологии достоверных web-измерений. Мониторинг и оценка гарантоспособности композитных web-сервисов. Организация параллельных вычислений на основе динамически перестраиваемых отказоустойчивых архитектур, разработка математического и программного обеспечения для гарантоспособности GRID и Clouding компьютинга.
• Гарантоспособность критических ІТ-инфраструктур. Системный анализ критических инфраструктур и технологий, анализ и минимизация рисков, оптимизационные модели и алгоритмы при исследовании систем, визуализация процессов принятия решений при обеспечении безопасности критических систем на различных стадиях жизненного цикла, информационные технологии поддержки функционирования критических инфраструктур. Гарантспособные информационно-аналитические системы на основе принципов динамически кластеризации.
• Надежные кристаллы и реконфигурируемые вычисления на программируемой логике. Анализ рисков FPGA, CPLD и ASIC-технологий, а также различных технологий организации памяти (antifuse, flash, SRAM). Вертикально интегрируемые механизмы обеспечения гарантоспособности в ПЛИС. Естественно надежные логические базисы и кристаллы (кристальный, канальный и логический уровни, физический уровень - уровень нанотехнологий). Адаптивные вычисления и динамически реконфигурируемые системы. Методы разработки и верификации гарантоспособных систем на программируемой логике. Методы и технологии, уменьшающие «зоны» (gaps) неполностью верифицируемых решений.
• Надежность и качество программных компонент и систем. Методы профилирования и оценки качества стандартов критической программной инженерии. Разработка и комплексирование моделей надежности программных средств, метрических и вероятностных методов оценки на разных этапах жизненного цикла ПО. Model-checking подход и методы повышения рентабельности (по критерию «достоверность-затраты») оценки качества, надежности и безопасности. Методы минимизации рисков применения коммерческих (COTS) и ранее разработанных компонент в критических приложениях. Модели и методы оценки надежности программных средств с учетом повторных (вносимых) дефектов.
• Многоверсионные вычисления и технологии. Эволюция принципа диверсности, сравнительный анализ опыта его применения в различных областях. Таксономия многоверсионных вычислений. Типы версионной избыточности и модели многоверсионного жизненного цикла. Системы с информационно-версионной избыточностью на основе диверсности систем счисления. Метрики диверсности и методы оценки многоверсионных систем. Масштабирование диверсности для различных приложений. Методы оптимального проектирования многоверсионных систем по критерию «диверсность-надежность-стоимость».
• Контроль, тестирование, диагностирование и верификация. Новые парадигмы и математические методы диагностирования сложных систем и инфраструктур. Интеллектуальные системы диагностирования. Управление и диагностирование сложных динамических систем. Методы и средства моделирования, обнаружения, локализации физических дефектов (аппаратных компонент), дефектов процесса разработки (программных средств) и дефектов взаимодействия, обусловленных негативными воздействиями внешней среды разной природы. Формальные методы верификации программ.
• Функциональная безопасность. Риск-ориентированный подход и унифицированные процедуры анализа функциональной безопасности. Таксономия рисков, опасностей, активов и эшелонов защиты. Интеграция аспектов функциональной и информационной безопасности критических объектов. Модели функционально безопасных систем. Методы комплексирования FME(C)A, FTA, HAZOP и др. технологий для оценки критичности сложных систем. Разработка методологии Safety case и инструментальных средств ее реализации на различных этапах жизненного цикла систем.
• Живучесть компьютерных систем и сетей. Живучесть систем и инфраструктур в условиях внешних воздействий. Модели физических и информационных воздействий и управляемой деградации. Методы обеспечения живучести социотехнических систем. Технологии многоступенчатой деградации и восстановления.
• Информационная безопасность компьютерных систем, сетей и сервисов. Методы и технологии обеспечения информационной безопасности для критических и бизнес-критических приложений. Унифицированные программно-аппаратные средства обеспечения целостности, конфиденциальности, неопровержимости. Уязвимости программных компонент и SCADA систем, методы их оценки и учета при создании гарантоспособных систем. Принципы динамической реконфигурации для обеспечения устойчивости систем к вторжениям.
• Телекоммуникационные системы и средства. Методы оценки и обеспечения пропускной способности, помехоустойчивости, надежности и безопасности. Технологии интегрированных сетей и услуг. Методы обеспечения гарантоспособности мобильных телекоммуникаций. Адаптация технологий беспроводных телекоммуникационных сетей для критических приложений. Моделирование, анализ и разработка технологий оценки и обеспечения живучести (катастрофоустойчивости) корпоративных и глобальных компьютерных сетей.

3. Продолжить разработку и гармонизацию с международной нормативной базой национальных стандартов, регламентирующих процессы создания, испытания, экспертизы и применения гарантоспособных компьютеризированных систем для критических и бизнес-критических приложений.

4. Рекомендовать открытие специализации по критическому компьютингу для подготовки магистров на базе кафедры компьютерных систем и сетей Национального аэрокосмического университета «ХАИ».

5. Представить на сайте конференции итоги ее проведения. Одобрить работу международного DESSERT-клуба и интенсифицировать обмен информацией на его сайте между проведением конференций.

6. Координационной группе продолжить практику организации в рамках конференции мини-выставок, презентаций книг, целевых рабочих встреч – семинаров по актуальным вопросам ее тематики, проблемам использования современных технологий, ПЛИС-технологий в атомной энергетике, других критических областях.

7. Координационной группе интенсифицировать работу по публикации докладов в рейтинговых международных изданиях (IEEE и др.).

8. Координационному Комитету рассмотреть возможность проведения очередной конференции в 2010 году.

9. Участники конференции выражают глубокую и искреннюю благодарность организаторам конференции и дирекции НПП ”Радий” за предоставленные возможности для обмена мнениями и публикации научных результатов, безупречную организацию, проявленное внимание и гостеприимство.

Уважаемые коллеги, приглашаем ВАС принять участие в работе четвертой международной научно-технической конференции «Гарантоспособные (отказоустойчивые и безопасные) системы, сервисы и технологии» DeSSerT’09, которая будет проходить 22-25 апреля 2009г. в городе Кировоград, Украина.

Орг. взнос

Украина:	- 250 грн.
Аспиранты:	- 125 грн.
Студенты:	- 75 грн.
Россия:	- 1500 руб.
Аспиранты:	- 750 руб.
Студенты:	- 500 руб.
Иностранцы:	- 200 евро.
Аспиранты:	- 100 евро.
Студенты:	- 75 евро.

Реквизиты для оплаты участия:
ЧП Ковальчук Анна Владиславовна,  ул. Безвирницкая, д.15, кв. 1 г. Полтава, Украина, 36015 Р/сч. 26000060308695 , МФО 331401,номер ДРФО 3175811223,   Полтавское ГРУ, ПриватБанк . Назначение платежа – «Организационный взнос за участие в конференции DeSSerT -2009». После перевода оргвзноса просьба сообщить номер квитанции об уплате по электронной почте на два адреса: dessert@csac.khai.edu Annakovalchuk86@rambler.ru
Перевод средств осуществляется за каждого приезжающего участника конференции. Просьба заранее планировать поездку и участие в реализации Программы конференции.
Для участников из стран СНГ оплата организационного взноса осуществляется на месте.

Обсуждаемые вопросы

Проблематика конференции включает (но не ограничивается) следующие направления:

• Методологические аспекты теории и практики гарантоспособных (надежных и безопасных) систем. Таксономии гарантоспособности как целостное свойство компьютерных и телекоммуникационных систем и сетей. Аспекты разработки гарантоспособных систем из негарантоспособных компонентов. Компонентно-ориентированный подход к разработке.
• Анализ и оценка гарантоспособности. Гарантоспособность и критерии ее оценки, метрики. Взаимосвязь критериев оценки. Анализ взаимосвязи между критериями гарантоспособности. Инструментальные средства и методики.
• Отказоустойчивость как основной принцип обеспечения гарантоспособности. Методы и техники прогнозирования, предотвращения, определения, локализации, маскирования (устойчивости), устранения ошибок. Оценка и обеспечение отказоустойчивости VLSI-архитектур (микропроцессорных систем, ПЛИС, систолических матриц и т. д.) и встроенных систем реального времени. Моделирование, анализ и разработка технологий отказоустойчивости и катастрофоустойчивости локальных, корпоративных и глобальных компьютерных сетей.
• Гарантоспособность сервис-ориентированных систем и архитектур. Разработка и внедрение надежных вэб-сервисов (e-коммерция, e-обучения, e-наука и т. п.) и GRID-технологий. Мониторинг и оценка гарантоспособности композитных веб-сервисов (управление исключениями, временной анализ, оценка надежности и работоспособности и т. п.). Надежность систем добычи данных. Методы моделирования, оценки и улучшения надежности различных инфраструктур.
• Надежность программных компонентов и сложных программных систем. Развитие моделей надежности программного обеспечения и вероятностных методов оценки. Методы метрической оценки. Рентабельная (по критерию «достоверность-затраты») оценка качества и надежности. Методы и средства моделирования, оценки надежности и технологий проектирования отказоустойчивого программного обеспечения.
• Надежность человеко-машинных систем. Моделирование, оценка и разработка человеко-машинных систем критического применения (авиация, атомная энергетика).
• Многоверсионные технологии, системы и проекты. Требования международных и национальных стандартов относительно использования диверсности в различных приложениях. Типы версионной избыточности и модели многоверсионного программного обеспечения и жизненного цикла систем. Метрики диверсности и методы оценки многоверсионных систем. Опыт разработки и применения многоверсионного программного обеспечения. Оптимальное резервирование при разнотипных компонентах.
• Контроль, тестирование, диагностирование и верификация компонентов, компьютерных систем, сетей и технологий. Методы и средства моделирования, обнаружения, локализации физических дефектов (аппаратных компонент), дефектов процесса разработки (программных средств) и дефектов взаимодействия, обусловленных воздействиями внешней среды разной природы. Формальные методы верификации программ.
• Функциональная безопасность. компьютерных систем атомных станций, аэрокосмических систем и других критических систем. Таксономия, методы и техники оценки и обеспечения функциональной безопасности.
• Информационная безопасность компьютерных систем, сетей и сервисов. Проблемы развития и использования современных методов и технологий обеспечения информационной безопасности для критических и бизнес-критических приложений. Устойчивость систем к вторжениям.

Публикации материалов

Полные тексты докладов (статей), отобранные Программным комитетом, прошедшие рецензирование и оформленные в соответствии с требованиями, будут опубликованы к началу конференции в специальных номерах журнала "Радиоэлектронные и компьютерные системы", издаваемого Национальным аэрокосмическим университетом "ХАИ" и входящего в перечень ВАК. Включение в программу конференции и публикация в журнале осуществляется после рецензирования и подтверждения безусловного выступления на конференции.

Ключевые даты

Декабрь 8, 2008	Начало регистрации.
Январь 19, 2009	Принятие полных текстов докладов (статей). Продлен до 3-го февраля 2009
Февраль 16, 2009	Оповещение о включении в программу конференции и подготовка докладов (статей) к печати.
Март 9, 2009	Регистрация и оплата организационного взноса.
Апрель 8, 2009	Рассылка приглашений и программы конференции.
Апрель 22 - 25, 2009	Конференция.

Рабочие языки конференции

Английский, Украинский, Русский.

Требования к оформлению материалов для журнала(загрузить требования)

Регистрация участников конференции

Существует два способа регистрации участников конференции:

• Заполнение регистрационной формы на web-сайте (http://www.stc-dessert.com/conf2009);
• Отправка e-mail по следующему адресу: dessert@csac.khai.edu
• E-mail должен содержать следующую информацию об участнике конференции:
• 1. ФИО.
• 2. Должность, ученая степень.
• 3. Организация, учреждение, предприятие.
• 4. Телефон/факс.
• 5. Почтовый адрес.
• 6. E-mail.
• 7. Участие с/без докладом.
• 8. Планируемая тема доклада (включая ключевые слова и предварительную аннотацию).
• 9. Проживание (одноместный, двухместный, без проживания).

Доклады (статьи) должны быть отправлены по почте: Национальный Аэрокосмический Университет "ХАИ", Кафедра компьютерных систем и сетей (503), DESSERT-2009 Координационный комитет, ул. Чкалова, 17, Харьков, Украина, 61070. и по e-mail: dessert@csac.khai.edu

Общая информация

Для более детальной информации о конференции обращаться:
Национальный Аэрокосмический Университет "ХАИ", Кафедра компьютерных систем и сетей (503), заведующий кафедрой, профессор Харченко Вячеслав Сергеевич.
Адрес: ул. Чкалова, 17, Харьков, Украина, 61070.
Телефон.: +380 57 7074503, +38 057 7074356
Факс: +380 57 7074503
E-mail: V.Kharchenko@khai.edu, V_S_Kharchenko@ukr.net