Nuclear Engineering and Technology

Korean Nuclear Society (한국원자력학회)
권호 표지

The C Language Auto-generation of Reactor Trip Logic Caused by Steam Generator Water Level Using CASE Tools

  • Published : 1999.02.01
Download PDF
⟨ Previous Next ⟩

Abstract

The purpose is to produce a model of nuclear reactor trip logic caused by the steam generator water level of Wolsong 2/3/4 unit through an activity chart and a statechart and to produce C language automatically using Statechart-based Formalism and Stalemate MAGNUM toolset suggested by David Harel Formalism. It was worth attempting auto-generation of C language though we manually made Software Requirement Specification(SRS) for safety-critical software using statechart-based formalism. Most of the phases of the software life-cycle except the software requirement specification of an analysis phase were generated automatically by Computer Aided Software Engineering (CASE) tools. It was verified that automatically produced C language has high productivity, portability, and quality through the simulation.

Keywords

References

  1. STATEMATE MAGNUM Reference Manual, i-Logix
  2. STATEMATE MAGNUM Trailblazer Reference Manual, i-Logix
  3. Modeling Reactive System with Statechart Approach DAVID HAREL;MICHAL POLITI
  4. Proceedings of the 5th International System Safety Conference, System Safety Soc. v.1 Software and System Safety ERICSON, C,A.
  5. System Safety Engineering and Management ROLAND, H.E.;MORIARTY, B.
  6. Nucl. Eng. Int. Computers for Reactor Safety Systems WELLBOURNE, D