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 S. 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… Expand
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 forExpand


Software Requirements for the A-7E Aircraft.
Abstract : The Software Cost Reduction (SCR) research project introduced a new approach to specifying requirements for real-time embedded systems. The principles were applied in the development ofExpand
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. Expand
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. Expand
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. Expand
PVS: Combining Specification, Proof Checking, and Model Checking
PVS (Prototype Verification System) is an environment for constructing clear and precise specifications and for developing readable proofs that have been mechanically verified. It is designed toExpand
Safeware: System Safety and Computers
I The Nature Of Risk. Risk In Modern Society. Changing Attitudes Toward Risk. Is Increased Concern Justified?. Unique Risk Factors in Industrialized Society. Computers And Risk. The Role of ComputersExpand
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. Expand
Symbolic model checking
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. Expand
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 operationExpand