Skip to Main Content
 

Global Search Box

 
 
 
 

Files

File List


ohiou1180552564.pdf (1.13 MB)

ETD Abstract Container

Abstract Header

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

Faria, Daniel C.
http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1180552564

Abstract Details

2007, Master of Science (MS), Ohio University, Computer Science (Engineering).
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.
Frank Drews (Advisor)
162 p.
system safety; critical systems; software engineering; system modeling; finite-state-machine; specification; verification; validation; safety; liveness; self-stabilization; real-time systems

Recommended Citations

Citations

  • Faria, D. C. (2007). VERIFICATION AND VALIDATION OF A SAFETY SYSTEM FOR A FUEL-CELL RESEARCH FACILITY: A CASE STUDY [Master's thesis, Ohio University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1180552564

    APA Style (7th edition)

  • Faria, Daniel. VERIFICATION AND VALIDATION OF A SAFETY SYSTEM FOR A FUEL-CELL RESEARCH FACILITY: A CASE STUDY. 2007. Ohio University, Master's thesis. OhioLINK Electronic Theses and Dissertations Center, http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1180552564.

    MLA Style (8th edition)

  • Faria, Daniel. "VERIFICATION AND VALIDATION OF A SAFETY SYSTEM FOR A FUEL-CELL RESEARCH FACILITY: A CASE STUDY." Master's thesis, Ohio University, 2007. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1180552564

    Chicago Manual of Style (17th edition)

ohiou1180552564
2,244
© 2007, all rights reserved.
This open access ETD is published by Ohio University and OhioLINK.