{"id":{"repo_id":"wvu","oai_identifier":"oai:researchrepository.wvu.edu:etd-2114"},"canonical_url":"https://search.dev.ndltd.org/etd/wvu/oai:researchrepository.wvu.edu:etd-2114","repository":{"repo_id":"wvu","name":"West Virginia University","base_url":"https://researchrepository.wvu.edu/do/oai/"},"display":{"title":"Using virtual reality for requirements validation","abstract":"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.","abstract_html":"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.","abstract_has_math":false,"creators":["Desovski, Dejan"],"institution":null,"degree_name":"MS","degree_level":"Thesis","degree_discipline":"Lane Department of Computer Science and Electrical Engineering","degree_department":null,"school":null,"contributors":["Bojan Cukic."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2001,"date_issued":"2001-05-01T07:00:00Z","date_published":"2001-05-01T07:00:00Z","updated_at":"2026-07-24T06:15:16Z","subjects":["Computer science","Systems science"],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["https://researchrepository.wvu.edu/etd/1111"],"render_values":[{"text":"https://researchrepository.wvu.edu/etd/1111","href":"https://researchrepository.wvu.edu/etd/1111","code":true}]}]},"links":{"outbound_url":"https://doi.org/10.33915/etd.1111","outbound_label":"DOI","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Bojan Cukic."]},{"key":"dc:creator","label":"Author","values":["Desovski, Dejan"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.available","label":"Dc Date Available","values":["2019-01-17T08:00:00Z"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Lane Department of Computer Science and Electrical Engineering"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["MS"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Computer science","Systems science"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://doi.org/10.33915/etd.1111","https://researchrepository.wvu.edu/etd/1111"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:title","label":"Title","values":["Using virtual reality for requirements validation"]}]}],"canonical_facts":{"dc:contributor":["Bojan Cukic."],"dc:creator":["Desovski, Dejan"],"dc:date.available":["2019-01-17T08:00:00Z"],"dc:description.abstract":["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."],"dc:identifier":["https://doi.org/10.33915/etd.1111","https://researchrepository.wvu.edu/etd/1111"],"dc:subject":["Computer science","Systems science"],"dc:title":["Using virtual reality for requirements validation"],"thesis:degree_discipline":["Lane Department of Computer Science and Electrical Engineering"],"thesis:degree_level":["Thesis"],"thesis:degree_name":["MS"]},"updated_at":"2026-07-24T06:15:16Z"}