ГОСТ Р МЭК 61508-7—2012
ческая структура частичных требований, которая создает основу для спецификации полных требований. Данный
метод выделяет взаимосвязи между частичными требованиями и особенно эффективен при его использовании
для исключения ошибок в этих взаимосвязях.
Литература:
ESA PSS 05-02. Guide to the user requirements definition phase. Issue 1. Revision 1. ESA Board for Software
Standardisation and Control (BSSC), ESA. Paris. March 1995.
ftp://ftp.estec.esa.nl/pub/wm/wme/bssc/PSS0502.pdf.
Structured Analysis and System Specification. T. De Marco, Yourdon Press. Englewood Cliffs. 1979. ISBN-10:
0138543801. ISBN-13: 978-0138543808.
B.2.2 Формальные методы
П р и м е ч а н и я
1 Подробные сведения о конкретных формальных методах приведены в С.2.4.
2 Ссылка на данный метод/средсгво приведена в МЭК 61508-2 (таблицы В.1. В.2 и В.6).
Цель. Формальные методы позволяют строить спецификации и реализации технических систем на принци
пах математического рассуждения, что повышает завершенность, непротиворечивость или корректность специфи
кации или реализации.
Описание. Формальные методы обеспечивают средства разработки описания системы на конкретном этапе
ее спецификации или проектирования. Такие формальные описания являются математическими моделями функ
ции и/или структуры системы.
Поэтому может быть обеспечено однозначное описание системы (например любое состояние автомата опи
сано его начальным состоянием, входами и уравнениями перехода автомата из одного состояния в другое), кото
рое увеличивает понимание основной системы.
Выбор подходящего формального метода является трудной задачей, требующей полного понимания систе
мы. ее процесса разработки и уровня используемых математических моделей (см. примечания).
П р и м е ч а н и я
1 Теоремы модели (описывающие свойства) гарантированно представляют описание системы, которое обеспе
чивает гораздо большее доверие, чем моделирование, заключающееся в наблюдении отдельныхдействий системы.
2 Недостатками формальных методов могут быть:
- фиксированный уровень абстракции;
- ограничения в получении всей функциональности, которая относится к данному этапу;
- трудность понимания модели инженерами, которые ее реализуют;
- значительные усилия, необходимые для разработки, анализа и поддержки модели на всем жизненном ци
кле системы;
- недостаток эффективных инструментов, которые поддерживают создание и анализ модели;
- недостаток персонала, способного разрабатывать и анализировать модель.
3 Интерес сообщества, занимающегося формальными методами, был явно направлен на моделирование це
левой функции системы, часто преуменьшая роль проблемы отказоустойчивости системы. Поэтому должны выби
раться соответствующие формальные методы, включающие возможность решения проблемыустойчивости системы.
Литература:
Formal Specification. Techniques andApplications. N. Nissanke. Spnnger-Verlag Tetos. 1999. ISBN-10:1852330023.
B.2.3 Полуформальные методы
П р и м е ч а н и е — В отличие от приведенного ниже в МЭК 61508-3. таблица В.7, представлен список полу
формальных методов, расширенный методами, связанными с программным обеспечением:
- логические диаграммы/диаграммы функциональных блоков описаны в [7];
- циклограммы описаны в (7J;
- диаграммы потоков данных: см. С.2.2;
- конечные автоматы/диаграммы переходов см. В.2.3.2;
- временные сети Петри см. В.2.3.3;
- модели данных сущность-связь-атрибут см. В.2.4.4;
- диаграммы последовательности сообщений см. С.2.14;
- таблицы решений/таблицы истинности см. С.6.1.
Цель. Создание недвусмысленных и согласованных частей спецификации в целях обнаружения ошибок,
пропусков и неправильного поведения.
П р и м е ч а н и е — Ссылка на данный метод/средсгво приведена в МЭК 61508-2 (таблицы В.1. В.2 и В.6)
и в МЭК 61508-3 (таблицы А.1. А.2. А.4. В.7. С.1. С.2. С.4 и С.17).
В.2.3.1 Общие положения
Цель. Убедиться в том, что проект соответствует своей спецификации.
Описание. Полуформальные методы обеспечивают средства создания описания системы на стадиях ее
разработки (например спецификации, проектирования или кодирования). Описание может быть в некоторых слу
чаях проанализировано на ЭВМ или для отображения различных аспектов поведения системы использована
18