Assurance Case driven design for software and hardware description language based systems

Abstract

The Claim-Argument-Evidence (CAE) approach is one from the worldly recognized technique directed to find gaps in safety-related Instrumentation and Control systems design and implementation and after that to justify meeting regulatory requirements. An advance approach to improve Assurance (Security and Safety) Case is proposed in a view of Assurance Case Driven Design (AC DD). A practical using of AC DD lays in costeffectiveness improvement of certification and licensing processes. General framework for AC DC as well as update for CAE in view of Development-Verification & Validation-Assurance Case (DVA) notation are proposed in the paper.

Підхід претензій-аргументів-доказів (CAE) є одним із всесвітньо визнаних методів, спрямованих на пошук прогалин у проектуванні та впровадженні контрольно-вимірювальних приладів і систем керування, пов’язаних з безпекою, а потім на обґрунтування відповідності нормативним вимогам. Попередній підхід до покращення обґрунтування гарантії (безпеки та безпеки) пропонується з точки зору дизайну, керованого обґрунтуванням гарантії (AC DD). Практичне застосування AC DD полягає в підвищенні економічної ефективності процесів сертифікації та ліцензування. У документі запропоновано загальну структуру для AC DC, а також оновлення для CAE з огляду на нотацію розробки, перевірки та підтвердження перевірки (DVA).

Подход «претензия-аргумент-доказательство» (CAE) является одним из всемирно признанных методов, направленных на поиск пробелов в проектировании и внедрении систем контроля и управления, связанных с безопасностью, а затем на обоснование соблюдения нормативных требований. Предварительный подход к улучшению случая обеспечения (безопасности и безопасности) предлагается с точки зрения проектирования, управляемого случаями доверия (AC DD). Практическое использование AC DD заключается в повышении экономической эффективности процессов сертификации и лицензирования. В документе предлагается общая структура для AC DC, а также обновление для CAE с учетом нотации случаев разработки-верификации и проверки-гарантии (DVA).