СИСТЕМА И СПОСОБ ВЕРИФИКАЦИИ И АТТЕСТАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ РЕЗЕРВИРОВАНИЯ В СИСТЕМАХ PLC (ПРОГРАММИРУЕМОГО ЛОГИЧЕСКОГО УПРАВЛЕНИЯ)

1. Компьютерно-считываемый носитель, содержащий инструкции по программированию для выполнения верификации и аттестации программного обеспечения резервирования для системы программируемого логического управления (PLC), при этом упомянутый носитель содержит инструкции по программированию для:
обработки требований к резервированию контроллера PLC для создания спецификации возможностей, в том числе сравнения требований к резервированию контроллера PLC и созданной спецификации возможностей, чтобы верифицировать и аттестовать то, что все требования к резервированию должным образом представлены в спецификации возможностей;
обработки спецификации возможностей для создания соответствующей спецификации архитектуры программных компонентов, способных исполнять заданные возможности, и рабочего проектного документа каждого программного компонента, в том числе сравнения спецификации возможностей и спецификации архитектуры и рабочих проектных документов, чтобы верифицировать и аттестовать то, что все возможности должным образом представлены в спецификации архитектуры и соответствующих рабочих проектных документах;
получения проектного решения конечного автомата на основе рабочих проектных документов и верификации проектного решения конечного автомата;
создания модулей исходных кодов на основе рабочих проектных документов, при этом каждый модуль исходного кода тестируется для выполнения верификации и аттестации; и
компоновки верифицированных и аттестованных модулей исходных кодов с компонентами резервирования системы PLC, в том числе, выполнения верификации и аттестации работы модулей исходных кодов в системе PLC.
2. Компьютерно-считываемый носитель по п.1, в котором инструкции по программированию для обработки требований к резервированию контроллера PLC содержат верификацию функциональных характеристик созданных возможностей в спецификации возможностей и аттестацию характеристик процесса созданных возможностей в спецификации возможностей.
3. Компьютерно-считываемый носитель по п.2, в котором функциональные характеристики выбирают из группы, состоящей из: распределения по времени, точности, безопасности и функций.
4. Компьютерно-считываемый носитель по п.2, в котором характеристики процесса выбирают из группы, состоящей из: непротиворечивости, прослеживаемости, однозначности и правильности.
5. Компьютерно-считываемый носитель по п.1, в котором инструкции по программированию для обработки спецификации возможностей для создания соответствующей спецификации архитектуры программных компонентов содержат средство верификации модели для верификации и аттестации работы каждого программного компонента.
6. Компьютерно-считываемый носитель по п.1, в котором инструкции по программированию для создания модулей исходных кодов на основе рабочих проектных документов используют средство верификации модели и структуру тестирования модуля исходного кода для выполнения верификации и аттестации.
7. Компьютерно-считываемый носитель по п.6, в котором структура тестирования модуля исходного кода содержит инструкции по программированию для планирования теста, проектирования варианта теста, исполнения варианта теста и сообщения результата теста.
8. Компьютерно-считываемый носитель по п.1, в котором инструкции по программированию для компоновки верифицированных и аттестованных модулей исходных кодов с компонентом резервирования системы PLC, содержит использование спецификации возможностей для верификации того, что все требуемые возможности реализованы и тестированы правильно.
9. Компьютерно-считываемый носитель по п.8, в котором инструкции по программированию выполняют компоновочное тестирование со спецификацией возможностей посредством планирования теста, проектирования варианта теста, исполнения варианта теста и сообщения результата теста.
10. Способ, реализуемый в компьютере, для аттестации и верификации разработки программного обеспечения резервирования для системы программируемого логического управления (PLC), при этом, способ содержит следующие этапы:
выполняют обработку требований к резервированию контроллера PLC для создания спецификации возможностей, в том числе сравнение требований к резервированию контроллера PLC и созданной спецификации возможностей, чтобы верифицировать и аттестовать, что все требования к резервированию должным образом представлены в спецификации возможностей;
выполняют обработку спецификации возможностей для создания соответствующей спецификации архитектуры программных компонентов, способных исполнять заданные возможности, и рабочего проектного документа на каждый программный компонент, в том числе сравнение спецификации возможностей и спецификации архитектуры и рабочих проектных документов, чтобы верифицировать и аттестовать, что все возможности должным образом представлены в спецификации архитектуры и соответствующих рабочих проектных документах;
получают проектное решение конечного автомата на основе рабочих проектных документов и верифицируют проектное решение конечного автомата;
создают модули исходных кодов на основе рабочих проектных документов, при этом каждый модуль исходного кода тестируется для выполнения верификации и аттестации; и
компонуют верифицированные и аттестованные модули исходных кодов с компонентом резервирования системы PLC, в том числе, выполняют верификацию и аттестацию работы модулей исходных кодов в системе PLC.
11. Способ по п.10, в котором этап обработки требований к резервированию контроллера PLC содержит следующие дополнительные этапы:
верифицируют функциональные характеристики созданных возможностей в спецификации возможностей; и
аттестуют характеристики процесса созданных возможностей в спецификации возможностей.
12. Способ по п.11, в котором функциональные характеристики выбирают из группы, состоящей из: распределения по времени, точности, безопасности и функций.
13. Способ по п.1, в котором характеристики процесса выбирают из группы, состоящей из: непротиворечивости, прослеживаемости, однозначности и правильности.
14. Способ по п.10, в котором этап обработки спецификации возможностей для создания соответствующей спецификации архитектуры программных компонентов содержит этап применения средства верификации модели для верификации и аттестации работы каждого программного компонента.
15. Способ по п.10, в котором этап создания модулей исходных кодов на основе рабочих проектных документов содержит этап применения средства верификации модели и структуры теста с каждым модулем исходного кода для выполнения верификации и аттестации.
16. Способ по п.15, в котором этап применения структуры теста содержит инструкции по программированию для планирования теста, проектирования варианта теста, исполнения варианта теста и сообщения результата теста.
17. Способ по п.10, в котором этап компоновки верифицированных и аттестованных модулей исходных кодов с компонентом резервирования системы PLC содержит этап применения спецификации возможностей для верификации того, что все требуемые возможности правильно реализованы и тестированы.
18. Способ по п.17, в котором инструкции по программированию выполняют компоновочное тестирование со спецификацией возможностей посредством планирования теста, проектирования варианта теста, исполнения варианта теста и сообщения результата теста.