Функциональная стандартизация протоколов информационного обмена в распределенных управляющих системах
Диссертация
При разработке теоретических разделов исследования применялся гипотетико-дедуктивный метод, обладающий большим спектром возможностей, базирующийся на системном подходе, включающем анализ и синтез. Применение этого метода обусловлено недостатком исходных данных о составе и характере воздействий на протоколы, а также разработки теории или их неполной априорной определенности. Суть теории состоит… Читать ещё >
Содержание
- 1. МЕТОДОЛОГИЧЕСКИЙ БАЗИС ФУНКЦИОНАЛЬНОЙ СТАНДАРТИЗАЦИИ ПРОФИЛЕЙ ПРОТОКОЛОВ ИНФОРМАЦИОННОГО ОБМЕНА В РАСПРЕДЕЛЕННЫХ УПРАВЛЯЮЩИХ СИСТЕМАХ
- 1. 1. Современные тенденции развития информационного обмена в распределенных управляющих системах
- 1. 2. Базовые понятия методологии функциональной стандартизации
- 1. 3. Особенности распределенной обработки информации
- 1. 4. Проблемы безопасности в распределенных управляющих системах
- 1. 5. Место методологии функциональной стандартизации протоколов информационного обмена в общей системе научных дисциплин
- 1. 6. Структура методологического базиса функциональной стандартизации
- 1. 6. 1. Многоуровневая модель базиса функциональной стандартизации
- 1. 6. 2. Уровень архитектурных спецификаций профилей протоколов
- 1. 6. 3. Уровень базовых спецификаций профилей протоколов
- 1. 7. Спецификация задач распределенной управляющей системы
- Выводы по разделу
- 2. ТЕОРЕТИЧЕСКИЕ ОСНОВЫ СИНТЕЗА ПРОФИЛЕЙ ПРОТОКОЛОВ ИНФОРМАЦИОННОГО ОБМЕНА
- 2. 1. Основные положения концепции построения распределенных управляющих систем на основе профилей протоколов
- 2. 2. Принцип построения функционального стандарта протоколов информационного обмена
- 2. 3. Методы формального описания протоколов
- 2. 4. Общие подходы к моделированию процессов в распределенной управляющей системе
- 2. 4. 1. Информационная модель
- 2. 4. 2. Функциональная модель
- 2. 4. 3. Модели управления доступом для распределенной управляющей системы
- 2. 5. Основы синтеза профилей протоколов информационного ® обмена
- 2. 5. 1. Формирование требований к стандартам на протоколы информационного обмена
- 2. 5. 2. Принципы и методические аспекты формирования профилей протоколов информационного обмена
- 2. 5. 3. Методика формирования протокольных классов на примере службы обмена сообщениями
- 2. 5. 4. Методика выбора протокольных классов на основе нечетких множеств
- 3. 1. Возникновение логических сбоев в профилях протоколов
- 3. 2. Математические модели возникновения логических ошибок в реализациях профилях протоколов
- 3. 2. 1. Математическая модель возникновения логической ошибки типа «столкновение»
- 3. 2. 2. Математическая модель возникновения логической ошибки типа «неопределенность»
- 3. 3. Методика обнаружения и коррекции столкновений в протоколах
- 3. 4. Процедура проверки синтаксиса
- 4. 1. Методика аттестационного тестирования реализаций профилей протоколов информационного обмена
- 4. 2. Методика анализа гарантированности реализаций
- 4. 3. Методика анализа неопределенности данных испытаний
- 5. 1. Основы взаимодействия в распределенной управляющей среде
- 5. 1. 1. Постановка задачи поиска в пространстве состояний
- 5. 1. 2. Определение управляющих решений на основе нечеткого отношения предпочтения
- 5. 1. 3. Функциональная архитектура рабочей станции администратора распределеннойуправляющей системы
- 5. 1. 4. Многокомпонентный межсетевой экран
- 5. 2. Устройства обработки протоколов информационного обмена на стадии разработки
- 5. 2. 1. Устройство автоматического проектирования протоколов информационного обмена
- 5. 2. 2. Устройство анализа корректности и верификации протоколов информационного обмена
- 6. 1. Оценка гарантированности на основе данных испытаний
- 6. 2. Процедуры формирования профилей протоколов информационного обмена
- 6. 3. Информационно-имитационная модель
- 6. 3. 1. Общий подход к моделированию процессов информационного обмена
- 6. 3. 2. Содержательная постановка задачи моделирования
- 6. 3. 3. Описание имитатионно-аналитической модели
- 6. 3. 4. Моделирование процессов информационного обмена на основе коррекции столкновений
- 6. 3. 5. Моделирование процессов информационного обмена в сравнении с протоколом Тандем
Список литературы
- Агафонов В.Н. Спецификация программ: Понятийные средства и их организация. — Новосибирск: Наука, 1987.
- Айвазян С. А, Енюков С. И., Мешалкин Л. Д. Прикладная ста-тистика.-М.: Финансы и статистика, 1985.- 487 с.
- Алексеев И.В. Диссертация . кандидата физ.-мат. наук. — Ярославль: ЯРГУ, 2000. 141 с.
- Антонов С. В. Диссертация . кандидата технических наук. М.: ИЛИ РАН, 1997.-154 с.
- Анисимов Н. А. Диссертация . доктора технических наук. — М.: Институт программных систем РАН, 1995. — 450 с.
- Альбернтс М.Я., Калниньш А. А., Калныня Д. А. Автоматизированное тестирование телекоммуникационных систем. // Автоматика и вычислительная техника. № 5, 1997. С. 29 — 39.
- Архангельский Б.В., Черняховский В. В. Поиск устойчивых ошибок в программах. М.: Радио и связь, 1989.
- Ахо А. Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. М.: Мир, 1979. — 535 с.
- Баженов Л.Б. Строение и функции естественнонаучной теории. -М.: Наука, 1978.-231 с.
- Бейнер Р.Л. Программное обеспечение без ошибок. М.: Радио и связь, 1996.- 173 с.
- Блау С.А., Позин Б. А. Анализ планов тестирования программных модулей с учетом нереализуемых маршрутов // Программирование. № 4. 1988.-С. 26−34.
- Борзов Ю.В. Тестирование программ с использованием символического выполнения. Программирование, № 1, 1980. — С. 51 — 59.
- Блэк Ю. Сети ЭВМ: протоколы, стандарты, интерфейсы. М.: Мир, 1990.-510 с.
- Борисов А.Н., Алексеев A.B., Меркурьева Г. В. Обработка нечёткой информации в системах принятия решений М.: Радио и связь, 1989.-384 с.
- Боэм Б. Характеристики качества программного обеспечения М.: Мир, 1981.-316 с.
- Бушуев С.Н. Организация распределенного преобразования информации в информационно-технических системах. СПб.: ВАС, 1994. — 226 с.
- Введенская Н-Н. Д. Диссертация. доктора физ.-мат. наук. — М.: ИППИРАН, 2000.-175 с.
- Вентцель Е.С. Теория вероятностей. М.: Высшая школа, 1998.-575с.
- Винер Н. Кибернетика или Управление и связь в животном и машине. М.: Советское радио, 1968.
- Волкова В.Н., Воронков В. А., Денисов A.A. и др. Теория систем и методы системного анализа в управлении и связи. — М.: Радио и связь, 1983.-248 с.
- Галатенко В.А., Макстенек М. И., Трифаленков И. А. Сетевые протоколы нового поколения. Jet Info, 1998, № 7,8.
- Гилула М.М. Множественная модель данных в информационных системах. М.: Наука, 1992. — 208 с.
- Гилл А. Введение в теорию конечных автоматов. М.: Наука, 1966. — 272 с.
- Гласс Р., Нуазо Р. Сопровождение программного обеспечения. Пер. с англ. / Под ред. Ю. А. Чернышова. М.: Мир, 1983.
- Гуляев Ю.В., Олейников, А .Я., Филинов E.H., Развитие и применение открытых систем в Российской Федерации. // Информационные технологии и вычислительные системы, 1995, v 1, С. 32 43.
- ГОСТ 34.201−89 Информационная технология. Комплекс стандартов на автоматизированные системы. Виды, комплектность и обозначение документов при создании автоматизированных систем. М.: Госстандарт СССР, 1989.
- ГОСТ 34.603−92 Информационная технология. Виды испытаний автоматизированных систем. М.: Госстандарт России, 1992.
- ГОСТ Р 34.90−93 Информационная технология. Передача данных и обмен информацией между системами. Протокольные комбинации для обеспечения и поддержки услуг сетевого уровня ВОС. М.: Госстандарт России, 1993.
- ГОСТ 51 170 98. Качество служебной информации. Термины и определения. -М.: Госстандарт России, 1999.
- ГОСТ РИСО’МЭК 9126−93 Информационная технология. Оценка программной продукции. Характеристики качества и руководства по их применению. М.: Госстандарт России, 1993.
- ГОСТ Р ИСО’МЭК 9646−1-93 Информационная технология. Взаимосвязь открытых систем. Методология и основы аттестационного тестирования. Часть 1. Общие положения. -М.: Госстандарт России, 1993.
- ГОСТ Р ИСО’МЭК 9646−2-93 Информационная технология. Взаимосвязь открытых систем. Методология и основы аттестационного тестирования. Часть 2. Спецификация комплекта абстрактных тестов. М.: Госстандарт России, 1993.
- ГОСТ Р ИСО’МЭК 9646−4-93 Информационная технология. Взаимосвязь открытых систем. Методология и основы аттестационного тестирования. Часть 4. Реализация тестов. -М.: Госстандарт России, 1993.
- ГОСТ Р 34.91−94. Информационные технологии. Взаимодействие открытых систем. Методология и основы аттестационного тестирования. Часть 6. Спецификация тестов протокольного профиля. М.: Госстандарт России, 1994.
- ГОСТ Р ИСО’МЭК 11 570−94 Информационная технология. Передача данных и обмен информацией между системами. Взаимосвязь открытых систем. Механизм идентификации протоколов транспортного уровня. М.: Госстандарт России, 1994.
- ГОСТ Р ИСО’МЭК 9594−7-98 Информационная технология. Взаимосвязь открытых систем. Справочник. Часть 7. Выбранные классы объектов. М.: Госстандарт России, 1998.
- ГОСТ Р ИСО’МЭК ТО 10 172−99 Информационная технология. Передача данных и обмен информацией между системами. Спецификация взаимодействия между протоколами сетевого и транспортного уровней. -М.: Госстандарт России, 1999.
- ГОСТ Р ИСО’МЭК 10 031−1-2000 Информационная технология. Текстовые и учрежденческие системы. Модель приложений распределенного учреждения. Часть 1. Общая модель. М.: Госстандарт России, 2000.
- ГОСТ Р ИСО’МЭК 10 031−2-2000 Информационная технология. Текстовые и учрежденческие системы. Модель приложений распределенного учреждения. Часть 2. Отличающая объект ссылка и соответствующие процедуры. М.: Госстандарт России, 2000.
- ГОСТ Р ИСО’МЭК 10 746−1-2004 Информационная технология. Открытая распределенная обработка. Базовая модель. Часть 1. Основные положения. М.: Госстандарт России, 2004.
- ГОСТ Р ИСО’МЭК 10 746−2-2000 Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель. М.: Госстандарт России, 2000.
- ГОСТ Р ИСО’МЭК 10 746−3-2001 Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 3. Архитектура. -М.: Госстандарт России, 2001.
- ГОСТ РИСО’МЭК 10 746−4-2004 Информационная технология. Открытая распределенная обработка. Базовая модель. Часть 4. Архитектурная семантика. М.: Госстандарт России, 2004.
- Грэхем Р., Кнут Д., Паташник О. Конкретная математика. Основание информатики. М.: Мир, 1998. — 703 с.
- Давыдов Е.Б., Злотников Ю. С. Тенденции процессов разработки и исследования протоколов сетей связи. — Техника средств связи. Сер. ТПС, 1987, вып.2.-С. 79−88.
- Джинчарадзе А.К. Методические подходы и тенденции развития стандартизации и систем качества в области информационных технологий // Информационное общество 2000. — № 3. — С. 37 — 43.
- Евстигнеев В.А. Применение теории графов в программировании. — М.: Наука, 1985.
- Еременко В.Т. Средства анализа процессов информационного обмена в распределенных управляющих системах. // Известия Орловского государственного технического университета. Серия «Информационные системы и технологии" — № 1. 2005. — С. 8 — 16.
- Еременко В.Т. Математическое моделирование процессов информационного обмена в распределенных управляющих системах.: Монография /Под общей редакций Константинова И. С. М.: Машиностроение — 1, 2004. — 224 с.
- Еременко В.Т., Туякбасарова Н. А. Теоретические основы построения распределенных управляющих систем с использованием структурно-функционального подхода: Монография. Курск: Курский институт менеджмента, экономики и бизнеса, 2004. — 122 с.
- Еременко В.Т., Константинов И. С. Алгоритмы поиска угроз в пространстве состояний процессов информационного обмена распределенной управляющей системы. // Вестник Тамбовского государственного технического университета. Т. 10. № 4А. — 2004. — С. 912−918.
- Еременко В.Т. Методологический аспект построения теории функциональной стандартизации протоколов информационного обмена // Вестник компьютерных и информационных технологий № 1. — 2004. — С. 14−17.
- Еременко В.Т. Методика анализа гарантированности реализаций профилей протоколов информационного обмена // Вестник компьютерных и информационных технологий № 2. — 2004. — С. 47 — 48.
- Еременко В.Т., Костин С. В. Алгоритмическое обеспечение отказоустойчивости информационно-управляющих систем // Наука и практика № 5 2004 г. — Орел: Орловский ЮИ. — С. 92 — 94.
- Еременко В.Т. Основное содержание теории функциональной стандартизации протоколов безопасности и принципы ее разработки // Телекоммуникации — 2003. № 6. — С. 34−38.
- Еременко В.Т. Концепция обнаружения и коррекции логических ошибок в реализациях профилей протоколов безопасности // Телекоммуникации 2003. — № 8. — С. 30 — 35.
- Еременко В.Т., Трофименков А. К. Идентификация мультиплексированных цифровых потоков в условиях априорной неопределенности их структуры // Сборник научных трудов Академии ФАПСИ № 12. Орел: Академия ФАПСИ, 2001. — С. 52−55.
- Еременко В.Т. Методологическая база синтеза профилей протоколов архитектур безопасности // IX Международная конференция «Информатизация правоохранительных систем ИПС — 2000». Сборник трудов. -М.: Академия управления МВД России, 2000. — С. 574 — 580.
- Еременко В.Т. Безопасность информации в телекоммуникационном компоненте ИТКС специального назначения: Монография — Екатеринбург: Уральский государственный технический университет, 2000. 236 с.
- Еременко В.Т., Орешин H.A., Подчерняев Н. Г., Третьяков О. В. Теория информации и информационных процессов: Монография. Орел: Орловский юридический институт МВД России, 2000. — 187 с.
- Еременко В.Т., Чистяков М. В. Теоретические основы создания и применения профилей протоколов архитектур безопасности / Под общей редакцией Еременко В. Т.: Монография Екатеринбург: Уральский государственный технический университет, 2000. — 124 с.
- Еременко В.Т., Подчерняев Н. Г. Теоретические основы построения информационных систем для органов государственного управления: Учебное пособие Орел: Орловский юридический институт МВД России, 1999. -111с.
- Еременко В.Т., Чередниченко A.A. Основы протокольного подхода к управлению безопасностью информации: Монография. М.: Академия налоговой полиции, 1999. — 155 с.
- Еременко В.Т., Кузьменко О. Г., Подчерняев Н. Г. Теоретические основы обслуживания сообщений в информационно-телекоммуникационных системах: Учебное пособие Орел: Орловский юридический институт, 1999.- 118 с.
- Еременко В.Т., Подчерняев Н. Г., Орешин H.A. Основы построения информационно-телекоммуникационных систем: Учебное пособие. Часть 1. Орел: Орловский юридический институт МВД России, 1999. -133 с.
- Еременко В.Т. Основы построения информационно-телекоммуникационных систем: Учебное пособие. Часть 2. Орел: Орловский юридический институт МВД России, 1999. — 129 с.
- Ерёменко В. Т. Подходы к оценке систем защиты информации по критерию «эффективность — стоимость» // Информационные технологии и компьютерные модели в деятельности правоохранительных органов. Труды Академии МВД РФ. -М.: 1996.-С. 161−167.
- Еременко В.Т. Методологические подходы к оценке систем защиты информации по критерию «эффективность — стоимость» // Безопасность информационных технологий. 1995. -№ 4. — С. 29 — 32.
- Еременко В.Т., Орешин H.A., Фисун А. П. Методологические аспекты подготовки специалистов по защите информации в Военном институте правительственной связи // Безопасность информационных технологий. — 1994.-№ 2.-С. 29−32.
- Еременко В.Т., Фисун А. П., Орешин Н. А. Повышение эффективности защиты информации в технических средствах, АСУ и ЭВТ. // Сборник материалов научно-практической конференции. Орел: ОВВКУС, 1992 г.-С. 23−27.
- Еременко В.Т. Агрегативная модель оценки защищенности информации в АСУ // Материалы всесоюзной научно-технической конференции. Киев: КВВИДКУС, 1991 г. — С. 44 — 47.
- Еременко В.Т. Методика оценки безопасности АСУ // Материалы всесоюзной научно-технической конференции. Киев: КВВИДКУС, 1991 г.- С. 24−28.
- Еременко В.Т., Фисун А. П. Метод анализа побочных излучений и наводок в технических средствах передачи и хранения информации // Научно-технический сборник- Киев: КВВИДКУС, 1990 г. С. 12−15.
- Еременко В.Т., Фисун А. П. Метод анализа сигналов в линиях связи // Научно-технический сборник. Киев: КВВИДКУС, 1990 г. — С. 28 — 31.
- Еременко В.Т., Фисун А. П. Остаточная информация в запоминающих устройствах ЭВТ // Научно-технический сборник. — Киев: КВВИДКУС, 1990 г. С. 53 — 56.
- Зайцев С.С., Кравцунов М. И., Ротанов C.B. Сервис открытых информационно-вычислительных сетей. Справочник. М. Радио и связь, 1990. -236 с.
- Зиновьев A.A. Основы логической теории научных знаний. М.: Наука, 1967.-261 с.
- Злотников Ю.С. Построение протоколов цифровых сетей с интеграцией служб связи. М.: Институт повышения квалификации МПСС, 1987.-72 с.
- Канер Сэм, Фолк Джек, Нгуен Енг Кек Тестирование программного обеспечения. (Вторая редакция). Киев: ДиаСофт, 2000, 544 с.
- Канке В.А. Основные философские направления и концепции науки. Итоги XX столетия. М.: Логос, 2000. — 320 с.
- Касьянов В.Н. Оптимизирующие преобразования программ. М.: Наука, 1988.
- Козлов В.А. Создание единого информационного пространства России путем применения международных стандартов // Стандарты и качество 1996.-№ 2.-С. 74−79.
- Козлов В.А. Построение Госпрофиля ВОС России на принципах концепции открытых систем // Сборник докладов IV международной конференции «Развитие и применение открытых систем РАПРОС-97» 1997. -С. 55 -65.
- Козлов В.А. Открытые информационные системы. М.: Финансы и статистика, 1999.-223 с.
- Колганов С.К., Корников В. В., Попов П. Г., Хованов Н. В. Построение в условиях дефицита информации сводных оценок сложных систем. -М.: Радио и связь, 1994. 79 с.
- Колмогоров А.Н. Теория информации и теория алгоритмов. М.: Наука, 1987.-358 с.
- Конард Д. Услуги и протоколы канального уровня. ТИИЭР, 1983, т.71, № 12.-С. 34−42.
- Коул Д., Горэм Т., Дональд М. М., Спарджеон Р. Принципы тестирования программного обеспечения. // Открытые системы. 1998. — № 2. — С. 60−62.
- Кудрявцев В.Б., Алешин C.B., Подколзин A.C. Введение в теорию автоматов М.: Наука. Гл. ред. физ.-мат. лит., 1985. — 320 с.
- Куракин Д. В. Диссертация . доктора технических наук. М.: МУИЭМ, 1997.-490 с.
- Кристофидес Н. Теория графов. Алгоритмический подход. М.: Мир, 1978.-429 с.
- Кульгин М. Технология корпоративных сетей. Энциклопедия -СПб.: Издательство «Питер», 1999. 704 с.
- Куфарова И.Б., Евтушенко Н. В., Петренко А. Ф. Синтез проверяющих тестов для недетерминированных автоматов относительно редукции. // Автоматика и вычислительная техника, № 3, 1998. С. 10−20.
- Лазарев И.А. Информация и безопасность. Композиционная технология информационного моделирования сложных объектов принятия решений. — М.: Московский городской центр научно-технической информации, 1997.-334 с.
- Липаев В.В. Отладка сложных программ. М.: Энергоатомиздат, 1993.-384 с.
- Липаев В.В., Филинов E.H. Формирование и применение профилей открытых информационных систем. // Информационные технологии — 1997. -№ 4. С. 2 — 11.
- Липаев В.В. Надежность программных средств. Серия «Информатизация России на пороге XXI века». М.: СИНТЕГ, 1998. — 232 с.
- Липаев В.В. Документирование и управление конфигурацией программных средств. Методы и стандарты. Серия «Информатизация России на пороге XXI века». М.: СИНТЕГ, 1998. — 220 с.
- Лонгботтом Р. Надежность вычислительных систем: Пер. с англ. / Под ред. П. П. Пархоменко. М.: Энергоатомиздат, 1985.
- Нечепуренко М. И. Попков В.К., Майнагашев С. М. и др. Алгоритмы и программы решения задач на графах и сетях. Новосибирск, Наука (Сибирское отделение), 1990. — 514 с.
- Майерс Г. Надежность программного обеспечения. М.: Мир, 1980.
- Майерс Г. Искусство тестирования программ: Пер. с англ. М.: Финансы и статистика, 1982.
- Мелихов А.Н., Берштейн Л. С., Коровин С .Я. Ситуационные советующие системы с нечёткой логикой -М.: Наука, 1988. 272 с.
- Мелик-Гайказян И. В. Информационные процессы и реальность. — М.: Наука, Физматлит, 1997. 192 с.
- Мельников Ю. Н., Мясников В. А., Абросимов Л. И. Методы автоматизированного проектирования систем телеобработки данных. -М.: Энергоатомиздат, 1992. 287 с.
- Мельников Д. А. Информационные процессы в компьютерных сетях. Протоколы, стандарты, интерфейсы, модели. М.: КУДИЦ-ОБРАЗ, 1999.-256 с.
- МККТТ. Рекомендация М.3020. Методология спецификации интерфейса сети TMN. // МСЭ. 1993.
- МККТТ. Рекомендация М.3200. Обзор услуг управления сети TMN. //МСЭ. 1993.
- МККТТ. Рекомендация М.3300. Возможности управления сети TMN на интерфейсе F. // МСЭ. 1993.
- МККТТ Рекомендация М.3400 Функции управления сети TMN.// МСЭ. 1993.
- МККТТ. Рекомендация M.3600. Принципы управления сетями ЦСИС.//МСЭ. 1993.
- Могилевский В.Д. Формализация динамических систем. М.: Вузовская книга, 1999.-215 с.
- Мушник Э., Мюллер П. Методы принятия технических решений: Пер. с нем. М.: Мир, 1990. — 208 с.
- Наливайко Н.В. Гносеологические и методологические основы научной деятельности. Новосибирск: Наука, Сиб. отд-ние, 1990. — 119 с.
- Насыпный В. В. Развитие теории построения открытых систем на основе информационной технологии искусственного интеллекта. -М.: Военное издательство, 1994. 328 с.
- Непомнящий В.А., Рякин О. М. Прикладные методы верификации программ. -М.: Радио и связь, 1988.
- Нессер Д. Оптимизация и поиск неисправностей в сетях. Пер. с англ. Киев: Диалектика, 1996. — 372 с.
- Орловский С.А. Проблемы принятия решений при нечеткой исходной информации -М.: Наука, 1981.-208 с.
- Пальчун Б.П., Юсупов P.M. Оценка надежности программного обеспечения. СПб.: Наука, 1994.
- Плоткин Б.И., Гринглаз Л. Я., Гварамия A.A. Элементы алгебраической теории автоматов. М.: Высшая школа, 1994. — 191 с.
- Применение имитационного моделирования для динамической отладки и испытания комплексов программ управления / П. Г. Гаганов, А. Н. Зубковский, A.M. Крылов, А. Б. Козлов // Управляющие системы и машины. № 3. 1984.-С. 56−61.
- Протоколы информационно-вычислительных сетей. Разработка, моделирование и анализ. / Под редакцией Мизина В. А. М.: Финансы и статистика, 1990.-501 с.
- Райков А.Н. Специальное программное и информационное обеспечение решения задач автоматизированной поддержки аналитических исследований // Научно-техническая информация. -1994. № 3. — с. 29 — 34.
- Саати Т. Л. Принятие решений. Методы анализа иерархий: Пер. с англ. М.: «Радио и связь», 1993. — 320 с.
- Сухомлин В.А. Методологический базис открытых систем // Открытые системы. 1996. — № 4. — С. 48 — 51.
- Сэвидж Д.Э. Сложность вычислений. М.: Изд-во «Факториал», 1998−368с.
- Тейер Т., Липов М., Нельсон Э. Надежность программного обеспечения: Пер. с англ. -М.:Мир, 1981.-326 с.
- Феллер В. Введение в теорию вероятностей и ее приложения. В двух томах. Т. 1. Пер. с англ. М.: Мир, 1984. — 527 с.
- Филинов E.H. Выбор и разработка концептуальной модели среды открытых систем // Открытые системы. 1995. — № 6. — С. 71 — 77.
- Фунтиков В.Б. Диссертация . кандидата технических наук. — М.: МТУСИ, 2000.- 167 с.
- Хакен Г. Информация и самоорганизация.-М.: Мир, 1993.- 180 с.
- Халсалл Ф. Передача данных, сети компьютеров и взаимосвязь открытых систем. М: «Радио и связь», 1995. — 407 с.
- Хомяков Д.М., Хомяков П. М. Основы системного анализа. М.: Издательство механико-математического факультета МГУ им. М. В. Ломоносова, 1996. — 107 с.
- Шаракшанэ A.C., Шахин В. П., Халецкий А. К. Испытания программ сложных автоматизированных систем. -М.: Высшая школа, 1982.
- Шварц М. Сети связи: протоколы, моделирование и анализ. Часть 1. Пер. с англ. М.: Наука. Гл. ред. физ.-мат. лит., 1992. — 272 с.
- Шильняк Д.Д. Децентрализованное управление сложными системами: Пер. с англ. -М.: Мир, 1994. 576 с.
- Шеннон К. Математическая теория связи // Работы по теории информации и кибернетике. М.: ИЛ, 1963.
- Щербо В.К., Козлов В. А. Функциональные стандарты в открытых системах. Часть 1. Концепция открытых систем. Справочное пособие. -М.: Международный центр научной и технической информации, 1997. -124 с.
- Щербо В.К. Стандарты вычислительных сетей. Взаимосвязи сетей. Справочник М.: КУДИЦ-ОБРАЗ, 2000. — 268 с.
- Якубайтис Э. А. Информационные сети и системы. — М.: Финансы и статистика, 1996.-289 с.
- Application Portability Profile (АРР). The U.S. Government Open Systems Environment Profile Version 3.0. NIST Special Publication 500-XXX, 1995.
- Anders Ek, Grabowski J., Hogrefe D. Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. -Technical report, 1998. 22 c.
- Besse Cederic, Cavalli A., Lee D. Optimization techniques and automatic test generation for TCP/IP protocols, 1998. 16 c.
- Bochmann G., Petrenko A., Yao M. Fault coverage of tests based on finite state models. Chapman & Hall, Proc. of IFIP WG 6.1 Protocol Test Systems, 1995 -c. 55−78.
- Bochmann G., Petremko A., Belial O. Automating the process of test derivation from SDL specifications.- Universite de Montreal, 1996. 12 c.
- Booch G., Object Oriented Design with Applications, Benja-min/Cummings, Redwood City, CA, 1991.
- Bourhfir C., Dssouli R., Aboulhamid E.M. Automatic Test Generation for EFSM-based Systems. Canada, Universite de Montreal, DIRO, Publication # 1060, 1995.-60 c.
- Brown J. R., Lipov M., Testing for Software Reliability, Proceedings 1975 International Conference on Reliable Software, April 21−23, 1975, IEEE Catalog No. 75, CH940−7CSR, pp.518−527.
- Gavin, Goldsmith M. H., Roscoe Bill, Ryan P. Y. A. Modeling and Analysis of Security Protocols, Addison Wesley. 2000. — 352 s.
- Government Open Systems Interconnection Profile Version 2. NIST Special Publication 500−192. U.S. Government printing office, Washington, 1991.
- Dubois D., Lang J., Prade H. Towards possibilistic logic programming. Proceedings of the 8-th Inter. Confer, on logic programming 91, Paris: The Mit Mress, 1991.
- Draft ETGnn Development and Use of OSE Profiles. EMOS/EGOSE/95/lO, 1995.
- FIBS PUB 158−2: User Interface Component of Application Portability Profile (MIT X Window System) X library API specification. (X Window System, Version 11, Realease 5, MIT X Consortium).
- Gaffney J. E., Cruickshank Jr. and R. D., «A Genera Economics Model of Software Reuse», Association for Computing Machinery, Australia (May 1992).
- Gaffney J. E., Durek Jr. and T., Software Reuse Key to Enhanced Production- Some Quantitative Models, «Software Productivity Consortium, SPC-TR-88−015» George Mason University, Center for Software and System Engineering, Herndon, VA (April 1988).
- Gilb T. Principles of software engineering managent. Wokingham, England: Addison-Wesley, 1988.
- Howden W.E. Functional program testing and analysis. N.Y.: McGraw-Hill, 1987.
- Inddustry Government Open Systems Specification (IGOSS). NIST Special Publication 500−217. May, 1994.
- Internet Protocol (IP) RFC 791.
- ISO/IEC TR 10 000−1:1995(final text, June 1995), Information technology Framework and taxonomy of International Standardized Profiles — Part 1: General Principles and Documentation Framework.
- ISO/IEC TR 10 000−2:1995(final text, June 1995), Information technology Framework and taxonomy of International Standardized Profiles — Part 2: Principles and Taxonomy for OSI Profiles.
- ISO/IEC TR 10 000−3:1995(final text, June 1995), Information technology Framework and taxonomy of International Standardized Profiles — Part 3: Principles and Taxonomy for Open System Environment Profiles.
- ISO 7498:1984, Information processing systems Open Systems Interconnection — Basic Reference Model ITU-T Rec.X.200 (1994).
- ISO/IEC DTR 14 252, Portable Operating System Interface for Computer Environments POSIX. (IEEE, PI003.0 Draft 18, Draft Guide to the POSIX Open Systems Environments, February 1995).
- ISO/IEC 9945/1:1990,(IEEE Std 1003.1 1990), Information technology — Portable Operating System Interface (POSIX) — Part 1: System Application Program Interface (API) C Language.
- ISO/IEC 9075:1992 (ANSI X3.135−1992), Information technology Database — Database Language).
- ISO/IEC 10 027: 1990, Information technology Information Resource Dictionary System (IRDS) framework.
- ISO/IEC 9579: 1993, Information technology Open Systems Interconnection — Remote Database Access (RDA).
- ISO 9040:1990, Information technology Open System Interconnection
- Virtual terminal basic class service.
- ISO/IEC 7942:85, Information processing system Computer graphics -Graphical Kernel System (GKS) function description.
- ISO/IEC 8805:88, Information processing system Computer graphics -Graphical Kernel System for the dementions (GKS-3D) functional description.
- ISO/IEC 9592/1:89, Information processing system Computer graphics- Programmer’s Hierarchical Interactive Graphical System (PHIGS) Part 1. Functional description.
- ISO/IEC 9636:91, Information technology- Computer graphics Interfacing techniques for dialogues with graphical devices (CGI) — Functional specification — Part 1 — 6.
- ISO/JEC 8802:1990 (IEEE Std 802−1990), Information processing system Local area network.
- ISO/IEC 10 148, Information processing system Open Systems Interconnection — Basic Remote Procedure Call (RPC) using OSI Remote Operating.
- ISO/IEC 9804:1994, Information processing system Open Systems Interconnection — Service definition for the Commitment, Concurrency and Recovery service element.
- ISO/IEC 9075:1992, Information processing system Text communication-Reliable Transfer — Part l. Model and service definition.
- ISO/IEC 10 026:1992, Information technology Open Systems Interconnection — Distributed Transaction Processing — Part 1: OSI TP Model.
- ISO 8571/1:1998, Information processing system Open Systems Interconnection — File transfer, access and management — Part 1. General introduction.
- ISO 10 040:1992, Information technology Open Systems Interconnection — Systems management overview.
- ISO/IEC 10 021:1990, Information technology Text communication -Message-Oriented Text Interchange System (MOTIS) — Part 1: Systems and service overview.
- ISO 9594:1990, Information technology Open Systems Interconnection — The Directory — Part 1: Overview of concepts, models and service. Rec.X.500.
- ISO/IEC 10 031/1:1991, Information technology Text communication -Distributed — office — application model — Part 1. General model.
- ISO 8824:1990, Information processing system Open Systems Interconnection — Specification of Abstract Syntax Notation One (ASN.l).
- ISO 8825:1990, Information processing system Open Systems Interconnection — Specification of Basic Encoding Abstract Syntax Notation One (ASN.l).
- ISO/IEC 8632/1:87, Information technology Computer graphics -Metafile for the storage and transfer of picture description information — Part 1. Functional description.
- ISO 9735:1988, Electronic Data Interchange for Administration, Commerce and Transport (EDIFACT) Application Level syntax rules (Amended and reprinted).
- ISO/IEC 8613:1994, Information technology Open Document Architecture (ODA) and Interchange Format — Introduction and general principles. ITU-T Ree. T.411(1993).
- ISO/IEC 10 744:1992, Information technology Hypermedia / time-based structuring languages (HyTime).
- ISO/IEC 10 073:1992, Standard Music Description Languages (SMDL).
- ISO/SCI/ WG8:1994, Standard Multimedia / Hypermedia Scripting Languages (SMSL).
- ISO/IEC 10 180:1994:., Information technology Text communica-tional — Standard Page Description Languages (SPDL).
- ISO/IEC 10 179:., Information technology Text and office systems -Document Style Semantic and Specification Languages (DSSSL).
- ISO DIS 11 544, Joint Bi-level Image Expert Group (JBIG).
- ISO DIS 10 918−1,2, Joint Photographic Expert Group (JPEG).
- ISO DIS 11 172−1,2, Moving Pictures Expert Group (MPEG).
- ISO/IEC DIS 13 719, ECMA Portable Control Tool Environment.
- ISO/IEC DP 9646−1 (N 2040 REV). Information Processing Systems -OSI Conformance Testing Methodology and Framework. Part 1: General Concepts. ISO, 1988.
- ISO/IEC DP 9646−2 (N 2041 REV). Information Processing Systems -OSI Conformance Testing Methodology and Framework. Part 2: Abstract Test Suite Specification. ISO, 1988.
- ISO/IEC JTC1/SC21 N 517. Working Draft of OSI Conformance Testing Methodology and Framework. Part 3: Executable Test Derivation. ISO, 1988.
- ISO/IEC JTC1/SC21 N 518. Working Draft of OSI Conformance Testing Methodology and Framework. Part 4: Requirements on Clients of Test Laboratories. ISO, 1988.
- ISO/TC97/SC21 N 519. Working Draft of OSI Conformance Testing Methodology and Framework. Part 5: Test Laboratory Operations. -ISO, 1987.
- ITU-T Rec. 902 / ISO/IEC 10 746−2:1995, Reference Model for Open Distributed Processing.
- Kit E. Software Testing in the Real World Improving the Process. Ad-dison-Wesley. 1996.
- Landwehr C.E. Formal models for computer security. ACM Com-put.Surv. 13 .3 (Sept. 1981).
- Levendel Y. Reliability analysis of large software systems: defect data modeling //IEEE transaction on SE. 1990, v. 16. N2. P. 141−152.
- Lloyd D. K., Lipow M., Reliability: Management, Methods, and Mathematics, Prentice Hall, Inc., Englewood Cliffs, New Jersey, 1962, pp. 224−229.
- National Computer Security Center. Trusted Network Interpretation. -NCSC- TG- 005, 1987.
- Neyman J., Outline of a Theory of Statistical Estimation Based on the Classical Theory o Probability, Phil. Trans. Royal Society, London, A., 236, 333,(1937).
- OMG Document Number 91.12.1. The Common Object Request Broker: Architecture and Specification. R.l.l.
- OSF/MOTIF, Open Software Foundation, MOTIF Release 1.2.
- Open Look. Draphical User Interface. Application Style Guidelines. Sun Microsystems, Inc 1991.
- Poulin J. S, Caruso J. M. and Hancock D. R The Business case for Software Reuse ., «IBM Syst. Journal», Vol. 32, No. 4, 1993. 567−594.
- Robert K. Ackerman, Navy Doctrine, Systems Face Information Warfare Makeover// Signal. 1996. July. 1996.
- Transmission Control Protocol (TCP) RFC 793.
- User Datagram Protocol (UDP) RFC 768.