지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of Computing Science and Engineering Journal of Computing Science and Engineering Vol.11 No.1
- 발행연도
- 2017.3
- 수록면
- 9 - 23 (15page)
이용수
초록· 키워드
오류제보하기
NuDE 2.0 (Nuclear Development Environment 2.0) is a formal-method-based software development, verification and safety analysis environment for safety-critical digital I&Cs implemented with programmable logic controller (PLC) and field-programmable gate array (FPGA). It simultaneously develops PLC/FPGA software implementations from one requirement/design specification and also helps most of the development, verification, and safety analysis to be performed mechanically and in sequence. The NuDE 2.0 now consists of 25 CASE tools and also includes an in-depth solution for indirect commercial off-the-shelf (COTS) software dedication of new FPGA-based digital I&Cs. We expect that the NuDE 2.0 will be widely used as a means of diversifying software design/implementation and model-based software development methodology.
목차
Abstract
I. INTRODUCTION
II. THE SOFTWARE SYSTEM DEVELOPMENT IN NPPS
III. THE NUDE 2.0
IV. CASE STUDY
V. RELATED WORK
VI. CONCLUSION AND FUTURE WORK
REFERENCES
참고문헌 (95)
참고문헌 신청
Programmable Controllers?Part 3: Programming languages, International Electrotechnical Commission, IEC 61131-3, 1993.
J. G. Choi and D. Y. Lee, “Development of RPS trip logic based on PLD technology,” Nuclear Engineering and Technology, vol. 44, no. 6, pp. 697-708, 2012.
J. Ranta, “The current state of FPGA technology in the nuclear domain,” VTT Technical Research Centre of Finland, Espoo, Finland, 2012.
J. She, “Investigation on the benefits of safety margin improvement in CANDU nuclear power plant using an FPGA-based shutdown system,” Ph.D. dissertation, The University of Western Ontario, Canada, 2012.
L. Lotjonen, “Field-programmable gate arrays in nuclear power plant safety automation,” M.S. thesis, Aalto University, Espoo, Finland, 2013.
J. G. Choi and D. Y. Lee, “Development of RPS trip logic based on PLD technology,” Nuclear Engineering and Technology, vol. 44, no. 6, pp. 697-708, 2012.
J. Ranta, “The current state of FPGA technology in the nuclear domain,” VTT Technical Research Centre of Finland, Espoo, Finland, 2012.
J. She, “Investigation on the benefits of safety margin improvement in CANDU nuclear power plant using an FPGA-based shutdown system,” Ph.D. dissertation, The University of Western Ontario, Canada, 2012.
L. Lotjonen, “Field-programmable gate arrays in nuclear power plant safety automation,” M.S. thesis, Aalto University, Espoo, Finland, 2013.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
FPGA 기반 원전 안전 등급 제어기기 설계
대한전기학회 학술대회 논문집
2020 .07
-
FBDtoVHDL: An Automatic Translation from FBD into VHDL for FPGA Development
Journal of KIISE
2016 .05
-
FPGA 개발 프로그램 점검방안
항공우주시스템공학회 학술행사 논문집
2017 .11
-
항공용 FPGA의 신뢰성 향상을 위한 효과적인 설계 검토 방안
항공우주시스템공학회 학술행사 논문집
2023 .10
-
FPGA 기반 CAN 통신 시스템의 하드웨어 설계 및 검증
대한전기학회 학술대회 논문집
2024 .07
-
Implementation of the Image Processing Technique Using FPGA
제어로봇시스템학회 논문지
2024 .12
-
Software Reliability of Safety Critical FPGA-based System using System Engineering Approach
시스템엔지니어링학술지
2018 .01
-
FPGA 기반 고속 인체 추정 방법 설계 및 구현 연구
Proceedings of KIIT Conference
2023 .06
-
FPGA 기반 원전용 안전등급 제어기의 단계적 검증 절차 및 방법
대한전자공학회 학술대회
2016 .04
-
FPGA 기반 원전용 안전등급 제어기의 단계적 검증 절차 및 방법
정보 및 제어 논문집
2016 .04
-
PLC 프로그램 테스트 자동화를 위한 테스트 시퀀스의 체계적 실행 제어 및 시뮬레이터 기반 출력 방법
정보과학회 컴퓨팅의 실제 논문지
2023 .03
-
핀틀의 위치제어를 위한 전기식 구동장치 제어기의 FPGA 설계
한국추진공학회 학술대회논문집
2020 .11
-
FPGA에서의 Digital Delay Line의 구현
대한전자공학회 학술대회
2017 .06
-
FPGA를 이용한 실시간 경계선 검출 시스템
대한전자공학회 학술대회
2017 .06
-
PLC(Programmable Logic Controller)기반 전기전자기기 비접촉 ON/OFF제어 구현 아이디어에 관한 연구
대한전기학회 학술대회 논문집
2022 .10
-
FPGA 기반 제어기의 단위 시험
정보 및 제어 논문집
2016 .10
-
FPGA 기반 제어기의 단위 시험
대한전기학회 학술대회 논문집
2016 .10
-
CNN을 이용한 신원확인 시스템의 FPGA 구현
대한전자공학회 학술대회
2023 .06
-
원자력발전소 안전등급의 FPGA 기반 디지털 장치 개발을 위한 규제적 고려사항
정보 및 제어 논문집
2017 .10
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2017-569-002394073