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

  Завантажити