«Системы и средства информатики»
Выпуск 20, № 3, Москва, ИПИ РАН, 2010 г.

Оглавление | Аннотации на английском языке

Аннотации на русском языке

С.Л. Френкель, А.Л. Курц, Д.Л. Либуркин, Н.А. Фандюшина, Б.Н. Андерс ТРАНСЛЯТОР ТАБЛИЧНЫХ ПРЕДСТАВЛЕНИЙ АВТОМАТОВ МИЛИ В ПРОГРАММЫ НА ЯЗЫКЕ SMV ДЛЯ АВТОМАТИЗАЦИИ ВЕРИФИКАЦИИ ПРОЕКТОВ ВЫЧИСЛИТЕЛЬНЫХ УСТРОЙСТВ НА ОСНОВЕ ПРОВЕРКИ МОДЕЛЕЙ. Аннотация:  Данная работа посвящена разработке программных средств для использования ASM (Algorithmic state machine) диаграмм описаний конечных автоматов для верификации проектов цифровых систем в процессе их разработки. Разработана программа mealy2smv, написанная на языке C++, осуществляющая преобразование описания конечного автомата (Finite State Machine), заданного таблицей переходов, в его описание на языке SMV как структуры Крипке, что позволяет существенно снизить трудоемкость подготовки заданий на формальную верификацию. Ключевые слова:   формальная верификация, конечные автоматы.

В.Ю. Егоров, Е.А. Матвеев ИСПОЛЬЗОВАНИЕ СПЕЦИФИКАЦИИ «HYPERVISOR FUNCTIONAL SPECIFICATION» ПРИ РАЗРАБОТКЕ ВИРТУАЛЬНЫХ МАШИН И УПРАВЛЕНИИ ИХ РАБОТОЙ. Аннотация:  В статье проводится исследование спецификации «Hypervisor Functional Specification» от компании Microsoft, представляющей собой первую попытку стандартизации среды исполнения операционных систем. Исследуются интерфейсы между гипервизором и управляемыми им операционными системами. Статья также содержит анализ применимости данной спецификации для разработки операционных систем. Ключевые слова:   гипервизор, спецификация Hyper-V, интерфейс взаимодействия виртуальных машин, управление виртуальными машинами, осведомленная операционная система.

Т.В. Бондаренко, О.А. Бондаренко, К.И. Волович, В.А. Кондрашев СИГНАЛЬНЫЙ МЕХАНИЗМ ЯЗЫКА CELL. Аннотация:  В статье рассматриваются вопросы обработки логических сигналов и создания именованных объектов языка Cell, вводится понятие атомарности перехода и определяется процедура сериализации сигналов. Ключевые слова:   язык Cell, логический сигнал, ячейка автомата, контекст ячейки, класс видимости, сериализация, иерархический автомат, синтез программного обеспечения, телекоммуникационный протокол.

Т.В. Бондаренко, О.А. Бондаренко, К.И.Волович, В.А Кондрашев. ЯЗЫК CELL: МОДЕЛЬ ОБРАБОТКИ КЛОНОВ Аннотация:  Рассматриваются вопросы обеспечения независимого функционирования одинаковых подавтоматов иерархического автомата на примере телекоммуникационных протоколов, описанных на языке Cell. Основным назначением языка Cell является синтез программного обеспечения иерархического автомата по частично формализованным описаниям его подавтоматов. Описывается понятие клона и механизма клонирования, используемого в языке Cell. Рассмотрена модель клонирования на основе сериализации вычислений. Модель предложена в качестве альтернативы применения параллельных вычислений. Ключевые слова:   язык Cell, ячейка, клон, контекст ячейки, сериализация, иерархический автомат, синтез программного обеспечения, телекоммуникационный протокол.

Т.В. Бондаренко, О.А. Бондаренко, К.И. Волович, В.А. Кондрашев БАЗОВАЯ МОДЕЛЬ ФУНКЦИОНИРОВАНИЯ АВТОМАТАВ СИСТЕМЕ ПРОГРАММИРОВАНИЯ CELL. Аннотация:  Предлагается система программирования Cell, обеспечивающая создание взаимоувязанной спецификации иерархического автомата на основе частично формализованных описаний его подавтоматов и синтез программного обеспечения, реализующего автомат. В статье описана модель иерархического автомата, принятая в языке Cell, рассмотрены основные элементы языка для описания иерархической структуры, а также предложена модель исполнения автомата без использования методологии и технологии организации параллельных вычислений, названная сериализацией вычислений. Ключевые слова:   язык Cell, сериализация вычислений, иерархический автомат, функция перехода, синтез программного обеспечения, телекоммуникационный протокол.

А.В. Босов, А.А. Зацаринный, А.П. Сучков НЕКОТОРЫЕ ОБЩИЕ ПОДХОДЫ К ФОРМИРОВАНИЮ ФУНКЦИОНАЛЬНЫХ ТРЕБОВАНИЙ К СИТУАЦИОННЫМ ЦЕНТРАМ И ИХ РЕАЛИЗАЦИИ. Аннотация:  В статье рассмотрены вопросы формирования функциональных требований к ситуационным центрам (СЦ) и способам их реализации. Предложена терминологическая база рассматриваемой предметной области, определена общая организационная и функциональная структура СЦ, изложены базовые подходы к конкретизации функциональных требований к СЦ по всем сегментам и составляющим. Детализирована информационно- аналитическая составляющая СЦ, обеспечивающая решение основных задач ситуационного анализа и управления ресурсами (силами и средствами). Предложены подходы к реализации средствами программного обеспечения информационно- аналитической подсистемы. Изложенные подходы к формированию исходных требований к функциональным подсистемам СЦ могут быть положены в основу технических заданий на разработку СЦ государственных органов управления и силовых ведомств, на крупных предприятиях. Ключевые слова:   ситуационный центр, организационно- функциональная структура, управление, мониторинг, ситуационный анализ, информационно-аналитические системы.

А.А. Зацаринный, К.Г. Чупраков ОБ ОДНОМ ПОДХОДЕ К ОБОСНОВАНИЮ ТРЕБОВАНИЙ К КОМПОНЕНТАМ ОБОРУДОВАНИЯ СИТУАЦИОННОГО ЦЕНТРА. Аннотация:  Рассмотрен подход к обоснованию требований к компонентам ситуационного центра, основанный на его структурно- функциональном представлении. Компоненты оборудования классифицированы по принципу работы с информацией. Обосновываются основные требования к каждому классу оборудования, разделенные на 4 уровня. Ключевые слова:   ситуационный центр, аппаратная часть, технический компонент, классификация оборудования, обоснование требований.

А.А. Зацаринный, А.И. Гаранин, Ю.С. Ионенков МЕТОДИЧЕСКИЙ ПОДХОД К ОБОСНОВАНИЮ ТРЕБОВАНИЙ К НАДЁЖНОСТИ ИНФОРМАЦИОННО- ТЕЛЕКОММУНИКАЦИОННЫХ СЕТЕЙ. Аннотация:  Рассматривается проблема обоснования требований к надежности элементов информационно-телекоммуникационных сетей. Предложен методический подход к выбору количественных значений показателей надежности объектов информатизации, узлов и направлений связи телекоммуникационной сети. Представлен алгоритм распределения требований по надежности, предъявляемых к тракту обмена информацией между элементами телекоммуникационных сетей. Ключевые слова:   информационно-телекоммуникационная сеть, узлы связи, линии связи, надежность сети, коэффициент готовности.

А.А.Зацаринный, А.И.Гаранин, С.В.Козлов СТЕНД ГЛАВНОГО КОНСТРУКТОРА – ОРГАНИЗАЦИОННО-ТЕХНИЧЕСКАЯ ОСНОВА РАЗРАБОТКИ КРУПНОМАСШТАБНЫХ ИНФОРМАЦИОННО- ТЕЛЕКОММУНИКАЦИОННЫХ СИСТЕМ. Аннотация:  Рассмотрены организационно-методические вопросы создания стенда Главного конструктора в рамках разработки крупномасштабных информационно-телекоммуникационных систем. Показаны факторы, определяющие условия создания стенда, включая существующую нормативно-техническую базу. Обоснованы функции, возлагаемые на стенд, применительно ко всем стадиям разработки и жизненному циклу системы в целом. Предложено структурно-функциональное представление стенда и основные направления его применения, обеспечивающие комплексное решение вопросов сопровождения работ на всех этапах жизненного цикла системы. Ключевые слова:   информационно-телекоммуникационная система, стенд главного конструктора, системный подход, функции стенда по стадиям жизненного цикла системы, прикладная, информационно-телекоммуникационная технологическая и техническая составляющие стенда, имитационно-испытательный комплекс, направления применения стенда.