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

Организационный взнос

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

• 150 гривен для граждан Украины и СНГ;
• 75 гривен для студентов и аспирантов Украины и СНГ;
• 100 евро для участников из других стран.

Предпосылки

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

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

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

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

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

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

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

Окончательные сроки

Февраль 20, 2007	Принятие полных текстов докладов (статей).
Март 5, 2007	Оповещение о включении в программу конференции и подготовка докладов (статей) к печати.
Март 19, 2007	Получение финальных версий докладов (статей). Регистрация и оплата организационного взноса.
Март 26, 2007	Рассылка приглашений и программы конференции.
Апрель 24 - 27, 2007	Конференция.

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

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

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

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

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

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

Доклады (статьи) должны быть отправлены по почте: Национальный Аэрокосмический Университет "ХАИ", Кафедра компьютерных систем и сетей (503), DESSERT-2007 Координационный комитет, ул. Чкалова, 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