The methodology of software quality assurance for safety-critical systems

Quality is the most important factor under software design for a safety-critical system. To achieve the software quality, conventional approaches are used, based on software testing. However, testing complex software may not assure revealing all bugs in the software and, as a consequence, it does not assure a required level of the software quality and safety. In the paper, a methodology of the software quality assurance for a safety-critical system is considered.