Virtual environment modelling for requirements validation of high consequence systems

V. Winter, D. Desovski, B. Cukic

Research output: Contribution to conferencePaper

7 Scopus citations

Abstract

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 representation to graphical representations. Having a formally defined system model, we can visualize formulas that represent functional behaviour of the system and associated safety constraints. This, in turn, provides an environment for validation of system models. The visual model strengthens specifier's ability to grasp the 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 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.

Original languageEnglish (US)
Pages23-30
Number of pages8
Publication statusPublished - Jan 1 2001
Event5th IEEE International Symposium on Requirements Engineering - Toronto, Ont, Canada
Duration: Aug 27 2001Aug 31 2001

Conference

Conference5th IEEE International Symposium on Requirements Engineering
CountryCanada
CityToronto, Ont
Period8/27/018/31/01

    Fingerprint

ASJC Scopus subject areas

  • Hardware and Architecture
  • Software
  • Industrial and Manufacturing Engineering

Cite this

Winter, V., Desovski, D., & Cukic, B. (2001). Virtual environment modelling for requirements validation of high consequence systems. 23-30. Paper presented at 5th IEEE International Symposium on Requirements Engineering, Toronto, Ont, Canada.