Помощь в написании студенческих работ
Антистрессовый сервис

Компонентная программная архитектура мультиверсионных систем обработки информации и управления

Диссертация: Компонентная программная архитектура мультиверсионных систем обработки информации и управления
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

Несмотря на широкое распространение, программное обеспечение едва когда-либо было «совершенно». Из-за огромного количества причин, чрезвычайно трудно создать безупречное программное обеспечение. Согласно, «программное обеспечение — систематическое представление и обработка знаний человека». Для людей совершенное знание проблемы и ее решение редко достигается. В заявлено, что «программы — это… Читать ещё >

Компонентная программная архитектура мультиверсионных систем обработки информации и управления (реферат, курсовая, диплом, контрольная)

Содержание

  • 1. Проблемы проектирования высоконадежных программно-информационных систем
    • 1. 1. Проблемы проектирования надежного программного обеспечения
    • 1. 2. Проблемы проектирования распределенных информационных систем
  • 2. Методы обеспечения отказоустойчивости программного обеспечения
    • 2. 1. Структура и алгоритмы программного обеспечения
    • 2. 2. Обнаружение ошибок
    • 2. 3. Обработка исключений
    • 2. 4. Контрольные точки и рестарт
    • 2. 5. Парные процессы
    • 2. 6. Разнообразие Данных
    • 2. 7. Проблемы использования контрольных точек
    • 2. 8. Выводы
  • 3. Применение методологии мультиверсий для обеспечения отказоустойчивости программного обеспечения
    • 3. 1. Блоки восстановления
    • 3. 2. 1Ч-версионное программирование
    • 3. 3. 1Ч-версионное программирование с самоконтролем
    • 3. 4. Блоки восстановления с согласованием
    • 3. 5. Проблемы мультиверсионного программного обеспечения
      • 3. 5. 1. Разработка мультиверсионного программного обеспечения
      • 3. 5. 2. Алгоритмы выбора вывода
    • 3. 6. Отказоустойчивость в операционных системах
    • 3. 7. Выводы
  • 4. Модульные принципы построения программного обеспечения
    • 4. 1. Требования, предъявляемые к модулям программного обеспечения
      • 4. 1. 1. Динамическое подключение модулей
      • 4. 1. 2. Инкапсуляция
      • 4. 1. 3. Защита модуля
      • 4. 1. 4. Независимость от языка
    • 4. 2. Объектно-ориентированные методы проектирования модулей программного обеспечения
    • 4. 3. Проблемы разработки модулей программного обеспечения с использованием объектно-ориентированных методов проектирования
      • 4. 3. 1. Проблемы распространения программного обеспечения
      • 4. 3. 2. Проблемы стандартизации на двоичном уровне
      • 4. 3. 3. Проблемы инкапсуляции
    • 4. 4. Технологии компонентного проектирования
      • 4. 4. 1. Компонентная объектная модель (Component Object Model, COM)
      • 4. 4. 2. Общая архитектура брокеров объектных запросов (Common Object Request Broker Architecture, CORBA)
    • 4. 5. Выводы
  • 5. Построение мультиверсионного программного обеспечения с использованием технологии компонентного проектирования (СОМ)
    • 5. 1. MVS комплекс. Детали и составные части
      • 5. 1. 1. Клиентский ЕХЕ-модуль
      • 5. 1. 2. Компонент MvsEnvelope
      • 5. 1. 3. Компонент MvsIO
      • 5. 1. 4. Компоненты MvsProg[l, 2,., N]
      • 5. 1. 5. Компонент MvsSolver
      • 5. 1. 6. Компонент MvsUserlnterface
    • 5. 2. MVS комплекс в работе
    • 5. 3. Результаты тестирования MVS комплекса
    • 5. 4. Выводы

Программное обеспечение проникает во многие области современной жизни. На научные исследования, производство, транспорт, медицина, быт, и на многие другие секторы, которые влияют на нашу жизнь, воздействуют непосредственно или косвенно программные системы. Гибкость программно-информационных систем, постоянно повышающиеся потребности общества и конкуренция в бизнесе способствуют расширению области применения программных средств. Без программного обеспечения многие из наших современных достижений были бы фактически невозможны.

Несмотря на широкое распространение, программное обеспечение едва когда-либо было «совершенно». Из-за огромного количества причин, чрезвычайно трудно создать безупречное программное обеспечение. Согласно [1], «программное обеспечение — систематическое представление и обработка знаний человека». Для людей совершенное знание проблемы и ее решение редко достигается. В [2] заявлено, что «программы — это не больше, чем наилучшее представление программиста о том, что система должна делать». Даже если программист достаточно квалифицирован для решения проблемы, то знание должно быть преобразовано в систематическое представление, адекватное для автоматической обработки. Современные компьютеры беспощадны, когда работают с программным обеспечением: если есть ошибка в логике, рано или поздно эта ошибка обнаружится на выходе независимо от последствий. Только наиболее тривиальные программные решения могут быть выполнены без ошибок. Поскольку компьютеры применяются для решения все более сложных проблем, то растет вероятность логических ошибок присутствующих в программном обеспечении.

Использование программных систем во многих областях науки и производства, предъявляет высокие требования к надежности программных средств. Такими областями являются различные автоматические системы управления и обработки данных: банковская система, космос, подводные и подземные исследования, химическое производство, прогнозирование, медицина и другие. Сбой программных систем в подобных областях может повлечь за собой большие потери и иметь весьма серьезные последствия. Поскольку абсолютная уверенность в безупречности программных средств редко достигается, применяются методы повышения отказоустойчивости программного обеспечения для выполнения требований надежности проекта. Программная отказоустойчивость достигается благодаря использованию алгоритмов программирования и методов разработки программного обеспечения, которые повышают вероятности того, что конечная реализация проекта приведет к правильному и/или безопасному результату. Так как правильность и безопасность — концепции системного уровня, потребность и степень использования программной отказоустойчивости непосредственно зависит от предназначения приложения и полного проектирования систем.

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

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

• образование, опыт и местоположение разработчиков;

• алгоритмы и структуры данных;

• языки программирования;

• методы разработки программного обеспечения;

• инструментальные средства программирования и среды (включая компиляторы);

• методы тестирования и инструментальные средства.

Все эти методы позволяют разработать мультиверсионные программные модули, которые, возможно, производят сбои в различных точках программного кода, но эта независимость сбоев находится на уровне исходных кодов — это является ключевой проблемой. На стадии выполнения мультиверсионных модулей независимость сбоев теряется из-за того, что остались не учтенными возможные взаимодействия модулей в рамках всей программной системы. Модули работают в едином адресном пространстве памяти, разделяют одни и те же ресурсы операционной системы, и из-за этого возникают дополнительные зависимости между модулями мультиверсионного программного обеспечения. Вследствие этого, сбой одного модуля может привести к сбою других или даже к отказу всей системы в целом, что ставит под сомнение надежность мультиверсионных систем и всей методологии в целом. Для решения этой проблемы необходимо сохранить введенное разнообразие при разработке модулей и перенести его на стадию выполнения.

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

Поставленная цель достигается путем решения следующих задач:

• анализ современных методов отказоустойчивости программного обеспечения, анализ методик и моделей построения мультиверсионного программного обеспечения, как программных средств защиты программных систем;

• исследование современных объектно-ориентированных методов проектирования программного обеспечения и выявление их основных недостатков, в том числе, существенных при разработке мультиверсионных модулей;

• выработка требований к модулям мультиверсионного программного обеспечения и их реализация;

• применение современных методов компонентного программирования для построения программного обеспечения мультиверсионных систем управления и обработки информации.

Методы исследования: Методы прикладного системного анализаобъектно-ориентированного программированиякомпонентного проектирования сложных программных системмультиверсионного проектирования программного обеспечения отказоустойчивых систем управления и метод изменяющихся вероятностей.

Научная новизна работы:

1. Разработаны требования к модулям мультиверсионного программного обеспечения, учитывающие анализ причин сбоев программных систем управления и обработки информации.

2. Предложена методика построения мультиверсионных программных систем, отличающаяся от предыдущих использованием технологии компонентного программирования, которая позволяет исключить взаимное влияние мультиверсионных модулей друг на друга и на среду исполнения.

3. Разработана и программно реализована среда исполнения на базе компонентной архитектуры для распределенной мультиверсионной системы, которая позволяет подключать к среде исполнения любое количество программных модулей, распределяя вычислительную нагрузку на множество машин.

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

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

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

1. Комплекс требований к модулям мультиверсионного программного обеспечения отказоустойчивых систем управления и обработки информации.

2. Методика построения мультиверсионного программного обеспечения отказоустойчивых систем управления и обработки информации.

3. Программная реализация среды исполнения на базе компонентной архитектуры для распределенной мультиверсионной системы. Апробация работы. Основные положения и результаты работы прошли апробацию на 46 и 48-й научно-технических конференциях преподавателей, аспирантов и студентов Красноярского государственного технического университета (2003, 2006), на Пленарном заседании Второй Всероссийской конференции «Молодежь и наука: начало 21-го века», посвященной 50-летию КГТУ (2006), на международной AMSE-конференции «Modeling and SimulationMS'05» (Rouen, Франция, 2005), на ежегодной заочной конференции РАЕН «Современные телекоммуникационные и информационные технологии» (2006). Докладывались на научно-технических семинарах НИИ Систем управления, волновых процессов и технологий (2003;2006 гг.).

Структура и объем работы. Диссертация состоит из введения, пяти глав, заключения и списка литературы.

5.4 Выводы.

Результатом практической реализации мультиверсионного метода создания отказоустойчивого программного обеспечение с использование компонентного проектирования стало создание среды мультиверсионного исполнения программных модулей и ряда программных модулей, которые вместе с ней составили целый комплекс программ. Тестирование данного КП позволило обозначить нам высокую эффективность мультиверсионного программирования как метода разработки отказоустойчивого программного обеспечения и целесообразность применения компонентной архитектуры. Но анализ функционирования разработанного КП позволил выявить некоторые недостатки. А именно, была установлена низкая эффективность работы среды исполнения при использовании двух программных модулей, из-за возникающей, в процессе принятия решения, неопределенности. Это позволяет нам заявить, что для обеспечения устойчивости КП мультиверсионной системы к сбоям, необходимо три или большее количество избыточных версий программных модулей.

Заключение

.

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

• Осуществлен анализ современных методов отказоустойчивости программного обеспечения, анализ методик и моделей построения мультиверсионпого программного обеспечения.

• Исследованы современные объектно-ориентированные методы проектирования программного обеспечения и выявлены их основные недостатки, в том числе для разработки мультиверсионных модулей.

• Выработаны требования к модулям мультиверсионного программного обеспечения.

• Применены современные методы компонентного программирования для построения мультиверсионного программного обеспечения. Разработанная в диссертации методика построения мультиверсионных программных систем позволяет исключить взаимное влияние мультиверсионных модулей друг на друга, что обеспечит независимость отказов отдельных программных модулей. Созданные таким образом программно-информационные системы обладают высоким уровнем отказоустойчивости без дополнительных трудозатрат. Кроме того, разработанная на базе компонентного подхода среда исполнения, позволяет построить распределенную мультиверсионную систему, которая обеспечивает возможность подключения к среде исполнения любого количества программных модулей, распределяя вычислительную нагрузку на множество машин.

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

Показать весь текст

Список литературы

  1. Lyu, М. R. Software Fault Tolerance / М. R. Lyu John Wiley & Sons, 1995.
  2. Abbott, R. J. Resourceful Systems for Fault Tolerance, Reliability, and Safety / R. J. Abbott ACM Computing Surveys, Vol. 22, No. 1, March 1990. — pp. 35−68.
  3. , P. Методы управления проектированием программного обеспечения: Пер. с англ. / Р. Гантер, Е. К. Масловский. М.: Мир, 1981. -392 с.
  4. , В. В. Качество программного обеспечения. / В. В. Липаев. М.: Финансы и статистика, 1983. 263 с.
  5. , А. Г. Проектирование АСУ. / А. Г. Мамиконов. М.: Высшая школа, 1987.-304 с.
  6. , В. В. Проектирование программных средств: Учеб. пособие для вузов по спец. «Автом. сист. обр. информ. и упр.». / В. В. Липаев. М.: Высшая школа, 1990. — 303 с.
  7. И. Инженерия программного обеспечения / И. Соммервилл. Вильяме, 2002. 624 с.
  8. Software Considerations in Airborne Systems and Equipment Certification, RTCA/DO-178B, RTCA, Inc, 1992.
  9. Pressman, R. S. Software Engineering: A Practitioner’s Approach. / R. S. Pressman. The McGraw-Hill Companies, Inc., 1997.
  10. Denning, P. J, Fault Tolerant Operating Systems. / P. J. Denning. ACM Computing Surveys, Vol. 8, No. 4, December 1976. — pp. 359−389.
  11. Anderson, T. Fault Tolerance: Principles and Practice. / T. Anderson, P.A. Lee -Prentice/Hall, 1981.
  12. Taylor, D. J. Redundancy in Data Structures: Improving Software Fault Tolerance. / D. J. Taylor IEEE Transactions on Software Engineering, Vol. SE-6, No. 6, November 1980. — pp. 585−594.
  13. Taylor, D. J. Redundancy in Data Structures: Some Theoretical Results. / D. J. Taylor IEEE Transactions on Software Engineering, Vol. SE-6, No. 6. November 1980. — pp. 595−602.
  14. Black, J. P. Introduction to Robust Data Structures. / J. P. Black Digest of Papers FTCS-10: The Eleventh Annual International Symposium on Fault-Tolerant Computing, October 1 — 3, 1980. — pp. 110−112.
  15. Black, J. P. A Compendium of Robust Data Structures. / J. P. Black Digest of Papers FTCS-11: The Eleventh Annual International Symposium on Fault-Tolerant Computing, June 24 — 26, 1981. — pp. 129−131.
  16. Pradhan, D. K. Fault-Tolerant Computer System Design. / D. K. Pradhan -Prentice-Hall, Inc., 1996.
  17. Hecht, H. Fault-Tolerance in Software, in Fault-Tolerant Computer System Design. / H. Hecht, M. Hecht Dhiraj K. Pradhan, Prentice Hall, 1996.
  18. Randell, B. The Evolution of the Recovery Block Concept, in Software Fault Tolerance / B. Randell, J. Xu, M. R. Lyu- Wiley, 1995.-pp. 1−21.
  19. Randell, B. Predictably Dependable Computing Systems / B. Randell Springer, 1995.
  20. Gray, J. Why Do Computers Stop and What Can Be Done About It? / J. Gray -Proceedings of the Fifth Symposium On Reliability in Distributed Software and Database Systems, January 13−15, 1986. pp. 3−12.
  21. Ammann, P. E. Data Diversity: An Approach to Software Fault Tolerance / P. E. Ammann, J. C. Knight IEEE Transactions on Computers, Vol. 37, No. 4, April 1988.-pp. 418−425.
  22. Nicola, V. F. Checkpointing and the Modeling of Program Execution Time, in Software Fault Tolerance. / V. F. Nicola, M. R. Lyu Wiley, 1995. — pp. 167 188.
  23. Avizienis, A. On the Implementation of N-Version Programming for Software Fault Tolerance During Execution. / A. Avizienis, L. Chen Proceedings of the IEEE COMPSAC'77, November 1977.-pp. 149−155.
  24. Avizienis, A. The Methodology of N-Version Programming Software Fault Tolerance / A. Avizienis, R. Lyu, John Wiley & Sons, 1995.
  25. Scott, R. K. Fault-Tolerant Software Reliability Modeling / R. K. Scott, J. W. Gault, D. F. McAllister IEEE Transactions on Software Engineering, Vol. SE-13, No. 5, May 1987. — pp. 582−592.
  26. Bishop, P. Software Fault Tolerance by Design Diversity. / P. Bishop, R. Lyu -John Wiley & Sons, 1995.
  27. Avizienis, A. The N-Version Approach to Fault-Tolerant Software / A. Avizienis IEEE Transactions on Software Engineering, Vol. SE-11, No. 12, December 1985.-pp. 290−300.
  28. Avizienis, A. Dependable Computing: From Concepts to Design Diversity. / A. Avizienis, J.-C. Laprie Proceedings of the IEEE, Vol. 74, No. 5, May 1986. -pp. 629−638.
  29. Avizienis, A. In Search of Effective Diversity: A Six-Language Study of Fault-Tolerant Flight Control Software. / A. Avizienis Digest of Papers FTCS-18: The Eighteenth International Symposium on Fault-Tolerant Computing, June 27−30, 1988.-pp. 15−22.
  30. Avizienis, A. Software Fault Tolerance, Information Processing 89. / A. Avizienis Proceedings of the IFIP 11th World Computer Congress, 1989. -pp. 491−498.
  31. Avizienis, A. Dependable Computing Depends on Structured Fault Tolerancc. / A. Avizienis Proceedings of the 1995 6t h International Symposium on Software Reliability Engineering, Toulouse, France, 1995. — pp. 158−168.
  32. Avizienis, A. Toward Systematic Design of Fault-Tolerant Systems. / A. Avizienis Computer, April 1997. — pp. 51−58.
  33. Bressoud, T. C. TFT: A Software System for Application-Transparent Fault Tolerance. / T. C. Bressoud Digest of Papers: Twenty-Eight Annual International Symposium on Fault-Tolerant Computing, Munich, Germany, June 23−25, 1998.-pp. 128−137.
  34. Saglietti, F. Strategies for the Achievement and Assessment of Software Fault-Tolerance. / F. Saglietti IFAC 1990 World Congress, Automatic Control. Vol. IV, IFAC Symposia Series, Number 4, 1991. — pp. 303−308.
  35. Knight, J. C. A Large Scale Experiment in N-Version Programming. / J. C. Knight Digest of Papers FTCS-15: The 15th Annual International Conference on Fault Tolerant Computing, June 1985. — pp. 135−139.
  36. Knight, J. C. An Experimental Evaluation of the Assumption of Independence in Multiversion Programming. / J. C. Knight, N. G. Leveson IEEE Transactions on Software Engineering, Vol. SE-12, No. 1, January 1986. — pp. 96−109.
  37. Eckhardt, D. E. An Experimental Evaluation of Software Redundancy as a Strategy for Imp roving Reliability. / D. E. Eckhardt IEEE Transactions on Software Engineering, Vol. 17, No. 7, July 1991. — pp. 692−702.
  38. Anderson, T. A Structured Mechanism for Diverse Software. / T. Anderson -Proceedings of the Fifth Symposium on Reliability in Distributed Software and Database Systems, January 1986. pp. 125−129.
  39. Lorczack, P. R. A Theoretical Investigation of Generalized Voters for Redundant Systems. / P. R. Lorczack Digest of Papers FTCS-19: The Nineteenth International Symposium on Fault-Tolerant Computing, 1989. — pp. 444−451.
  40. Broen, R. B. New Voters for Redundant Systems, Transactions of the ASME. / R. B. Broen Journal of Dynamic Systems, Measurement, and Control, March 1975.-pp. 41−45.
  41. Gersting, J. A Comparison of Voting Algorithms for N-Version Programming. / J. Gersting Proceedings of the 24th Annual Hawaii International Conference on System Sciences, Volume II, January 1991. — pp. 253−262.
  42. Croll, P. R. Dependable, Intelligent Voting for Real-Time Control Software. / P. R. Croll Engineering Applications of Artificial Intelligence, vol. 8, no. 6, December 1995. — pp. 615−623.
  43. Bass, J. M. Voting in Real-Time Distributed Computer Control Systems. / J. M. Bass PhD Thesis, University of Sheffield, October 1995.
  44. Kelly, J. P. J. Multi-Version Software Development. / J. P. J. Kelly Proceeding of the Fifth IFAC Workshop, Safety of Computer Control Systems, f October 1986. pp. 43−49.
  45. Tso, K. S. Community Error Recovery in N-Version Software: A Design Study with Experimentation. / K. S. Tso, A. Avizienis Digest of Papers FTCS-17: The Seven teenth International Symposium on Fault-Tolerant Computing, July 6−8, 1987.-pp. 127−133.
  46. Saglietti, F. The Impact of Voter Granularity in Fault-Tolerant Software on System Reliability and Availability. / F. Saglietti, M. Kersken, Software Fault Tolerance: Achievement and Assessment Strategies, Springer-Verlag, 1991.
  47. Voas, J. M. Certifying Off-the-Shelf Software Components. / J. M. Voas -IEEE Computer, Vol. 31, June 1998. pp. 53−59.
  48. Salles, F. MetaKernels and Fault Containment Wrappers. / F. Salles Digest of
  49. Papers: Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, Madison, Wisconsin, June 15- 18, 1999. pp. 22−29.
  50. Koopman, P. Comparing Operating Systems Using Robustness Benchmarks. / P. Koopman Proceedings of the 1997 16lh IEEE Symposium on Reliable Distributed Systems, October 1997. — pp. 72−79.
  51. Russinovich, M. Application Transparent Fault Management in Fault Tolerant Mach. / M. Russinovich Digest of Papers: The Twenty-Third International
  52. Symposium on Fault-Tolerant Computing (FTCS-23), Toulouse, France, June 22−24, 1993.-pp. 10−19.
  53. Russinovich, M. Application Transparent Fault Managemet in Fault Tolerant Mach, in Foundations of Dependable Computing System Implementation. / M. Russinovich, G. M. Koob, C. G. Lau -Kluwer Academic Publishers, 1994. -pp. 215−241.
  54. Russinovich, M. Fault-Tolerance for Off-The-Shelf Applications and Hardware. / M. Russinovich, Z. Segall Digest of Papers: The Twenty-Fifth International Symposium on Fault-Tolerant Computing, Pasadena, CA, June 27 -30, 1995.-pp. 67−71.
  55. , И.В. Автоматизация создания программных средств систем управления. / В кн.: Микроэлектронные устройства: проектирование и технология. Красноярск. КПИ, 1990. — С. 79−85.
  56. И.В. Многоатрибутивная модель формирования гарантоспособного набора проектов мультиверсионных программных систем. / И. В. Ковалев, Р.Ю. Царев- Вестник НИИ СУВПТ. Вып.7. -Красноярск: НИИ СУВПТ, 2001. — С. 129−137.
  57. , И.В. Оптимальное проектирование мультиверсионных систем управления. / И. В. Ковалев, А. А. Попов, А. С. Привалов. Доклады НТК смеждународным участием «Информационные технологии в инновационных проектах». Ижевск: ИжГТУ, 2000. — С. 24−29.
  58. , И.В. Параллельные процессы в информационно-управляющих системах. Формирование и оптимизация: Монография. / И. В. Ковалев, Р. Ю. Царев, Ю. Г. Шиповалов. Под ред. д.т.н., проф. A.B. Медведева. -Красноярск: НИИ СУВПТ, 2001. — 143 с
  59. , И.В. Система мультиверсионного формирования программного обеспечения управления космическими аппаратами: Диссертация на соискание ученой степени доктора технических наук. / Красноярск: КГТУ, 1997.-228 с.
  60. Ковалев, И. В. Оценка надежности аппаратно-программного информационно-управляющего комплекса. САКС-2002. / И. В. Ковалев, Р. В Юнусов-: Тезисы докладов международной научно-практической
  61. Ш конференции (6−7 дек. 2002, г. Красноярск)/ СибГАУ. Красноярск, 2002.1. С. 352−353
  62. , И.В. Мультиверсионный метод повышения программной надежности информационно-телекоммуникационных технологий вкорпоративных структурах. / И. В. Ковалев, Р.В. Юнусов-
  63. Телекоммуникации и информатизация образования. 2003. № 2, С. 50−55
  64. , A.A. Бинарная модель отказоустойчивой системы программного обеспечения: Доклады НТК с международным участием «Информационные технологии в инновационных проектах». / A.A. Попов, A.C. Привалов. Ижевск: ИжГТУ, 2000. — С. 77−83
  65. , А. А. Повышение качества программ на основе автоматизированных методов. / А. А. Саркисян М.: Радио и связь, 1991.1. Ш -160 с.
  66. , Р.Ю. Многокритериальное принятие решений при создании отказоустойчивого программного обеспечения. / Вестник НИИ СУВПТ. -Вып.2. Красноярск: НИИ СУВПТ, 1999. — С. 190−194.
  67. , Р.Ю. Преобразование атрибутов при многоатрибутивном принятии решения. / Решетневские чтения. Тез. докл. V Всерос. Научн.-практ. конф. студентов, аспирантов молодых специалистов 12−15 ноября 2001 г. -Красноярск: CAA, 2001. С. 119−120.
  68. , Р.В. Анализ надежности аппаратно-программного информационно-управляющего комплекса. / Вестник НИИ СУВПТ: Сб. научн. Трудов. / Под общей ред. профессора Н.В. Василенко- Красноярск: НИИ СУВПТ. 2003. Выпуск 11. С. 103−106.
  69. , Р.В. Оценка надежности программного обеспечения клиент-сервер на примере комплексной системы управления предприятием «Галактика». / Вестник НИИСУВПТ- Красноярск: НИИ СУВПТ.-2001. -Вып.7. С. 107−112.
  70. , Р.В. Оценка надежности и гарантоспособная модель архитектуры программного обеспечения. / Вестник НИИСУВПТ- Красноярск: НИИСУВПТ.2001. Вып.8. С. 194−208.
  71. , Р.В. Моделирование программных архитектур автоматизированных систем управления. / Управляющие и вычислительные системы. Новые технологии: Материалы всероссийской электронной научно-технической конференции. Вологда: ВоГТУ. 2001. С. 60−61.
  72. , Д. Программное обеспечение и его разработка: Пер. с англ. / Д. Фокс М.: Мир, 1985. — 268 с.
  73. Л. Проектирование информационных систем. / Л. Козленко -М.: КомпьютерПресс, № 9−11, 2001.
  74. С.А. Технологии разработки программного обеспечения. / С. А. Орлов СПб.: Питер, 2002.
  75. , Р. Методы управления проектированием программного обеспечения: Пер. с англ. / Р. Гантер, Е. К. Масловский. М.: Мир, 1981. -392 с.
  76. , Г. Надежность программного обеспечения: Пер. с англ. / Г. Майерс, В. Ш. Кауфман. М.: Мир, 1980. — 360 с.
  77. Буч Г. Объектно-ориентированный анализ и проектирование с примерами на С++. / Г. Буч. М.: БИНОМ, 1998. — 560 с.
  78. , Д. С++: библиотека программиста. / Д. Элджер СПб.: Питер, 2000. — 320 с.
  79. , Б. Дизайн и эволюция С++. / Б. Страуструп СПб.: Питер, 2006.-448 с.
  80. , С. Б. Основы программирования на С++. / С. Б. Липпман -Вильяме, 2002. 256 с.
  81. , Г. Решение сложных задач на С++. / Г. Саттер Вильяме, 2002. 400 с.
  82. , Г. Новые сложные задачи на С++. / Г. Саттер Вильяме, 2005. -270 с.
  83. Д. Сущность технологии СОМ. Библиотека программиста. / Д. Бокс. -СПб.: Питер, 2001.-400 с.
  84. Д. Основы СОМ. / Д. Роджерсон Русская Редакция, 2000. -400 с.
  85. Rector, В. ATL Internals. / В. Rector, С. Sells Addison Wesley, 1999. — 635 с.
  86. , Э. Приемы объектно-ориентированного проектирования. Паттерны проектирования. / Э. Гамма, Р. Хелм, Р. Джонсон, Д, Влиссидес СПб.: Питер, 2001.-368 с.
  87. , А. Шаблоны проектирования. / А. Шаллоуей, Д. Р. Трот -Вильяме, 2002. 288 с.
  88. Э. Приемы объектно-ориентированного проектирования. Паттерны проектирования. / Э. Гамма, Р. Хелм, Р. Джонсон СПб.: Питер, 2001 -368 с.
  89. Коберниченко A. Visual Studio 6. Искусство программирования / А. Коберниченко М.:Нолидж, 1999 — 255 с.
  90. Рихтер Дж. Windows для профессионалов: создание эффективных Win32 приложений с учетом специфики 64-разрядной версии Windows / Д. Рихтер М.: Издательско-торговый дом «Русская Редакция», 2001. — 752 с.
  91. , Э. Типичные ошибки проектирования. / Э. Алей СПб.: Питер, 2003 — 224 с.
  92. Antamoshkin, A. System Analysis, Design and Optimization / A. Antamoshkin, H.P. Schwefel, and others. Ofset Press, Krasnoyarsk, 1993. -312 p.
  93. Kovalev, I. V. An Approach for the Reliability Optimization of N-Version Software under Resource and Cost/Timing Constraints. / 16th International Computer Measurement Group Conference, Nashville, TN, USA, December 913, 1991.
  94. Kovalev, I. V. Computer-Aided Modelling of Production Cycles Optimal Sequence in: Letunovsky V.V.(Editor-in-chief): Problems of products quality assurance in machine-building: Proceedings of Int. Conf. KSTU / Krasnoyarsk, 1994.-pp. 43−48.
  95. Kovalev, I. V. Optimization Reliability Model for Telecommunications Software Systems / I. V. Kovalev, A. Privalov, Ju. Shipovalov. In: Modelling, Measurement and Control. — AMSE Periodicals, Vol.4−5, 2000. -pp. 47−52.
  96. Kovalev, I. V. Software engineering of spacecraft control technological cycles / In: «Modelling, Measurement and Control, B». Vol.56, № 3. — AMSE PRESS, 1994.-pp. 45−49.
  97. Kovalev, I.V. Fault-tolerant software architecture creation model based on reliability evaluation / I.V. Kovalev, R.V.Younoussov- Advanced in Modeling & Analysis, vol. 48, № 3−4. Journal of AMSE Periodicals, 2002, pp. 31−43.
Заполнить форму текущей работой

Сессия? Спокойно!