К ВОПРОСУ ФОРМИРОВАНИЯ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ С УЧЕТОМ РЕСУРСНЫХ ОГРАНИЧЕНИЙ


Цитировать

Полный текст

Аннотация

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

Об авторах

Илья Аркадьевич Капчинский

Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева

Email: a919@mail.ru
аспирант кафедры системного анализа и исследования операций; Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева

Павел Владимирович Ковалев

Сибирскийо федеральный университет

Email: pvkovalev@mail.ru
аспирант Института космических и информационных технологий; Сибирскийо федеральный университет

Алексей Николаевич Лайков

Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева

аспирант; Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева

Сергей Николаевич Гриценко

Сибирский федеральный университет

старший преподаватель; Сибирский федеральный университет

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

  1. Майерс, Г. Надежность программного обеспечения / Г. Майерс ; пер. с англ. Ю. Ю. Галимова / под ред. В. Ш. Кауфмана . М. : Мир, 1980.
  2. Kovalev, I. System of Multi-Version Development of Spacecrafts Control Software / I. Kovalev. Pro Universitate V erlag Sinzheim, 2001.
  3. Avizienis, A. On the Implementation of N-Version P rogramming f o r S o f tw are F ault T ole ranc e D uring Exe c utio n / A. Avizienis, L. Chen // Proceedings of the IEEE CO MP SAC '77. 1977. P . 149-155.
  4. Randell, B. The Evolution of the Recovery Block Concept / B. Randell, J. Xu // Software Fault Tolerance ; ed. by M. R. L yu. Wiley , 1995.
  5. Kovalev , I. Deriving the optimal Structure of N-V ersion Software under Resource Requirements and Cost/Timing Constraints / I. Kovalev, K.-E. Grosspietsch // Proceedings of Euromicro'2000. Maastricht, 2000. P . 200-207.
  6. Kovalev, I. Optimization models for reliability of telecommunication software systems / I. Kovalev , A. Popov , Ju. Shipovalov // Advances in Modeling & Analysis. Series B . 2000. V ol. 43, № 3-4. P . 41-46.
  7. Ковалев, И. В. Мультиверсионный метод повышения программной надежности информационно-телекоммуникационных технологий в корпоративных структурах / И. В. Ковалев, Р. В. Юнусов // Телекоммуникации и информатизация образования. 2003. № 2 (15). С. 50-55.

Дополнительные файлы

Доп. файлы
Действие
1. JATS XML

© Капчинский И.А., Ковалев П.В., Лайков А.Н., Гриценко С.Н., 2009

Creative Commons License
Эта статья доступна по лицензии Creative Commons Attribution 4.0 International License.

Данный сайт использует cookie-файлы

Продолжая использовать наш сайт, вы даете согласие на обработку файлов cookie, которые обеспечивают правильную работу сайта.

О куки-файлах