A framework for computer-aided validation
Michael, James Bret
MetadataShow full item record
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 understanding of the application as well as the expected behavior of any proposed system for solving the underlying problem by using 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.
The article of record as published may be located at http://dx.doi.org/10.1007/sl 1334-008-0047-2
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Showing items related by title, author, creator and subject.
Michael, James Bret; Shing, Man-Tak (Monterey, California. Naval Postgraduate School, 2007-09); NPS-CS-07-010This 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 ...
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' ...