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

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

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

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