Systematic software development using VDM
Systematic software development using VDM
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Safeware: system safety and computers
Safeware: system safety and computers
Functional documents for computer systems
Science of Computer Programming
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
The denotational semantics of programming languages
Communications of the ACM
Digital Instrumentation and Control Systems in Nuclear Power Plants: Safety and Reliability Issues
Digital Instrumentation and Control Systems in Nuclear Power Plants: Safety and Reliability Issues
Symbolic Model Checking
PVS: Combining Specification, Proof Checking, and Model Checking
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Proceedings of the 2nd India software engineering conference
Means-ends and whole-part traceability analysis of safety requirements
Journal of Systems and Software
Control and data flow testing on function block diagrams
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
NuEditor – a tool suite for specification and verification of NuSCR
SERA'04 Proceedings of the Second international conference on Software Engineering Research, Management and Applications
A safety-focused verification using software fault trees
Future Generation Computer Systems
Hi-index | 0.00 |
This article describes NuSCR, a formal software requirements specification method for digital plant protection system in nuclear power plants. NuSCR improves the readability and specifiability by providing graphical or tabular notations depending on the type of operations. NuSCR specifications can be formally analyzed for completeness, consistency, and against the properties specified in temporal logic. We introduce the syntax and semantics of NuSCR and demonstrate the effectiveness of the approach using reactor protection system, digital protection system being developed in Korea, as a case study.