Уважаемые участники конференции DESSERT-2008 и читатели журнала! Вашему вниманию предлагается короткий очерк о конференциях, посвященных проблемам гарантоспособности компьютерных систем (гарантоспособного компьютинга) и проводимых по тематике, подобной конференции DESSERT.

Приступая к этой работе и имея предварительную информацию, мы не думали, однако, сколь не просто большим, а поистине гигантским является сообщество близких нам конференций, связанных с гарантоспособностью. Чтобы охарактеризовать их, необходимо провести достаточно серьезные и длительные исследования. Это объясняется тем, что общее число конференций по различным аспектам гарантоспособности очень велико, а перечень обсуждаемых проблем растет день ото дня. Поэтому мы решили предложить вам результаты предварительного анализа и представить короткую информацию о наиболее известных и близких к нашей конференции по тематике, где термины «гарантоспособность» (“dependability”) или «гарантоспособные системы (вычисления)» («dependable systems (computing)») являются обязательными и ключевыми в наименовании конференции.

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

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

Нами в качестве основного выбран признак масштабности конференции как один из наиболее значимых и простых для анализа. Далее ограничимся рассмотрением форумов мирового, континентального и регионального уровней. Следует заметить, что термины «форум» и «конференция» используются нами как слова-синонимы.

Общепризнанный первый (и, единственный) номер в списке мировых форумов по гарантоспособности - DSN Conference (Dependable Systems and Networks, http://dsn.org). Конференции DSN приняли эстафету от знаменитой конференции FTCS (Fault Tolerant Computing Systems). 29-я (http://www.crhc.uiuc.edu/FTCS-29) и 30-я конференции FTCS и встроенная рабочая встреча DCCA-8 (Working Conference on Dependable Computing for Critical Applications) (http://2000.dsn.org) преобразовались в конференции DSN-2000 и DSN-2001.

Одним из фундаторов конференций FTCS и DSN, по праву, считается профессор Algirdas Avizienis (http://www.cs.ucla.edu/csd/people/faculty_pages/avizienis.html), который сейчас вернулся из США на родину и работает в Каунасском техническом университете (Литва).

Очередной форум (The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (http://www.ece.cmu.edu/~koopman/dsn08/) запланирован на 24-28 июня 2008 г. (Анкоридж, Аляска, США). Организатор - Carnegie Mellon University, USA. Основная тематика конференции: архитектура гарантоспособных вычислительных систем; анализ и измерение гарантоспособности; отказоустойчивость распределенных вычислений; отказоустойчивость мобильных, специализированных систем; гарантоспособность в электронной коммерции; гарантоспособность интернет-служб, качество обслуживания; моделирование и предсказание гарантоспособности; системы критичные для безопасности; надежность программного обеспечения; тестирование ПО.

Особенностью DSN является то, что в его рамках проводится несколько тематических самостоятельных рабочих встреч, которые также имеют свою историю. В качестве примера следует привести WADS (Workshop on Architecting Dependable Systems, http://www.cs.kent.ac.uk/events/conf/2008/wads), на которой основное внимание будет уделено гарантоспособным сервис-ориентированным архитектурам.

Первым в списке континентальных (европейских) форумов - EDCC (Europian Dependable Computing Conference). EDCC (http://www.informatik.uni-trier.de/~ley/db/conf/edcc/index.html)- преемник двух Европейских конференций по отказоустойчивости, надежности, диагностированию и испытаниям вычислительных систем.

Первая известна, как "Международная конференция по отказоустойчивым вычислительным системам". Организована и проводилась в 1982-91 годах. Другая - "Международная конференция по отказоустойчивым системам и диагностике" проводилась в 1975-90 годах в Чехословакии, Польше, Болгарии и ГДР.

EDCC проводится каждые 2 или 3 года в Европейских странах. EDCC-1 состоялась в Берлине (Германия) в октябре 1994 г., EDCC-2 в Тоурмине (Италия) в октябре 1996, EDCC-3 в Праге (Чешская Республика) в сентябре 1999 г. , EDCC-4 в Тулузе (Франция) в октябре 2002 г. и EDCC-5 в Будапеште (Венгрия) в апреле 2005г. EDCC-7 состоится 7-8 мая 2008 года в Каунасе (Литва), http://lsd.ls.fi.upm.es/lsd/events/7th-european-dependable-computing-conference-edcc/).

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

Следующий, из наиболее известных континентальных форумов (“Тихоокеанский DeSSeRt)” - PRDC Conference (Pacific Rim Dependable Computing) Начало серии форумов положено в 1989 году. Рассматриваемые вопросы посвящались отказоустойчивым вычислениям. В настоящее время PRDC признается как основной Тихоокеанский форум, объединяющий усилия ученых огромного по размерам региона, в сфере фундаментальных и практических исследований гарантоспособности вычислительных систем.

Местом проведения последнего форума в 2007 году был Deakin University (Австралия, http://www.deakin.edu.au/conferences/prdc2007/. Основная тематика следующая: аппаратная надежность и надежность ПО; измерение, моделирование и оценка надежности (гарантоспособности); критические для безопасности системы и программное обеспечение; устойчивые к дефектам вычислительные алгоритмы и протоколы обмена; инструментальные средства для проектирования и оценки надежности; гарантоспособность в приложении к вычислительным системам и телекоммуникациям; гарантоспособность распределенных и параллельных систем; гарантоспособность систем реального времени и систем диалоговой обработки запросов.

Основной южноамериканский форум LADC Conference (Latin American Dependable Computing). До настоящего времени проведено три форума. Первый проводился в октябре 2003 года в городе Сан-Пауло (Бразилия), второй - в октябре 2005 года в городе Сальвадор (Бразилия) и третий - в сентябре 2007 года в городе Морелия (Мексика, http://www.ati.es/article.php3?id_article=516). Форум объединяет усилия ученых и экспертов в области разработки и применения гарантоспособных вычислительных систем.

Среди форумов регионального уровня следует назвать DepCoS-RELCOM (Dependable Computer Systems, RELCOM - старая абревиатура), который проводится в соседней Польше. Эта конференция является «ровесником» нашего DESSERTа, хотя и имеет более давнюю историю, приняв эстафету от конференции RELCOM.

Начиная с 1977 года, организовано и проведено шесть международных конференций RELCOM и семь семинаров по микрокомпьютерной тематике (отганизатор - Институт компьютерной инженерии и кибернетики при Вроцлавском технологическом университете). Основные решаемые задачи – это объединение усилий ученых и научный обмен в области надежности (гарантоспособности) компьютерных систем. Тематика конференции: безопасное информационное общество; устойчивые к внешним воздействиям системы, методология и инструменты их разработки; оценка надежности программного обеспечения; анализ рисков, безопасность и гарантия качества; инструментальные программные средства для анализа надежности; безопасность технических систем, программного обеспечения; криптографические методы.

В 2007 году представители нашего DESSERT-сообщества - профессор Харченко В.С. и доцент Волковой А.В., ХАИ приняли участие в DepCos (http://depcos.pwr.wroc.pl/DepCoS2007PhotoGallery.htm). В 2008 году на эту конференцию (http://depcos.pwr.wroc.pl/) отобраны несколько докладов и планируется поездка более представительной делегации «дессертовцев», включая аспирантов и студентов.

Форумы, которые также непосредственно связаны с проблемами гарантоспособности, но не содержат этот термин в названии, образуют огромное сообщество специалистов и могут быть классифицированы по указанным выше признакам. Назовем только несколько, наиболее известных.

Одна из таких конференций - SAFECOM (International Conference on Computer Safety, Reliability and Security), насчитывающая почти 30-летнюю историю.

Проведение очередного 27-го форума запланировано на 22-25 сентября 2008 года в Ньюкасле (Великобритания, http://www.safecomp2008.org/ ).

Тематика форума: аспекты информационной безопасности; отказоустойчивые архитектуры вычислительных систем; оценка и обеспечение надежности (гарантоспособности); анализ деревьев дефектов; формальные методы и др.

Среди других конференций можно назвать ESREL (Europian Safety and Reliability Conference, http://www.esrel2008.com/), проводимую European Safety and Reliability Association (ESRA http://www.esrahomepage.org/), ARES – International Conference on Availabilty, Reliability and Security (http://www.ares-conference.eu/conf/) и многие другие.

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

Среди них можно указать сайт надежностников - математиков и инженеров, названный Гнеденко-форумом в честь и в память о Борисе Владимировиче Гнеденко (01.01.1912-27.12 1995) http://gnedenko-forum.org/, известнейшем ученом – основателе математической школы надежности.

Другим примером подобного сообщества является SCSC (Safety Critical Systems Club http://www.safety-club.org.uk/main.html?opt=About), объединяющий специалистов в области безопасных систем. Его председатель – профессор Ньюкаслского университета Joan Atkinson, сотрудник Centre for Software Reliability.

Кстати, в первом номере информационного бюллетеня SCSC за 2008 год дана ссылка на сайт нашей конференции. Так что наш DESSERT-Club также постепенно становится известен миру…

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

Нам хотелось бы, чтобы наш «DESSERT» занял в этой когорте достойное место. Для этого есть все основания. О них более детально, с использованием методов науковедения говорится в статье наших коллег – доцента Дубницкого В.Ю., аспиранта Андрашова А.А., опубликованной в журнале «Радиоэлектронные и компьютерные системы», 2008, №7, где анализируются результаты нашей работы в 2006-2007 годах.

Дорогу осилит идущий – давайте и дальше идти вместе. Мы обращаем эти слова как к «дессертовцам» со стажем, так и новым нашим коллегам из разных стран – ближних и дальних. Ведь всех нас объединяет прекрасный лозунг «От надежных и безопасных компьютерных систем к надежному и безопасному миру!» Мир ждет от нас гарантий…