ГОСТ Р МЭК 61508-7—2007
- если объем базы данных играет важную роль, то этот объем увеличивается относительно ее объема при
нормальных условиях;
- имеющие решающее влияние устройства настраиваются на свои максимальные скорости или самые ма
лые скорости соответственно;
- для экстремальных тестов все факторы, имеющие решающее влияние, по возможности вводятся одновре
менно в граничные условия.
Для указанных выше тестов может быть оценено поведение во времени тестируемого объекта. Можно
также исследовать изменения нагрузки и проверить размер внутренних буферов или динамических переменных,
стеков ит. п.
С.5.22 Ограничения на время реакции и объем памяти
П р и м е ч а н и е — Ссылка на данный метод’средство приведена в МЭК 61508-3 (таблица В.6).
Цель; обеспечение соответствия системы требованиям к параметрам времени и памяти.
Описание; спецификация требований к системе и программному обеспечению включает в себя требования
к памяти и времени выполнения системой конкретных функций, возможно, объединенных с ограничениями на
использование общих системных ресурсов.
Данный метод выполняется для определения распределения запросов при средних и наихудших условиях.
Рассматриваемый метод требует оценки используемых ресурсов и затраченного времени каждой функцией сис
темы. Такие оценки могут быть получены различными способами, например сравнением с существующей систе
мой или макетированием и дальнейшим сравнением времени реакции с критическими системами.
С.5.23Анализ влияния
П р и м е ч а н и е — Ссылка на данный метод|’средство приведена в МЭК 61508-3 (таблица А.8).
Цель; определение влияния, изменяющего или расширяющего программную систему, которому могут под
вергаться также и другие программные модули в данной программной системе, а также другие системы.
Описание: перед выполнением модификации или расширения программного обеспечения следует опре
делить влияние модификаций или расширений на программное обеспечение, а также определить, на какие
программные системы и программные модули это повлияет.
Далее принимается решение о повторной верификации программной системы. Это зависит от числа, под
вергнувшихся воздействию программных модулей, их критичности и характера изменений. Возможными решени
ями могут быть;
- повторная проверка только изменений программного модуля;
- повторная проверка вех. подвергнувшихся воздействию, программных модулей;
- повторная проверка всей системы.
Литература;
Dependability of Critical Computer Systenrs 2. F. J. Redmill, Elsevier Applied Science. 1989. IS8N 1-85166-381-9.
C.5.24Управление конфигурацией программного обеспечения
П р и м е ч а н и е — Ссылка на данный метод|’средство приведена в МЭК 61508-3 (таблица А.8).
Цель; обеспечение согласованности результатов работы групп поставщиков проекта, а также изменений в
этих поставках. В общем случае управление конфигурацией применимо к разработке как аппаратных, так и про
граммных средств.
Описание: управление конфигурацией программных средств представляет собой метод, используемый в
течение всей разработки. В сущности он требует документирования разработки каждой версии каждой значимой ее
поставки и каждой взаимосвязи между различными версиями разработки различных поставщиков. Получен ная
документация позволяет разработчику определять, как влияет на другие поставки изменение впервой постав ке
(особенно одного из его компонентов). В частности, системы или подсистемы могут надежно компоноваться
(конфигурироваться) из согласованных наборов версий компонентов.
Литература:
Configuration Management Practices for Systems. Equipment. Munitions and Computer Programs. MIL-STD-483.
Software Configuration Management. J. K. Buckie. Macmillan Press. 1982. Soft4vare Configuration Management.
W. A. Babich. Addison-Wesley. 1986.
Configuration Management Requirements for Defence Equipment. UK Ministry of Defence Standards 05-57
Issue 3. July 1993.
C.6 Оценка функциональной безопасности
П р и м е ч а н и е — Соответствующие методы и средства см. также в В.6.
С.6.1 Таблицы решений и таблицы истинности
П р и м е ч а н и е — Ссылка на данный метод’средство приведена в МЭК 61508-3 (таблицы А. 10 и В.7).
Цель; обеспечение ясных и согласующихся спецификаций и анализа сложных логических комбинаций и их
отношений.
58