Зведений каталог бібліотек Харкова

 

Kharchenko, V. S.
    Assurance Case driven design for software and hardware description language based systems [Текст] / V.S. Kharchenko, V.V. Sklyar // Радіоелектронні і комп'ютерні системи : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : ХАІ, 2016. — С. 98-103.


- Анотація:

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.

- Є складовою частиною документа:

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

  • УДК // Моделювання з використанням математичних моделей
  • Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ
  • Праці співробітників ХАІ // Скляр В.В./Sklyar V.
  • Праці співробітників ХАІ // Харченко В.С./Kharchenko V.S.



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт