• Corpus ID: 55397245

A Formal Software Requirements Specification Method for Digital Plants Protection Systems

  title={A Formal Software Requirements Specification Method for Digital Plants Protection Systems},
  author={Junbeom Yoo and Kaist and Sung Deok Cha},
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 supplying different notations on the basis of the typical operation categories. The characteristics of the software process controller in nuclear power plants, s.t. periodic sequential processing and classifiable operations, makes this possible. We introduce the syntax and semantics of NuSCR in the… 
1 Citations
This paper describes the application of a software fault tree analysis (FTA) as one of the analysis techniques for a software safety analysis (SSA) at the design phase and its analysis results for


Software Requirements for the A-7E Aircraft.
The SCR research project introduced a new approach to specifying requirements for real-time embedded systems, and the principles were applied in the development of the Software Requirements of the A-7E Aircraft, as an example of the use of the approach.
Digital Instrumentation and Control Systems in Nuclear Power Plants: Safety and Reliability Issues
This book identifies criteria for the USNRC's review and acceptance of digital applications in nuclear power plants, and develops technical basis and guidance for human factors engineering reviews addressing the operator's ability to detect and manage degraded digital I & C conditions.
Documentation of requirements for computer systems
A functional approach to specifying the requirements of a computer system is discussed, a refinement of the method used in the A-7 aircraft software requirements model document.
Specifying Software Requirements for Complex Systems: New Techniques and Their Application
The purpose of the paper is to introduce the A-7 document as a model of a disciplined approach to requirements specification and the document is available to anyone who wishes to see a fully worked-out example of the approach.
Automated structural analysis of SCR‐style software requirements specifications using PVS
Inspection is found to be ineffective when reviewing requirements to find errors violating structural properties, and current tools used in requirements engineering provide only limited support in automatically enforcing structural correctness of the requirements.
PVS: Combining Specification, Proof Checking, and Model Checking
We claim that no single technique such as rewriting, BDDs, or model checking is effective for all aspects of hardware verification. Many examples need the careful integration of these techniques. We
Safeware: System Safety and Computers
Larch: Languages and Tools for Formal Specification
This monograph discusses the use of formal specifications in program development and introduces the notation of mathematical logic in formal specification languages and supporting tools.
Timed Transition Systems
The scope of applicability for the abstract model of timed transition systems is explored and it is demonstrated that the model can represent a wide variety of phenomena that routinely occur in conjunction with the timed execution of concurrent processes.
Systematic software development using VDM
  • Cliff B. Jones
  • Computer Science
    Prentice Hall International Series in Computer Science
  • 1986
Logic of propositions reasoning about predicates functions and operations set notation composite objects and invariants map notation sequence notation data rectification more on data types operation