[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Lee et al., 2013 - Google Patents

A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System

Lee et al., 2013

View PDF
Document ID
4595907338031546281
Author
Lee J
Kim E
Yoo J
Lee J
Publication year
Publication venue
IFAC Proceedings Volumes

External Links

Snippet

Cybersecurity regulations require new I&C (Instrumentation & Control) systems in nuclear power plants to develop software in accordance with secure software development methodology to prevent the digital systems from cyber attacks. One of the common aspects …
Continue reading at 117.16.143.51 (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/57—Certifying or maintaining trusted computer platforms, e.g. secure boots or power-downs, version controls, system software checks, secure updates or assessing vulnerabilities
    • G06F21/577—Assessing vulnerabilities and evaluating computer system security
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/10—Protecting distributed programs or content, e.g. vending or licensing of copyrighted material
    • G06F21/12—Protecting executable software
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/042—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using digital processors
    • G05B19/0426—Programming the control sequence
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5086—Mechanical design, e.g. parametric or variational design
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/20—Pc systems
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/30—Nc systems

Similar Documents

Publication Publication Date Title
Yoo et al. A research on seamless platform change of reactor protection system from PLC to FPGA
Park et al. A development framework for software security in nuclear safety systems: integrating secure development and system security activities
Lee et al. A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System
Yoo et al. A behavior-preserving translation from FBD design to C implementation for reactor protection system software
Bochtler et al. Development of a new IEC standard on cybersecurity controls for I&C in Nuclear Power Plants–IEC 63096
Ulewicz et al. A verification-supported evolution approach to assist software application engineers in industrial factory automation
Babu et al. A hybrid approach to quantify software reliability in nuclear safety systems
Lee et al. Development and application of POSAFE-Q PLC platform
Yoo et al. NuDE 2.0: a model-based software development environment for the PLC & FPGA based digital systems in nuclear power plants
Faller Project experience with IEC 61508 and its consequences
JP6290147B2 (en) Computer-implemented method for creating control device program code and associated message management system
Bel et al. Licensing of safety critical software for nuclear reactors: Common position of international nuclear regulators and authorised technical support organisations
Valentini et al. Formal methodology for safety-critical systems engineering at CERN
Lee et al. Guidelines for the Use of Function Block Diagram in Reactor Protection Systems
Jeong et al. Cyber security evaluation for nuclear I&C systems corresponding to V-model
Lee et al. Quantitative measures of thoroughness of FBD simulations for PLC-based digital I&C system
Guerra et al. Overview of Approaches to the Use and Licensing of COTS Digital Devices in Safety Critical Industries
Gu et al. A Study About Software V&V Evaluation of Safety I&C System in Nuclear Power Plant
Kim et al. A technique for demonstrating safety and correctness of program translators: strategy and case study
Nack Standardizing Functional Safety Assessments for Off-the-Shelf Instrumentation and Controls
Saxena et al. Formal Verification of Conventionally Qualified Safety Critical Systems
Lee et al. Automated Exhaustive Test Case Generation for FBD Program
Alho et al. Breaking down the requirements: Reliability in remote handling software
Wood et al. Taxonomy for Common-Cause Failure Vulnerability and Mitigation
Pakonen et al. Model checking of I&C software in the Loviisa NPP automation renewal project