Sciweavers

Share
RE
2001
Springer

Virtual Environment Modeling for Requirements Validation of High Consequence Systems

10 years 3 months ago
Virtual Environment Modeling for Requirements Validation of High Consequence Systems
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 visualizeformulas that represent functional behavior 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 theformalization 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 ap...
Victor L. Winter, Dejan Desovski, Bojan Cukic
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where RE
Authors Victor L. Winter, Dejan Desovski, Bojan Cukic
Comments (0)
books