Verification of requirements for saftey-critical software

Abstract

The purpose of this paper is to describe a methodology for the verification of safety-critical software. The methodology is implemented with use-cease modeling notation of the Unified Modeling Language (UML). The methodology also contains techniques for creating requirements-based test cases from scenarios. The test cases are formatted for test scripts that exercised the software.