메뉴 건너뛰기




Volumn 87, Issue 2, 2005, Pages 287-294

Synthesis of FBD-based PLC design from NuSCR formal specification

Author keywords

Design specification; FBD; Formal requirements specification; Nuclear power plant controller; PLC

Indexed keywords

ALGORITHMS; AUTOMATION; BINARY CODES; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; CONTROL SYSTEMS; EMBEDDED SYSTEMS; ERROR ANALYSIS; FORMAL LOGIC; NUCLEAR POWER PLANTS; OPTIMIZATION; PROGRAMMABLE LOGIC CONTROLLERS; REAL TIME SYSTEMS;

EID: 5444256870     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2004.05.005     Document Type: Article
Times cited : (15)

References (10)
  • 1
    • 5444250244 scopus 로고    scopus 로고
    • SIEMENS, TELEPERM XP/XS, http://www.powergeneration.siemens.com/en/ processcontrol/index.cfm.
    • TELEPERM XP/XS
  • 2
    • 5444248962 scopus 로고    scopus 로고
    • Formal software requirements specification for digital reactor protection systems
    • June
    • Yoo J, Cha S, Kim CH, Oh Y. Formal software requirements specification for digital reactor protection systems. J KISS: Software and Application June 2004;31(6):750-9.
    • (2004) J KISS: Software and Application , vol.31 , Issue.6 , pp. 750-759
    • Yoo, J.1    Cha, S.2    Kim, C.H.3    Oh, Y.4
  • 3
    • 5444268427 scopus 로고    scopus 로고
    • Korea Nuclear Instrumentation and Control System Research and Development Center
    • KNICS. Korea Nuclear Instrumentation and Control System Research and Development Center. http://www.knics.re.kr/english/eindex.html.
  • 4
    • 5444256664 scopus 로고    scopus 로고
    • A formal software requirements specification method for digital nuclear plants protection systems
    • in press
    • Yoo J, Kim T, Cha S, Lee J-S, Son HS. A formal software requirements specification method for digital nuclear plants protection systems. J Syst and Software 2003 in press.
    • (2003) J Syst and Software
    • Yoo, J.1    Kim, T.2    Cha, S.3    Lee, J.-S.4    Son, H.S.5
  • 6
    • 0018918712 scopus 로고
    • Specifying software requirements for complex systems: New techniques and their application
    • Heninger KL. Specifying software requirements for complex systems: new techniques and their application, IEEE Trans Software Eng 1980: SE-6(1):2-13.
    • (1980) IEEE Trans Software Eng , vol.SE-6 , Issue.1 , pp. 2-13
    • Heninger, K.L.1
  • 10
    • 5444234640 scopus 로고    scopus 로고
    • Procedural transformation from formal software requirement to PLC-based design
    • Korea Advanced Institute of Science and Technology (KAIST), 373-1, Kusong-dong, Yusong-gu, Taejon, Kowrea
    • Yoo J. Bang HJ, Cha S. Procedural transformation from formal software requirement to PLC-based design. Technical Report CS/TR 2004-198. Korea Advanced Institute of Science and Technology (KAIST), 373-1, Kusong-dong, Yusong-gu, Taejon, Kowrea, 2004.
    • (2004) Technical Report , vol.CS-TR 2004-198
    • Yoo, J.1    Bang, H.J.2    Cha, S.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.