Главная страница Случайная лекция Мы поможем в написании ваших работ! Порталы: БиологияВойнаГеографияИнформатикаИскусствоИсторияКультураЛингвистикаМатематикаМедицинаОхрана трудаПолитикаПравоПсихологияРелигияТехникаФизикаФилософияЭкономика Мы поможем в написании ваших работ! |
Среда разработки ASCEИнструментальное средство ASCE [41] (редактор обоснования безопасности Аделарда) - это ведущая коммерческая система для разработки и поддержки процесса построения обоснований безопасности и гарантии. ASCE помогает упростить процессы создания и управления обоснованием безопасности, что позволяет добиться уменьшения проектного и системного риска через эффективную и прямую связь аргумента безопасности с его ассоциированным доказательством. Это промышленный стандарт, используемый сотнями организации во многих отраслях промышленности во всем мире. ASCE поддерживает две основные нотации: нотацию ASCAD и нотацию структурирования целей, предоставляет возможности управления информационной сложностью системы, а также значительно упрощает коммуникацию и обсуждение аргументации заинтересованными лицами. Основное применение ASCE - это разработка обоснований безопасности и гарантии. Используемый в ASCE подход основан на представлении о том, что обоснование безопасности или гарантии должно показывать структуру аргумента, а также предоставлять данные и доказательства для обоснования этого аргумента. Однако помимо содействия в разработке обоснований безопасности и гарантии ASCE также является полезным инструментом для разработки графических представлений сложных аргументов, построения гипертекстовых документов, компоновки и изготовления технической документации и др. В частности документация по ASCE (справочный файл в HTML формате) был написан и сгенерирован с помощью ASCE [42]. 1.3.2 Инструменты Emphasis, Cobra, КОНДОР, Atego GSN Modeler Обзор оценочных инструментальных средств Emphasis, Cobra, КОНДОР, предоставляющих поддержку в проведении оценки систем на соответствие требованиям стандартов IEC 61508, ISO 17799 и ISO 27001, а также новой среды моделирования Atego GSN Modeler для визуальной поддержки процесса создания обоснований безопасности.
Дата добавления: 2014-09-01; просмотров: 268; Нарушение авторских прав Мы поможем в написании ваших работ! |