By Topic

Virtual environment modeling for requirements validation of high consequence systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Winter, V. ; Sandia Nat. Labs., Livermore, CA, USA ; Desovski, D. ; Cukic, Bojan

An essential type of "evidence" of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly amplified by shifting from symbolic representations to graphical representations. Having a formally-defined system model, we can visualize formulas that represent the functional behavior of the system and associated safety constraints. This, in turn, provides an environment for the validation of system models. The visual model strengthens the specifier's ability to grasp the system's complexity, build a correct mental model of the system and write the symbolic specification. The visual model can also serve as a bridge between the domain expert and symbolic specification, and provide evidence of the correctness of the formalization process. As a case study, we developed a virtual environment model for the Production Cell robotic system. The model runs in the ImmersaDesk virtual reality environment. We used this model to evaluate the applicability of virtual reality environments for software requirements validation. Although it introduces higher cost in the requirements formalization phase, this approach can be very beneficial in the development of high-consequence systems

Published in:

Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on

Date of Conference:

2001