Development of a verification method for timed function blocks using ESDT and SMV

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 8, Issue , 2004, Pages 285-286

  Song, Myung Jun ^a   Koo, Seo Ryong ^a   Seong, Poong Hyun ^a  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; COMPUTER GRAPHICS; COMPUTER SOFTWARE; DATA REDUCTION; MATHEMATICAL MODELS; NUCLEAR POWER PLANTS; SYNCHRONIZATION;

FUNCTION BLOCK DIAGRAM (EBD); MUTUAL EXCLUSION; SOFTWARE DESIGN SPECIFICATION (SDS); SYMBOLIC MODEL VERIFIER (SMV);

PROGRAMMABLE LOGIC CONTROLLERS;

EID: 2942583155     PISSN: 15302059     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (6)

1. EPRI, Handbook for verification and validation of digital systems Vol.1: Summary, EPRI TR-103291, 1994.
2. Wolsong NPP 2/3/4, Software Requirements Specification for Shutdown Systems 2 PDC, Design Document no. 86-68350-SRS-001, 1993.
3. G. Booch, Object Oriented Analysis and Design with Applications, The Benjamin/Cummings, 1994.
4. IEC, IEC Standard 61131-3: Programmable controllers-Part 3, IEC 61131, 1993.
5. K. McMillan, The SMV system, Carnegie Mellon University, 1992.
6. Kori NPP Unit1. Software requirements specification for ATWS mitigation systems for Kori NPP unit1, 1A110-IC-SX101, 2001.