ГОСТ Р МЭК 61508-7—2007
Net theory and applications. W. Brauer (ed.). Lecture Notes in Computer Science. Vol. 84. Springer Verlag. 1980.
Petri net theory and modelling of systems. J. L. Peterson. Prentice Hail. 1981.
A tool requirements specification and analysis real time software based on timed Petri nets. S. Bologna.
F. Pisacane. C Ghezzi. D. Mandrioli. Proc. SAFECOMP 88. 9—11 November 1988. Fulda. Fed. Rep. of Germany. 1988.
B.2.4 Автоматизированные средства разработки спецификации
Примечание — Ссылка наданный метод/средство приведена в МЭК 61508-2 (таблицы В.1 иВ.6) и вМЭК
61508-3 (таблицы А.1 иА.2).
В.2.4.1 Общие положения
Цель: использование формальных методов спецификации для упрощения автоматического обнаружения
неоднозначностей и полноты.
Описание: данный метод создает спецификацию в виде базы данных, которая гложет автоматически анали
зироваться для оценки согласованности и полноты. Инструмент спецификации может в интересах пользователя
использовать анимацию различных аспектов специфицированной системы. В общем случае данный метод под
держивает создание не только спецификаций, но и этап проектирования, а также другие этапы жизненного цикла.
Инструменты спецификаций могут быть классифицированы всоответствии со следующими пунктами настоящего
приложения.
В.2.4.2 Инструменты, не ориентированные на конкретный метод
Цель: помощь пользователю в составлении правильной спецификация, применяя подсказки и формируя
связи между соответствующими частями.
Описание: инструмент спецификаций освобождает пользователя от некоторой рутинной процедуры, под
держивает управление проектом и не представляет из себя какую-либо конкретную методологию разработки
спецификаций. Относительная независимость пользователей от метода позволяет быть более свободными при
выборе конкретного метода и дает немного специальной поддержки, необходимой при создании спецификаций,
что усложняет освоение системы.
Литература:
Integrierte Rechnerunterstutzung fur Entwicklung. Projektmanagement und Produktverwaltung mit EPOS.
R. Lauber. P. Lempp. Eiektron. Rechenanlagen 27. Heft 2. 68—74. 1985.
B.2.4.3 Процедура, ориентированная на модель с иерархическим анализом
Цель: помощь пользователю в создании правильной спецификации, обеспечении согласованности между
описаниями процессов и данных на различных уровнях абстрагирования.
Описание: данный метод дает функциональное представление о необходимой системе (структурный ана
лиз) на различных уровнях абстрагирования (степень точности). Структурный анализ проводится на различных
уровнях как с процессами, так и с данными. Оценка неоднозначности и полноты возможна между иерархически ми
уровнями, а также между двумя функциональными единицами (модулями) на одном и том же уровне.
Литература:
Structured Analysis for Requirement Definition. D. T. Ross. К. E. Schomann jr. IEEE Trans, on SE. Januay 1977.
B.2.4.4 Модели сущности
Цель: помощь пользователю в создании правильной спецификации на основе использования при описа
нии системы сущностей и отношений между ними.
Описание: описание проектируемой системы в виде совокупности объектов и отношений между ними по
зволяет определять, какие отношения могут интерпретироваться системой. Вобщем случав эти отношения позво
ляют описывать иерархическую структуру объектов, поток данных, отношения между данными и данные, зависи
мые от конкретных производственных процессов. Этот классический подход расширен применением управления
процессами. Возможности обследования и поддержка пользователя зависят от разнообразия проиллюстриро
ванных отношений. Но множество возможностей представления усложняет применение этого метода.
Литература:
PSL.’PSA Computer-aided Technique for Structured Documentation and Analysis of Information Processing.
D. Terchroew. E. A. Hershey. IEEE Trans on SE. Jan 1977.
Computer Aided Software Development. D. Teichroew. E. A. Hershey. Y. Lamamoto. Beitrag in: Verfahren und
Hilfsmittel fbr Spezifikabon und Entwurf von Proze[iautomatisierungs-systemen. Hommel (ed.). Bericht KfK-PDV 154,
Kernforschungszentrum Karlsruhe. 1978.
PCSL und ESPRESO — zwei Ansatze zur Formalisrerung der Prozessrechner Software-spezifikation. J. Ludewig.
Gl-Fachtagung Prozessrechner 1981, Informatik-Fachberichte Bd. 39. Springer Verlag. Berlin. 1981.
B.2.4.5 Стимул и ответ
Цель: помощь пользователю в создании правильной спецификации путем идентификации взаимоотноше
ний «стимул — ответ».
Описание: взаимоотношения между объектами системы определены в нотации «стимулы» и «ответы».
Используется простой и легко расширяемый язык, который содержит элементы языка, представляющие объекты,
взаимоотношения, характеристики и структуры.
7-Я35
21