Среда разработки 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 для визуальной поддержки процесса создания обоснований безопасности.

Оценка надежности и безопасности программных компонентов по разнородным исходным данным при формировании нормативного профиля при сертификации программных продуктов