ГОСТ Р МЭК 61508-7—2012
Цель. Проверка возможности реализации системы при наличии заданных ограничений. Увязка интерпрета
ции разработчика спецификации системы с ее потребителем для исключения непонимания между ними.
Описание. Выделяются подмножество системных функций, ограничения и требования к рабочим параме
трам. С помощью инструментов высокого уровня строится макет. На данном этапе не требуется рассматривать
ограничения, например, используемый компьютер, язык реализации, объем программ, обслуживание, надежность
и доступность. Макет оценивается по критериям потребителя, и системные требования могут быть модифициро
ваны в свете этой оценки.
Литература:
Software Engineering for Real-time Systems. J.E. Cooling. Pearson Education. 2003. ISBN 0201596202.
9780201596205.
C.5.18 Моделирование процесса
П р и м е ч а н и e — Ссыпка на данный метод/средство приведена в МЭК 61508-3 (таблицыA.7.C.7. В.ЗиС.13).
Цель. Тестирование функции программной системы вместе с ее интерфейсами во внешнем окружении,
не допуская модификации реального окружения.
Описание. Создание системы только для целей тестирования, имитирующей поведение управляемого обо
рудования (УО).
Имитация гложет осуществляться только программными средствами либо сочетанием программных и аппа
ратных средств. Она должна:
- обеспечить входные данные, эквивалентные тем. которые реализуются на реальной установке УО:
- реагировать на выходные результаты тестирования программных средств способом, точно отражающим
обьект управления;
- иметь возможность для оператора вводить входные данные, чтобы обеспечить любые возмущения, с кото
рыми должна справиться тестируемая система.
Когда тестируется программное обеспечение, то моделируются заданные аппаратные средства с их входны
ми и выходными данными.
Литература:
EmStar: An Environment for Developing Wireless Embedded Systems Software. J. Elson et al.
http://cens.ucla
.
edu/TechReports/9_emstar.pdf.
A hardware-software co-simulator for embedded system design and debugging. A. Ghosh et al. In Proceedings of
the IFIP International Conference on Computer Hardware Description Languages and TheirApplications. IFIP International
Conference on Very Large Scale Integration. 1995. IEEE. 1995. ISBN 4930813670. 9784930813671.
C.5.19 Требования к реализации
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблица В.6).
Цель. Установление демонстрируемых требований к функционированию системы программных средств.
Описание. Выполняется анализ как системы, так и спецификаций требований программного обеспечения
в целях спецификации всех общих и конкретных, явных и неявных требований к функционированию.
Каждое требование к функционированию анализируется по очереди для того, чтобы определить:
- критерии успешности результата, который следует получить;
- возможность получения меры критерия успешности;
- потенциальную точность таких результатов измерения;
- этапы проектирования, на которых эти результаты измерения могут быть оценены, и
- этапы проектирования, на которых могут быть получены эти результаты измерений.
Затем анализируется целесообразность каждого требования к функционированию для получения списка
требований к функционированию, критериев успешности результата и возможных результатов измерений. Основ
ными целями являются:
- связь каждого требования к функционированию по крайней мере с одной мерой;
- выбор (где это возможно) точных и эффективных мер. которые могут быть использованы на самых ранних
стадиях разработки:
- спецификация важных и факультативных требований к функционированию и критериев успешности ре
зультата;
- использование (по возможности) преимуществ применения одной меры для нескольких требований к функ
ционированию.
Литература:
Software Engineering for Real-time Systems. J.E. Cooling. Pearson Education. 2003. ISBN 0201596202.
9780201596205.
C.5.20 Моделирование реализации
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблицы В.2 и В.5).
Цель. Гарантировать, что рабочая производительность системы достаточна для удовлетворения специфи
цированных требований.
64