Virtual environment modelling for requirements validation of high consequence systems

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2001, Pages 23-30

  Winter, V ^a   Desovski, D ^a   Cukic, B ^a  

^a SANDIA NATIONAL LABORATORIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER GRAPHICS; COMPUTER SIMULATION; ROBOTICS; SAFETY FACTOR; VIRTUAL REALITY; VISUALIZATION;

REQUIREMENT FORMALIZATION PROCESS;

REQUIREMENTS ENGINEERING;

EID: 0034836864     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Using virtual reality to validate system models
2. Formal development of reactive systems: Case study production cell
3. Software safety: Why, what, and how
4. SCR*: A toolset for specifying and analyzing requirements
5. Documentation for safety critical software
6. The ImmersaDesk and infinity wall projection-based virtual reality displays
7. Using immersive virtual environments for certification
8. The effective use of animation in simulation model validation
9. Seeing is believing: The importance of visualization in manufacturing simulation
10. On the lattice of specifications: Applications to a specification methodology
11. A synchronous paradigm for modelling stable reactive systems