ГОСТ Р МЭК 60880—2010
- демонстрации правильности синтаксиса для спецификации программного обеспечения с помощью интег
рированных проверочных инструментальных программ:
- создание эффективного управления конфигурацией путем безошибочной идентификации всех компонен
тов программного обеспечения [например, с использованием контрольных сумм CRC (cyclical redundancy check -
циклический избыточный код)];
- верификация для обеспечения правильной технологии на каждом этапе проектирования;
- верификация проекта посредством моделирования;
-диагностика и проверка программного обеспечения, работающего в целевой системе, посредством обслу
живающих инструментальных программ:
- проектирование СКУ посредством инструментальных программ по оценке работы процессора и шины при
наибольших нагрузках:
- управление проектными данными посредством базы данных для всех существенных проектных данных.
С.3.2 Инструментальные программы автоматической генерации
В приведенном выше примере инструментальные программы для автоматической генерации кода облада
ют следующими характеристиками:
a) автоматическая генерация кода охватывает всю область прикладных функций, прикладных данных и
коммуникации между всеми устройствами обработки системы класса 1;
b
) установлены входные обозначения для автоматической генерации кода (синтаксис и семантика):
c) прикладные функции установлены с помощью функциональных диаграмм;
d) инструментальные программы позволяют осуществлять назначение проектируемых функций соответ
ствующим устройствам обработки;
e) использованы испытанные правила проектирования программного обеспечения, интегрированные в
инструментальную программу, которые обеспечивают:
- ясную структуру генерируемого исходного кода, соответствующего основным требованиям настоящего стан
дарта.
- алгоритм управления программы не зависит от последовательности обращений к графической специфи
кации.
- алгебраические проверки для избежания исключительных ситуаций.
- использование статического распределения ресурсов:
f) код генерируется на языке высокого уровня, который позволяет использовать стандартные компиляторы
при получении исполняемого объектного кода для целевой системы. Код генерируется отслеживаемым путем,
непосредственно связанным с кодами моделирования станции для анализа переходных процессов и возмуще
ний.
62