Verified Hardware/Software Co-Assurance: Enhancing Safety and Security for Critical Systems

• Published in: Annual IEEE Systems Conference pp. 1 - 6
• Main Author: Hardin, David S.
• Format: Conference Proceeding
• Language: English
• Published: IEEE 24.08.2020
• Subjects: Data structures; Filtering algorithms; Hardware; Safety; Software; Software algorithms; Unmanned aerial vehicles

Experienced developers of safety-critical and security-critical systems have long emphasized the importance of applying the highest degree of scrutiny to a system's I/O boundaries. From a safety perspective, input validation is a traditional "best practice." For security-critical arch...