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

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

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

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

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

На конференцию было представлено 152 доклада из 14 стран (Украины, Великобритании, Германии, Российской Федерации, Финляндии, Чехии и др.). В работе конференции приняли участие более 160 человек.

За время работы конференции было проведено 6 пленарных заседаний (11 докладов) и 23 заседания в 8 секциях:

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

В работе конференции приняли участие представители ведущих университетов, предприятий и организаций, занимающихся вопросами исследования, разработки, производства и применения высоконадежных и безопасных компьютерных систем и технологий в атомной энергетике, аэрокосмической отрасли, телекоммуникациях, медицине, других отраслях, известные учёные, среди которых 3 Заслуженных деятеля науки и техники Украины, 4 Заслуженных изобретателя Украины и России, 2 Заслуженных машиностроителя Украины, 4 Лауреата Государственной премии Украины, Почётный радист СССР, академики Национальной Академии Наук Украины, Российской Академии Естественных Наук, Российской Академии Военных Наук, Академии Наук Высшей Школы, Академии Наук Прикладной Радиоэлектроники, 28 докторов и профессоров, 65 кандидатов наук и доцентов, а также более 40 аспирантов и студентов.

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

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

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

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

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

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

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

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

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

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

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

Предпосылки

Обеспечение надежности компьютерных средств, систем и сервисов для критических (атомная энергетика, аэрокосмические системы, телекоммуникации) и бизнес-критических (банковские системы, е-коммерция) приложений является одной из наиболее важных научных и практических проблем в компьютерной и программной инженерии. На сегодняшний день недостаточно гарантировать надежность таких систем и сервисов, только обеспечивая безотказность программных и аппаратных компонентов. Эти компоненты, как правило, не имеют характеристик гарантоспособности (отказоустойчивости, информационной и функциональной безопасности и т. д.), достаточных для обеспечения требуемой гарантоспособности системы. Следовательно, один из ключевых подходов решения проблемы может основываться на парадигме "Гарантоспособные (надежные и безопасные) системы из ненадежных компонентов" (Dependable Systems out of Undependable Components - DSooUDC). Его реализация возможна в 3-х мерном пространстве P3-space (Products - Продукты, Processes - Процессы, Properties - Свойства), беря во внимание особенности среды, в которой осуществляется функционирование компьютерных систем и сетей и различных видов дефектов (дефектов разработки, физических дефектов и дефектов взаимодействия). Некоторые методы и технологии, основанные на DSooUDC парадигме, интенсивно разрабатываются и используются в критических и бизнес-критических системах и сервисах. Следовательно, важно обсудить эти проблемы и найти пути решения теоретических и практических проблем. В ходе конференции DESSERT-2008 мы планируем объединить усилия ученых, инженеров и других специалистов из Украины, стран СНГ и других стран и провести дискуссию, направленную на решение методологических и технических проблем оценки и обеспечения гарантоспособности для различных приложений. Мы надеемся на успешное продолжение результатов конференции DESSERT-2007

Орг. взнос

Украина:
Граждане:	- 200 грн.
Аспиранты:	- 75 грн.
Студенты:	- 50 грн.
Россия:
Граждане:	- 1500 руб.
Аспиранты:	- 600 руб.
Студенты:	- 300 руб.
Иностранцы:
Граждане:	- 150 евро.
Аспиранты:	- 75 евро.
Студенты:	- 75 евро.

Реквизиты для оплаты участия:
ООО «Полтаваспецпроект»,  ул. Зеньковская, 36, г. Полтава, Украина, 36009 код ЄДРПОУ 33190522, р/р 26005710229970 ПОФ АКБ  «Укрсоцбанк» г. Полтавы, МФО 331014. Назначение платежа – «Организационный взнос за участие в конференции DeSSerT -2008». После перевода оргвзноса просьба сообщить номер квитанции об уплате по электронной почте два адреса: dessert@csac.khai.edu skifs2005@mail.ru
Перевод средств осуществляется за каждого приезжающего участника конференции. Просьба заранее планировать поездку и участие в реализации Программы конференции.
Для участников из стран СНГ оплата организационного взноса осуществляется на месте.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Координационный комитет конференции

Председатель	В. Харченко, доктор технических наук, профессор, Национальный Аэрокосмический Университет "ХАИ", Харьков, Украина
Сопредседатель	А. Сиора, кандидат технических наук, Научно-производственное предприятие "Радий", Кировоград, Украина
	О. Одарущенко, кандидат технических наук, доцент, Полтавский Национальный Технический Университет им. Юрия Кондратюка, Украина
	В. Тарасенко, доктор технических наук, профессор, Украинский Национальный Технический Университет «КПИ», Украинская секция "Ukraine-IEEE", Киев, Украина
	В. Хассельбринг, доктор философии, профессор, Университет г.Ольденбурга, Германия
	М. Каравай, доктор технических наук, профессор, Институт проблем управления, Российская Академия Наук, Москва, Россия
	А. Романовский, доктор философии, профессор, Университет г.Ньюкасла, Великобритания

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

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