Создание самокрректирующихся программ для решения прикладных задач
13
В данной работе показана принципиальная возможность реализа-
ции самокорректирующихся программ в различных предметных
областях. Такие программы вместе с самокорректирующимися схе-
мами [7] составляют так называемые самокорректирующиеся сре-
ды [2, 5], которые могут стать базовой основой для разработки без-
опасного программного обеспечения автоматических систем, а также
систем, функционирующих в реальном масштабе времени, работаю-
щих автономно, и т.п.
Идея самокоррекции программ наряду с другими заложена в па-
радигму проактивной безопасности компьютерных систем, которую
предлагается рассматривать как сравнительно новую концептуаль-
ную схему для создания продуктов информационных технологий с
высоким оценочным уровнем доверия [1, 2, 4, 5].
ЛИТЕРАТУРА
[1] Казарин О.В. Проактивная безопасность вычислительных систем.
Мате-
матика и безопасность информационных технологий. Материалы конфе-
ренции в МГУ — МаБИТ –2004
. Москва, МЦНМО, 2005, с. 306–320.
[2] Казарин О.В. Проактивная безопасность и самокорректирующиеся среды.
Математика и безопасность информационных технологий. Материалы
конференции в МГУ — МаБИТ –2005
. Москва, МЦНМО, 2006, с. 322–334.
[3] Казарин О.В.
Методология защиты программного обеспечения.
Москва,
МЦНМО, 2009, 464 с.
[4] Казарин О.В., Скиба В.Ю. Парадигма проактивной безопасности компьютер-
ных систем.
Защита информации. INSIDE
, 2009, № 5, с. 2–9; № 6, с. 2–7.
[5] Казарин О.В., Скиба В.Ю. Применение самокорректирующихся сред для
обеспечения проактивной безопасности компьютерных систем.
Известия
вузов. Приборостроение,
2010, № 1, с. 34–39.
[6] Камалов Ю.Б., Служивый М.Н. Определение местоположения мобильного
объекта.
Известия Самарского научного центра Российской академии
наук,
2009, № 3 (2), с. 361–368.
[7] Редькин Н.П. Асимптотически минимальные самокорректирующиеся схе-
мы для одной последовательности булевых функций.
Дискретный анализ
и исследование операций. Серия 1,
1996, № 2, с. 62–79.
[8] Уайтхаус Х., Спейзер Дж., Бромли К. Применение параллельных матрич-
ных процессоров для обработки сигналов.
Сверхбольшие интегральные
схемы и современная обработка сигналов.
Москва, Радио и связь, 1989.
[9] Blum M., Luby M., Rubinfeld R. Self-testing/ correcting with applications to
numerical problems.
Proc 22th ACM Symposium on Theory of Computing,
1990, pp. 73–83.
[10] Ergun F., Kumar S.R., Rubinfield R. Approximate checking of polynomials
and functional equations.
Proc. of the 37-th IEEE Symp. on Foundations of
Computer Science,
FOCS, 1996, pp. 592–601.
[11] Freivalds R. Fast probabilistic algorithms.
Lecture Notes in Computer Science.
Mathematical Foundations of CS,
1979, v. 74, pp. 57–69.
[12]
Gemmel P., Lipton R., Rubinfield R., Sudan M., Wigderson A. Self-
testing/correcting for polynomials and for approximate functions.
Proc. 23-rd
ACM Symposium on Theory of Computing,
STOC, 1991, pp. 32–42.
