Using virtual reality for requirements validation

Failures of high consequence systems are intolerable. Studies have shown that a significant percentage of safety problems can be traced back to errors in the specification. An important problem that arises during validation is how to include a domain expert in this process. Although the domain experts have exclusive knowledge about the system operation, they may not understand formalisms used for system specification.;Essential type of "evidence" of the correctness of the formalization process must be provided by human-based calculation. Human calculation can be significantly amplified by shifting from symbolic representation to graphical representations. This, in turn, provides an environment for validation of the system model.;We have developed a virtual environment model for the Production Cell robotic system, which runs in an ImmersaDesk Virtual Reality environment. Although it introduces higher cost in the requirements formalization phase, this approach can be very beneficial in the development of high consequence systems.

Name thesis:degree_name

MS

Level thesis:degree_level

Thesis

Discipline thesis:degree_discipline

Lane Department of Computer Science and Electrical Engineering

Year dc:date.available

2001

Author dc:creator

• Desovski, Dejan

Contributors dc:contributor

• Bojan Cukic.

• Computer science
• Systems science

Identifier

https://researchrepository.wvu.edu/etd/1111

OAI identifier oai:identifier

oai:researchrepository.wvu.edu:etd-2114