A Case Study on the Formal Development of a Reactor Safety System
نویسنده
چکیده
The EvalFM project was initiated in order to investigate the applicability of formal methods in the development of safety-critical software-based systems. The overall goal was to explore the strengths and limitations of these methods through practical experience on a realistic example. The present paper presents the main results from the project, related to a case study on the applicability of algebraic specification in the development of a reactor safety system.
منابع مشابه
Radiation Safety Assessment of the New Neutron Radiography System at Tehran Research Reactor
Recently, a new Neutron Radiography (NR) beam line has been designed, constricted, installed and tested based on the use of E-beam tube of Tehran Research Reactor (TRR). Initial tests have been shown that the system can be used for different samples and purposes such as nuclear plates and rods fuels. For this end the system need a suitable irradiation room which should be installed at the NR b...
متن کاملEvaluation of the Performance of Advanced Sequencing Batch Reactor Biological Processes in the Removal of Nutrients from Municipal Wastewater in Yazd City: A Case Study
Background and Objectives: Advanced Sequencing batch reactors (SBR) are one of the most suitable modified activated sludge systems. Due to low cost, optimal efficiency, and easy operation, they are recognized as an effective biological treatment system. The purpose of this study was to determine the performance of the SBR biological process in the removal of organic matter and nutrients from Ya...
متن کاملNuDE: Development Environment for Safety-Critical Software of Nuclear Power Plant
Safety-critical systems are systems where it is essential that system operation is always safe [1]. Therefore, rigorous quality demonstration is important when developing software in safety-critical system. Generally, safety-critical software demands extremely high-confidence verification and validation (V&V) techniques. Additionally, software V&V should be performed in parallel with software d...
متن کاملA dynamic risk analysis on new product development process
Abstract In the dynamic and competitive market, managers seek to find effective strategies for new products development. Since There has not been a thorough research in this field, this study is based on a review on the risks exist in the NPD process and an analysis of risks through FMEA approach to prioritize the existent risks and a modeling behavior of the NPD process and main risks using s...
متن کاملEvaluation of the Efficiency of Integrated Fixed-Film Activated Sludge reactor for Treatment of Wastewater from Vegetable Oil Industries
Background & Aims of the Study: Wastewater discharges from vegetable oil industry cause environmental problem, including pollution of groundwater and surface water. Therefore, this study evaluated the efficiency of Integrated Fixed-Film Activated Sludge (IFAS) reactor for treatment of wastewater from Varamin vegetable oil industries. Materials & Methods: This was an experimental study. The ...
متن کامل