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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Мы поможем в написании ваших работ!