Студопедия

Главная страница Случайная лекция

Порталы:

БиологияВойнаГеографияИнформатикаИскусствоИсторияКультураЛингвистикаМатематикаМедицинаОхрана трудаПолитикаПравоПсихологияРелигияТехникаФизикаФилософияЭкономика






Анализ нотаций и моделей, применяемых при обосновании безопасности

Читайте также:
  1. I ОСОБЕННОСТИ ВЫБОРА И АНАЛИЗА ПОСТАНОВОЧНОГО МАТЕРИАЛА В КОЛЛЕКТИВЕ.
  2. I. АНАЛИЗ И ПОДГОТОВКА ПРОДОЛЬНОГО ПРОФИЛЯ ПУТИ ДЛЯ ВЫПОЛНЕНИЯ ТЯГОВЫХ РАСЧЕТОВ
  3. I. АНАЛИЗ ТЕКУЩЕГО СОСТОЯНИЯ ВНЕШНЕЙ И ВНУТРЕННЕЙ СРЕДЫ ПРЕДПРИЯТИЯ.
  4. Microsoft Excel. Работа с пакетом анализа. Построение простой регрессии
  5. SWOT – анализ
  6. SWOT- анализ
  7. SWOT-анализ.
  8. VI. Техника безопасности при эксплуатации экскаватора одноковшового
  9. Актуальность проблемы безопасности и охраны труда медицинских
  10. Алгоритм анализа профессиональной деятельности

1.2.1. Анализ Ascad нотации

ASCAD - это название нотации, представляющее собой аббревиатуру, которая расшифровывается как разработка обоснования безопасности компании Аделард. Нотация ASCAD была разработана, как часть методологии обоснования безопасности Аделарда. Ее основной идеей для представления аргументной структуры является мотив «утверждения-аргументы-доказательства».

Основными элементами структуры являются [44]:

- Утверждения относительно свойства системы или подсистемы;

- Доказательства или свидетельства, используемые в качестве основания аргументов безопасности. Это могут быть факты, предположения, или дополнительные утверждения, полученные из подаргументов более низкого уровня;

- Аргументы, связывающие между собой доказательства и утверждения, могут быть детерминистическими, вероятностными или качественными;

- Логический вывод - механизм, предоставляющий трансформационные правила для аргументации.

Также является возможным иметь два (или более) независимых аргумента, обосновывающих одно и то же утверждение.

Следует обратить внимание, что доказательством может быть дополнительное утверждение, представленное вспомогательным обоснованием безопасности. Иными словами, обоснованием утверждения может быть ряд дополнительных утверждений нижнего уровня, и можно продемонстрировать утверждение верхнего уровня, показывая, что утверждения нижнего уровня обоснованы, и доказываются, что все аргументы являются достоверными.

Для обоснования утверждений могут быть использованы различные типы аргументации:

- Детерминистическое применение заранее установленных правил для установления истинности или ложности утверждения (принимая во внимание исходные предположений), например, формальное доказательство соответствие спецификации, или демонстрация требования безопасности;

- Вероятностное количественное статистическое обоснование для установления численного уровня (например, средняя наработка до отказа, среднее время восстановления, проверка надежности);

- Качественное соблюдение норм, имеющих косвенную связь с требуемыми атрибутами (например, соблюдение стандартов системы управления качеством, навыки и опыт персонала).

Выбор аргумента будет зависеть от имеющихся доказательств и типа утверждения. Например, утверждения относительно надежности обычно обосновывают статистическими аргументами, в то время как другие утверждения могут опираться на более качественные аргументы, такие как соблюдение норм и правил.


<== предыдущая страница | следующая страница ==>
Организация процесса разработки обоснований безопасности | Обзор графической GSN нотации

Дата добавления: 2014-09-01; просмотров: 538; Нарушение авторских прав


lektsiopedia.org - Лекциопедия - 2013 год. | Страница сгенерирована за: 0.003 сек.