Application of Safety Verification Methodology Framework During Software Development Phases

Abstract

In order to detect and prevent faults, researchers have developed safety standards, safety analysis techniques, and fault-tolerant techniques; however, there are still no methodology frameworks for verifying safety-critical software systems. This research’s methodology combines software-safety methods into a comprehensive whole for the purpose of verifying safety-critical software systems. This research concentrated on developing a methodology framework that combines static-verification, dynamic-verification, and fault-tolerant concepts for verifying safety-critical software systems.