Публікація: Application of Formal Verification Methods in a Safety-Oriented Software Development Life Cycle
Ескіз недоступний
Дата
2023-10-14
Автори
Odarushchenko, O. B.
Одарущенко, Олена Борисівна
Назва видання
ISSN
Назва тому
Видання
Proceedings of the 13th IEEE Conference Dependable Systems, Services and Technologies, DESSERT2023, Athens, Greece
Анотація
This 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.
Опис
Ключові слова
formal verification, reliability, safety, safety lifecycle
Бібліографічний опис
Application 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.