Learn More
This paper examines the characteristics of computer-controlled safety-critical systems (CCSCS) and analyzes the common causes for hazard in such systems. Based on this analysis, a set of prescriptive specifications is derived to guard the consistency between the computer controller and the physical system to be controlled. A taxonomy and a derivation(More)
This research adopted personal computer transient analyzer-advanced boiling water reactor version (PCTran-ABWR) simulation computer code to analyze the software safety issue for a generic ABWR. A number of postulated instrumentation and control (I&C) system software failure events were derived to perform the dynamic analyses. The basis of event(More)
  • 1