Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Eui-Sub Kim"'
Publikováno v:
Nuclear Engineering and Technology, Vol 53, Iss 1, Pp 131-141 (2021)
Simulation is a widely used functional verification method for FBD programs of PLC-based digital I&C system in nuclear power plants. It is difficult, however, to estimate the thoroughness (i.e., effectiveness or quality) of a simulation in the absenc
Externí odkaz:
https://doaj.org/article/1e388bc27a0d457498df4861d8350d80
Publikováno v:
Nuclear Engineering and Technology, Vol 48, Iss 2, Pp 470-481 (2016)
Field-programmable gate arrays (FPGAs) have received much attention from the nuclear industry as an alternative platform to programmable logic controllers for digital instrumentation and control. The software aspect of FPGA development consists of se
Externí odkaz:
https://doaj.org/article/b3f2a4dee1c04e8c9cbc5dabc342e5d2
Publikováno v:
Nuclear Engineering and Technology, Vol 45, Iss 4, Pp 489-504 (2013)
Software safety for nuclear reactor protection systems (RPSs) is the most important requirement for the obtainment of permission for operation and export from government authorities, which is why it should be managed with well-experienced software de
Externí odkaz:
https://doaj.org/article/f228414ea3654518af2239b06c783fe9
Publikováno v:
IEICE Transactions on Information and Systems. :1103-1106
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bb2ede08bbb6cdd9571cf159bcfaeb54
https://doi.org/10.1587/transinf.2021edl8073
https://doi.org/10.1587/transinf.2021edl8073
Publikováno v:
Journal of KIISE. 48:107-118
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fe6b588f3dc56b71c17a5e41e13a3b22
https://doi.org/10.5626/jok.2021.48.1.107
https://doi.org/10.5626/jok.2021.48.1.107
Publikováno v:
IEICE Transactions on Information and Systems. :208-211
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a672d6436d69f320b7f53796cd49e49a
https://doi.org/10.1587/transinf.2020edl8090
https://doi.org/10.1587/transinf.2020edl8090
Publikováno v:
Journal of Computing Science and Engineering. 11:9-23
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 ga
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a06d1aee0a8f7efada27852126f7e9a
https://doi.org/10.5626/jcse.2017.11.1.9
https://doi.org/10.5626/jcse.2017.11.1.9
Publikováno v:
Annals of Nuclear Energy. 94:338-349
FPGA (Field-Programmable Gate Array) has received much attention from nuclear industry as an alternative platform of PLC (Programmable Logic Controller)-based digital I&C (Instrumentation & Control). Software aspect of FPGA development encompasses se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf90eca5d20501f515b697e3c8941d03
https://doi.org/10.1016/j.anucene.2016.03.026
https://doi.org/10.1016/j.anucene.2016.03.026
Publikováno v:
Journal of KIISE. 43:569-578
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::551461855b11d1bd2077207a1de2c642
https://doi.org/10.5626/jok.2016.43.5.569
https://doi.org/10.5626/jok.2016.43.5.569
Publikováno v:
Nuclear Engineering and Technology, Vol 45, Iss 4, Pp 489-504 (2013)
Software safety for nuclear reactor protection systems (RPSs) is the most important requirement for the obtainment of permission for operation and export from government authorities, which is why it should be managed with well-experienced software de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5374ae91cc8247701d8edfc80e09ecb6