Verification Scenarios for Databases in Safety-Critical Systems

This paper presents comprehensive verification scenarios for databases in safety-critical systems, addressing the unique challenges of stringent regulatory environments. By proposing four distinct verification scenarios, this work ensures that databases used in these systems meet rigorous standards of completeness, correctness, and traceability, as required by RTCA DO-178C. The scenarios include testing databases with application software, using qualifiable data processing and error detection tools, and employing independent data processing tools. The proposed approach enhances the robustness and reliability of databases, contributing significantly to the safety and integrity of critical systems where data quality is paramount.