VERIFICATION AND VALIDATION OF A SAFETY SYSTEM FOR A FUEL-CELL RESEARCH FACILITY: A CASE STUDY
This thesis constitutes an effort of verifying and validating a safety system designed for a specific research facility. An initial comprehensive review of the system design is presented, detailing all the relevant aspects of the system and investigating the way its design development interrelates to the formal "safety analysis" procedures proposed in the literature. The verification process includes the development of a complete formal specification for the system and the investigation of how well the original design follows its formal requirements. The validation process details the system’s hardware and software implementations, discusses the testing approach, and evaluates the final outcomes. In summary, this work can be considered as an effort to prove that the operation of the laboratory in question, within the designed safety system’s scope, is safe.
School Location:USA - Ohio
Source Type:Master's Thesis
Keywords:system safety critical systems software engineering modeling finite state machine specification verification validation liveness self stabilization real time
Date of Publication:01/01/2007