Abstract
To date most validation techniques are highly biased towards calculations involving symbolic representations of problems. These calculations are either formal (in the case of consistency and completeness checks), or informal in the case of code inspections. We believe that an essential type of “evidence” of the correctness of the formalization process must be provided by (i.e., must originate from) human-based calculation. We further believe that human calculation can be significantly amplified by shifting from symbolic representations to graphical representations. This paper describes our preliminary efforts in realizing such a representational shift.
This work was supported by the United States Department of Energy under Contract DE-AC04–94AL85000. Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company for the United States Department of Energy.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ricky W. Butler and George B. Finelli. The Infeasibility of Quantifying the Reliability of Life- Critical Real- Time Software.
Thomas P. Caudell. For more on Flatland, see: http://www.unm.ahpcc/homunculus.
C. Michael Holloway. Why Engineers Should Consider Formal Methods.
R. Janicki, D. Parnas, and J. Zucker. Tabular Representations in Relational Documents. CRL Report No. 313, November 1995.
C. Lewerentz and T. Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Lecture Notes in Computer Science Vol. 891, Springer-Verlag.
R. R. Lutz. Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems.
John Rushby. Formal Methods and their Role in the Certification of Critical Systems.
Victor Winter. A Synchronous Paradigm for Modeling Stable Reactive Systems. Proceedings of the 4th International Symposium on High Assurance Systems Engineering (HASE), November 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media New York
About this chapter
Cite this chapter
Winter, V.L., Caudell, T.P. (2001). Using Virtual Reality to Validate System Models. In: Winter, V.L., Bhattacharya, S. (eds) High Integrity Software. The Kluwer International Series in Engineering and Computer Science, vol 577. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-1391-9_12
Download citation
DOI: https://doi.org/10.1007/978-1-4615-1391-9_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5530-4
Online ISBN: 978-1-4615-1391-9
eBook Packages: Springer Book Archive