ГОСТ Р МЭК 61508-7—2012
Цель. Более систематическое выполнение процедуры проектирования. Включение в проект подходящих ав
томатически сконструированных элементов, уже созданных и проверенных.
Описание. Инструменты автоматизированного проектирования (CAD) должны использоваться в процессе
проектирования как аппаратных, гак и программных средств, если они доступны и их использование обосновано
сложностью системы. Корректность использования таких инструментов должна быть продемонстрирована кон
кретным тестированием, обширной предысторией удовлетворительного использования, либо независимой вери
фикацией их результата для конкретной проектируемой системы, связанной с безопасностью.
Инструменты поддержки должны быть выбраны в соответствии с их уровнем интегрируемости. Инстру
менты считаются интегрируемыми, если они совместно работают так. что выходные данные одного инструмен та
по содержанию и формату подходят для автоматического ввода следующего инструментального средства,
таким образом, минимизируя возможность внесения ошибки человеком в процессе его работы с промежуточ
ными результатами.
Литература:
Overview of TechnologyComputer-Aided Design Toots and Applications in Technology Development. Manufacturing
and Design. W. Fichtner, Journal of Computational and Theoretical Nanoscience. Volume 5. Number 6. June 2008,
pp. 1089—1105(17).
The Electromagnetic Data Exchange: Much more than a Common Data Format. P.E. Frandsen et al. In Proceeding
of the 2nd European Conference onAntennas and Propagation. The Institution of Engineering and Technology (IET). 2007,
ISBN 978-0-86341-842-6.
Software engineering: Update. Ian Sommerville. Addison-Wesley Longman. Amsterdam: 8th ed., 2006. ISBN
0321313798. 9780321313799.
Software Engineering. Ian Sommerville. Pearson Studium. 8. Auflage, 2007. ISBN 3827372577, 9783827372574.
B.3.6 Моделирование
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (таблицы В.2. В.5 и В.6).
Цель. Проведение систематических и полных проверок как функционирования электрических/электронных
схем, так и для корректного задания значений параметров их компонентов.
Описание. Функцию схемы, реализующую систему, связанную с безопасностью, имитируют на компьютере
с помощью запрограммированной модели ее поведения. Поведение каждого отдельного компонента схемы моде
лируют отдельно, и отклик схемы, в которую он входит, анализируют при задании предельных значений параме
тров для каждого компонента.
В.3.7 Проверка (обзор и анализ)
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (таблицы В.2 и В.6).
Цель. Выявление рассогласования между спецификацией и реализацией.
Описание. Проверяются заданные функции системы, связанной с безопасностью. Оценивается соответствие
системы, связанной с безопасностью, требованиям, приведенным в спецификации. Все вызывающие сомнение си
туации при реализации и использовании изделий документируют в целях их последующего разрешения. В отличив от
сквозного контроля во время процедуры проверки разработчик системы пассивен, а эксперт активен.
Литература:
IEC 61160:2005. Design Review.
Software engineering: Update. Ian Sommerville. Addison-Wesley Longman. Amsterdam: 8m ed., 2006. ISBN
0321313798. 9780321313799.
Software Engineering. Ian Sommerville. Pearson Studium. 8. Auflage, 2007. ISBN 3827372577. 9783827372574.
The Art of Software Testing. Second Edition. G. Myers et aJ„ Wiley & Sons, New York. 2004. ISBN 0471469122,
9780471469124.
ANSI/IEE 1028:1997. IEEE Standard for software reviews.
DependabilityofCritical ComputerSystems3. P.G. Bishopet al.. ElsevierAppliedScience. 1990. ISBN 1-85166-544-7.
B.3.8 Сквозной контроль
П р и м е ч а н и е — Ссыпка на данный метод/средство приведена в МЭК 61508-2 (таблица В.6).
Цель. Выявление рассогласования между спецификацией и реализацией.
Описание. Проверяются заданные функции системы, связанной с безопасностью. Оценивается соответ
ствие системы, связанной с безопасностью, требованиям, приведенным в спецификации. Все вызывающие сомне
ние ситуации при реализации и использовании изделий документируются в целях их последующего разрешения. В
отличие от процедуры проверки во время сквозного контроля автордолжен быть активен, а эксперт — пассивен.
Литература:
Software engineering: Update. Ian Sommerville. Addison-Wesley Longman. Amsterdam: 8ln ed.. 2006. ISBN
0321313798.9780321313799.
Software Engineering. Ian Sommerville. Pearson Studium. 8. Auflage, 2007. ISBN 3827372577. 9783827372574.
ANSI/IEE 1028:1997. IEEE Standard for software reviews.
DependabilityofCritical ComputerSystems3. P.G. Bishopetal.. ElsevierApplied Science. 1990. ISBN 1-85166-544-7.
Methodisches Testen von Programmer G.J. Myers. Oldenbourg Verlag, Munchen. Wien. 1987.
23