|
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;
DESIGN SPECIFICATIONS;
FORMAL REQUIREMENTS SPECIFICATIONS;
FUNCTION BLOCK DIAGRAM (FBD) CODES;
NUCLEAR POWER PLANT CONTROLLERS;
SYSTEMS ANALYSIS;
|
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)
|