Войти
Очередное заседание научного семинара по грид-технологиям в Президиуме РАН
В четверг, 2 октября 2008 года, в 16.00 ч. в Президиуме РАН состоится очередное заседание научного семинара «Разработка фундаментальных основ создания научной распределенной информационно-вычислительной среды на основе технологий GRID».
В четверг, 2 октября 2008 года, в 16.00 ч. в Зеленом зале Президиума РАН по адресу: 119991 Москва, Ленинский проспект 32а, зона Г, 3-ий этаж, состоится очередное заседание научного семинара «Разработка фундаментальных основ создания научной распределенной информационно-вычислительной среды на основе технологий GRID».
Повестка семинара
- Вступительное слово
академик Г.И. Савин - «Методы анализа и верификации программ, протоколов и цифровых устройств с приложениями к верификации территориально распределённых информационно-вычислительных систем»
Докладчик: чл.-корр. РАН, д.ф.-м.н. С. М. Абрамов, директор ИПС РАН.
- Дискуссия
Аннотация:
В докладе будут рассмотрены: метод программного моделирования недетерминированных вычислительных систем и метод верификации соответствующих программных моделей распределенных вычислительных систем.
Этот метод верификации основан на автоматической специализации программной модели по структуре стартовых конфигураций исследуемой вычислительной системы. Верифицируются свойства недостижимости конфигураций (состояний) вычислительной системы, работающей неограниченно долго. Параметризованной вычислительной системой называется распределенная вычислительная система, число компонент которой конечно, но неизвестно.
Будет предъявлен ряд параметризованных протоколов когерентности кэш-памяти мультипроцессорных систем (IEEE Futurebus+, MOESI, "The University of Illinois", DEC Firefly, Berkeley, и др.), свойства согласованности (когерентности) которых были успешно автоматически верифицированы суперкомпилятором SCP4. С помощью нашего метода обнаружена ошибка в одном из описаний Xerox PARC Dragon протокола и построен тест, указывающий на эту ошибку.
Контактная информация
Почтовый адрес: 119991, Москва, Ленинский проспект, 32а,
Межведомственный суперкомпьютерный центр Российской академии наук МСЦ РАН
Ученый секретарь семинара
Табаченко Наталия Владимировна
Тел.: +7 (495) 938-2757,
моб.тел.: 8 (985) 924-3201
E-mail: nataly@ras.ru.
