PLC-Based Safety Critical Software Development for Nuclear Power Plants-Reference-Cited by-同舟云学术

PLC-Based Safety Critical Software Development for Nuclear Power Plants

Published:2004 Issue: Volume: Page:155-165
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Yoo Junbeom,Cha Sungdeok,Son Han Seong,Kim Chang Hwoi,Lee Jang-Soo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30138-7_14.pdf

Reference15 articles.

1. Yoo, J., Cha, S., Son, H.S., Kim, C.H., Lee, J.S.: A formal software requirements specification method for digital nuclear plants protection systems. Journal of Systems and Software (2003) (to be published)

2. Commission, I.E.: International standard for programmable controllers: Programming languages, part 3 (1993)

3. Leveson, N.G.: SAFEWARE, System safety and Computers. Addison Wesley, Reading (1995)

4. NRC, U.: Digital Instrumentation and Control Systems in Nuclear Power Plants: safety and reliability issues. National Academy Press (1997)

5. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Programming Languages and Sysems 8, 244–263 (1986)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Development of PLC-based reactor protection system;AIP Conference Proceedings;2024

2. Control;Lecture Notes in Energy;2023

3. Development of Autonomous Operation Agent for Normal and Emergency Situations in Nuclear Power Plants;2021 5th International Conference on System Reliability and Safety (ICSRS);2021-11-24

4. A Case for Certifying Compilers in Industrial Automation;Principled Software Development;2018

5. Software development methodology for computer based I&C systems of prototype fast breeder reactor;Nuclear Engineering and Design;2015-10