Многоверсионные вычисления и развитие парадигмы фон Неймана

Доклад включает обзор результатов в области многоверсионных вычислений, систем и технологий, базирующихся на использовании версионной избыточности ИТ-процессов и продуктов. Анализируются эволюция парадигмы фон Неймана "надежных систем из ненадежных компонент" применительно к современным сложным компьютерным системам и технологиям, начиная от естественно надежных и безопасных кристаллов (систем-на-кристалле) до гарантоспособных ИТ-инфраструктур. Обсуждается ее содержание как парадигмы "гарантоспосбных инфраструктур из негарантоспосбных систем". Дается таксономическая схема многоверсионных вычислений (компьютинга) как одной из базовых концепций. Анализируются области применения многоверсионных систем и технологий применительно к системам безопасности АЭС, аэроксмическим системам, сервис-ориентированным системам на основе веб-технологий.