Details

VERIFICATION AND VALIDATION OF A SAFETY SYSTEM FOR A FUEL-CELL RESEARCH FACILITY: A CASE STUDY

by Faria, Daniel C.

Abstract (Summary)
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.
Bibliographical Information:

Advisor:

School:Ohio University

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

ISBN:

Date of Publication:01/01/2007

© 2009 OpenThesis.org. All Rights Reserved.