Доказательство и обеспечение безопасности с использованием формальных нотаций
Наукові видання Харківського національного університету Повітряних Сил
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Доказательство и обеспечение безопасности с использованием формальных нотаций
Доказ та забезпечення безпеки з використанням формальних нотацій Safety assurance and trust cases with the use of formal notations |
|
| Creator |
Е.И. Неткачёва
В.С. Харченко К.І. Неткачова В.С. Харченко K.I. Netkachova V.S. Kharchenko |
|
| Subject |
Безпека життєдіяльності
УДК 4.05 обоснование безопасности, обоснование гарантии, обоснование доверия,, нотация Тулмина, ASCAD, нотация структурирования целей обґрунтування безпеки, обґрунтування гарантії, обґрунтування довіри, нотація Тулміна, Ascad, нотація структурування цілей Safety case, assurance case, trust case, Toulmin, ASCAD, GSN notations |
|
| Description |
Рассмотрены современные подходы к построению доказательства безопасности c использованием формальных нотаций. Представлена концепция обоснований безопасности, гарантии и доверия, описана организация процесса разработки и структура результирующих отчетов по безопасности. Рассмотрены и проанализированы три наиболее распространенные нотации для представления обоснований: нотация Тулмина, Ascad и GSN, с подробным описанием основных элементов и схематичным представлением и анализом моделей аргументов этих нотаций.
Розглянуті сучасні підходи до проведення доказу безпеки з використанням формальних нотацій. Представлена концепція обґрунтувань безпеки, гарантії і довіри, описана організація процесу розробки і структура результуючих звітів про безпеку. Приведені та проаналізовані структури трьох найпоширеніших нотацій для створення обґрунтувань: нотацій Тулміна, Ascad і GSN. Надано детальний опис основних елементів та схематичних зображень і аналіз моделей аргументів цих нотацій. The modern approaches to demonstrating safety with the use of formal notations are described. The concept of safety, assurance and trust cases are presented, the development process and the structure of a typical safety report are outlined. The structures of the three most common notations for representing safety cases (Toulmin, ASCAD and GSN) are reviewed, with their main elements being thoroughly described and the notation argument models schematically illustrated and analyzed. |
|
| Publisher |
Харківський національний університет Повітряних Сил ім. І. Кожедуба
Харьковский национальный университет Воздушных Сил им. И. Кожедуба Kharkiv national Air Force University named after I. Kozhedub |
|
| Date |
2011
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion Рецензована стаття |
|
| Format |
application/pdf
|
|
| Identifier |
http://www.hups.mil.gov.ua/periodic-app/article/1886
|
|
| Source |
Системи озброєння і військова техніка. — 2011. — № 3(27). 89-97
Системы вооружения и военная техника. — 2011. — № 3(27). 89-97 Systems of Arms and Military Equipment. — 2011. — № 3(27). 89-97 1997-9568 |
|
| Language |
rus
|
|
| Relation |
http://www.hups.mil.gov.ua/periodic-app/article/1886/soivt_2011_3_22.pdf
|
|