A type system for formal verification of cyber-physical systems C/C++ software

• Published in: Radìoelektronnì ì komp'ûternì sistemi (Online) Vol. 2024; no. 1; pp. 127 - 142
• Main Authors: Manzhos, Yuriy, Sokolova, Yevheniia
• Format: Journal Article
• Language: English
• Published: National Aerospace University «Kharkiv Aviation Institute 28.02.2024
• Subjects: cyber-physical systems; dimensional analysis; formal verification; orientational analysis; software quality; type system

The subject: This study focuses on improving the quality of Cyber-Physical System (CPS) software by eliminating incorrect usage of units of measurement and orientation in C/C++ programs. Incorrect usage often leads to critical errors that conventional systems cannot effectively prevent. Manual exami...