Verification and validation for trustworthy software systems
Author
Michael, James Bret
Drusinsky, Doron
Otani, Thomas W.
Shing, Man-Tak
Date
2011Metadata
Show full item recordAbstract
The close interaction between high-integrity systems and their operating environments places a high priority on understanding and satisfying both functional requirements (what the software must do) and safety requirements (what the system must not do). However, traditional validation methods that test the delivered system’s behavior against customer expectations are ineffective (and too late) to assure requirement correctness. Validating requirements early in the system life cycle is increasingly important
to organizations that implement capability-based acquisition. For instance, government organizations
such as the US Department of Defense (DoD) now play the role of smart buyers whose job is to acquire a set of capabilities. This makes the task of assuring that the system developers correctly translate capabilities into system specifications even more vital. Without such assurance, the DoD can’t
reasonably expect successful development of trustworthy software-intensive systems. The US Food and Drug Administration (FDA), on the other hand, plays the role of regulator with the responsibility of approving public use of, say, safety critical medical devices and investigating the cause of mishaps involving these devices. The FDA must ensure that the device behaves as the manufacturer
specifies and that the manufacturer acts with due diligence in assessing its products’ trustworthiness - without source code or other detailed information about the systems’ implementation. These examples highlight the need for the continuous and proactive verification and validation (V&V) of complex and safety-critical software systems. This article presents a continuous, computer-aided process that
uses statechart assertions, runtime execution monitoring, and scenario-based testing to specify and validate complex system requirements.
Description
The article of record as published may be found at http://dx.doi.org/10.1109/MS.2011.151
Rights
This 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.Collections
Related items
Showing items related by title, author, creator and subject.
-
A validation methodology for human behavior representation models
Goerger, Simon R.; McGinnis, Michael L.; Darken, Rudolph P. (West Point, New York, United States Military Academy,, 2005-05);The Department of Defense relies heavily on mathematical models and computer simulations to analyze and acquire new weapon systems. Models and simulations help decision-makers understand the differences between systems ... -
A Validation Methodology for Human Behavior Representation Models
Goerger, Simon R.; McGinnis, Michael L.; Darken, Rudolph P. (Monterey, California: Naval Postgraduate School., 2005-01);The Department of Defense (DoD) relies heavily on mathematical models and computer simulations to analyze and acquire new weapon systems. Models and simulations help decision makers understand the differences between systems ... -
Validating Visual Simulation of Small Unit Behavior
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 ...