Публікація:
Application of Formal Verification Methods in a Safety-Oriented Software Development Life Cycle

Скорочена інформація про документ
dc.contributor.authorOdarushchenko, O. B.
dc.contributor.authorОдарущенко, Олена Борисівна
dc.date.issued2023-10-14
dc.description.abstractThis article delves into the growing significance of ensuring reliability and functional safety in hardware and embedded software of programmable controllers amidst rapid technological advancement. With the rise of FPGA-based digital Instrumentation and Control Systems (ICS), the need for dependable solutions has led to the development of the RadICS FSC (Functional Safety Controller) Platform by LLC RPC Radiy. While programmable controllers are pivotal across industries, vulnerabilities in their embedded software can lead to dire consequences for safety, economy, and the environment, particularly in safety-critical applications. Given this backdrop, testing embedded software becomes integral to ensuring reliability and safety. Tailored testing approaches are essential due to the unique characteristics of hardware, software, and specific controller applications. These approaches must encompass functional aspects as well as potential vulnerabilities exploitable by malicious actors.
dc.identifier.citationApplication of Formal Verification Methods in a Safety-Oriented Software Development Life Cycle / O. Odarushchenko et al. Proceedings of the 13th IEEE Conference Dependable Systems, Services and Technologies, DESSERT2023, Athens, Greece, October 13-15, 2023, Pp.1-6.
dc.identifier.isbn979-8-3503-9611-9
dc.identifier.urihttps://dspace.pdau.edu.ua/handle/123456789/22179
dc.language.isoen
dc.publisherProceedings of the 13th IEEE Conference Dependable Systems, Services and Technologies, DESSERT2023, Athens, Greece
dc.subjectformal verification
dc.subjectreliability
dc.subjectsafety
dc.subjectsafety lifecycle
dc.titleApplication of Formal Verification Methods in a Safety-Oriented Software Development Life Cycle
dc.title.alternativeЗастосування методів формальної верифікації в життєвому циклі розробки програмного забезпечення, орієнтованого на безпеку.
dc.typeArticle
dspace.entity.typePublication
Файли
Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
18_Application of Formal Verification Methods in a Safety-Oriented Sof.pdf
Розмір:
531.61 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
17.09 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити
Зібрання
Друковані видання