1. Наука
  2. Видання
  3. Системи озброєння і військова техніка
  4. 3(27)'2011
  5. Доказательство и обеспечение безопасности с использованием формальных нотаций

Доказательство и обеспечение безопасности с использованием формальных нотаций

Е.И. Неткачёва, В.С. Харченко
Тематика статті: Безпека життєдіяльності
УДК 4.05
Мова статті: російська
Анотації на мовах:


Анотація: Рассмотрены современные подходы к построению доказательства безопасности c использованием формальных нотаций. Представлена концепция обоснований безопасности, гарантии и доверия, описана организация процесса разработки и структура результирующих отчетов по безопасности. Рассмотрены и проанализированы три наиболее распространенные нотации для представления обоснований: нотация Тулмина, Ascad и GSN, с подробным описанием основных элементов и схематичным представлением и анализом моделей аргументов этих нотаций.


Ключові слова: обоснование безопасности, обоснование гарантии, обоснование доверия,, нотация Тулмина, ASCAD, нотация структурирования целей
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Неткачёва Е.И., Харченко В.С. Доказательство и обеспечение безопасности с использованием формальных нотаций. Системи озброєння і військова техніка. 2011. № 3(27). С. 89-97.