Електроний каталог - Науково-технічна бібліотека ім М.Є. Жуковського ХАІ

Cписок

Kharchenko V.S., Sklyar V.V.
Assurance Case driven design for software and hardware description language based systems

Вид документа: Стаття періодики
Автор: Kharchenko V.S., Sklyar V.V. Вид автора: персона
Мова: Англійська Обсяг: P. 98-103
УДК: 004.942

Аннотацiя:

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 cost-effectiveness 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.

Переглянути електронну копію

Є складовою частиною документа: Радіоелектронні і комп'ютерні системи

Відомості щодо головного

Назва головного документа:

Радіоелектронні і комп'ютерні системи

Дата видання головного документа:

2016

Номер частини головного документа:

Загальна інформація

Бібліографія:

Bibliogr.: 12 names

Теми документа: