Requirements analysis phase plays a vital role in drawing the performance and characteristics of critical software systems. As the requirements were global, detailed and complementary as the system was successfully functioning, free of errors and flaws, and adapted to environment dynamicity. In critical systems, such as Nuclear Power Plants (NPPs), implementing software functional requirements (FRs) is not enough to ensure system safety. Non-functional requirements NFRs implementation beside FRs becomes crucial for ensuring such function. NFRs performs other functions that are essentials for system availability, reliability, and dependability. NFRs should be supportive, not precluding to FRs, and keep system complexity and cost as low as possible. To this end, this paper proposes a model for NFRs which have importance in nuclear field based on safety system classification, and graded approach which assign the quality attributes and constraints to a given system based on its importance to safety. This model helps in enhancing the system overall safety without increasing the system complexity and implementation cost without need.
In recent years software has become a key element of safety critical systems. The use of Safety Critical Software Systems (SCSSs) has been increased in many critical systems such as Nuclear Power Plants (NPPs), radiotherapy, aircrafts, and many medical devices. These systems rely on the use of safety critical software in controlling and monitoring critical devices. SCSSs are developed in accordance with a set of guidelines and standards produced by the industry, or imposed by a regulator. Despite of the vital role of SCSSs in saving human life, the environment, and properties, there is no generic methodology for developing such systems based on standards and guidelines. This methodology sets an integrated model that concerned about the safety of critical software systems as a component of the critical systems. It consists of the needed processes required for developing SCSSs free of faults. This methodology ensures that SCSSs are developed using processes based on appropriate standards and guidelines and can be certified accordingly. The objective of this methodology is to produce certified critical software systems that conform to standards and guidelines. The methodology consists of three phases (safety planning and requirements phase, safety analysis phase, and design, implementation, and operation phase). This paper is going to focus on design and implementation phase. The insulin pump system is applied as a case study on the design and implementation phase.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
334 Leonard St
Brooklyn, NY 11211
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.