A framework for computer-aided validation
Michael, James Bret
MetadataShow full item record
This paper presents a framework to incorporate computer-based validation techniques to the independent validation and verification (IV&V) of software systems. The framework allows the IV&V team to capture its own understanding of the problem and the expected behavior of any proposed system for solving the problem via an executable system reference model, which uses formal assertions to specify mission- and safety-critical behaviors. The framework uses execution-based model checking to validate the correctness of the assertions and to verify the correctness and adequacy of the system under test.
NPS Report NumberNPS-CS-07-010
Showing items related by title, author, creator and subject.
Drusinsky, Doron; Shin, Man-Tak; Michael, James Bret (2008);This paper presents a framework for augmenting independent validation and verification (IV & V) of software systems with computer-based IV & V techniques. The framework allows an IV & V team to capture its own ...
Sadagic, Amela (2010-11);A large number of contemporary military simulations and game-based systems employ models of human behavior where individual members of simulated military formations are represented as virtual human agents. However, we ...
Raghuram, Devalla (Monterey, California. Naval Postgraduate School, 1992-09);A group membership protocol ensures agreement and consistent commit actions among group members to maintain a sequence of identical group views in spite of continuous changes, either voluntary or otherwise, in processors' ...