A framework for performing verification and validation in reuse-based software engineering
Annals of Software Engineering
On-line Testing for Application Software of Widely-Distributed Systems
SRDS '96 Proceedings of the 15th Symposium on Reliable Distributed Systems
A systematic mapping study on the combination of static and dynamic quality assurance techniques
Information and Software Technology
Hi-index | 0.00 |
The use of software verification and validation to assure the safety of flight control systems is described. The process considered is performed by the system's developers, not by a separate group as is typical, and it examines the software as part of the system, with emphasis on techniques for review, simulation, and integration and system testing. The use of hardware-in-the-loop simulations for dynamic system verification and flight qualification is discussed.