지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2013.1
- 수록면
- 477 - 488 (12page)
이용수
초록· 키워드
오류제보하기
The PLC (Programmable Logic Controller) has been widely used to implement real-time controllers in nuclear RPSs (Reactor Protection Systems). Increasing complexity and maintenance cost, however, are now demanding more powerful and cost-effective implementation such as FPGA (Field-Programmable Gate Array). Abandoning all experience and knowledge accumulated over the decades and starting an all-new development approach is too risky for such safety-critical systems. This paper proposes an RPS software development process with a platform change from PLC to FPGA, while retaining all outputs from the established development. This paper transforms FBD designs of the PLC-based software development into a behaviorally-equivalent Verilog program, which is a starting point of a typical FPGA-based hardware development. We expect that the proposed software development process can bridge the gap between two software developing approaches with different platforms, such as PLC and FPGA. This paper also demonstrates its effectiveness using an example of a prototype version of a real-world RPS in Korea.
목차
등록된 정보가 없습니다.
참고문헌 (30)
참고문헌 신청
/ / Safety software suite, TriStation 1131
A. Siora / 2008 / Experience of RPC "Radiy" in Designing, Manufacturing and Implementation of FPGA based NPP I&C Systems / 1st Workshop on the Applications of Field-Programmab
C. L. Heitmeyer / 1996 / Automated Consistency Checking of Requirements Specifications / IEEE Transactions on Software Engineering 5 (3) : 231 ~ 261
Electronic Power Research Institute / 1996 / Generic Requirements Specification for Qualifying a Commercially Available PLC for Safety-Related Application in NPPs
IEC / 1993 / International Electrotechnical Commission, International standard for programmable controllers: Programming languages
A. Siora / 2008 / Experience of RPC "Radiy" in Designing, Manufacturing and Implementation of FPGA based NPP I&C Systems / 1st Workshop on the Applications of Field-Programmab
C. L. Heitmeyer / 1996 / Automated Consistency Checking of Requirements Specifications / IEEE Transactions on Software Engineering 5 (3) : 231 ~ 261
Electronic Power Research Institute / 1996 / Generic Requirements Specification for Qualifying a Commercially Available PLC for Safety-Related Application in NPPs
IEC / 1993 / International Electrotechnical Commission, International standard for programmable controllers: Programming languages
이 논문의 저자 정보
최근 본 자료
댓글(0)
0