Єлісєєв В. В. Моделі й методи підвищення відмовостійкості програмно-технічних комплексів інформаційних і керуючих систем енергоблоків АЕС

Дисертація присвячена рішенню важливої науково-технічної проблеми підвищення відмовостійкості ПТК ІКС АЕС на основі впровадження в процеси проектування ПТК моделей і методів, що забезпечують необхідні характеристики функціональності й відмовостійкості ПТК. Запропоновано модель побудови підсистеми ПТК інформаційних і керуючих систем АЕС. Розроблено математичні моделі обчислювальних процесів реального часу в ПТК, які характеризуються високим паралелізмом. Запропоновано модель формальної оцінки й вибору дисциплін диспетчеризації задач за компонентами ПТК, що характеризується введенням параметрів підвищеної точності і продуктивності. Розроблено структурнологічну модель процесів тестування несправностей технічних засобів паралельних ПТК і використання додаткових засобів асинхронного резервування процесів управління.