The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Despite significant efforts to reduce preventable adverse events in medical processes, such events continue to occur at unacceptable rates. This paper describes a computer science approach that uses formal process modeling to provide situationally aware monitoring and management support to medical professionals performing complex processes. These process models represent both normative and non-normative...
Cyber physical systems, like power plants, medical devices and data centers have to meet high standards, both in terms of safety (i.e. absence of unintentional failures) and security(i.e. no disruptions due to malicious attacks). This paper presents attack fault trees (AFTs), a formalism thatmarries fault trees (safety) and attack trees (security). We equipAFTs with stochastic model checking techniques,...
Many industrial products are controlled by software. Errors in the control software make the products and users danger. To avoid this situation, it is necessary that in expected behaviors and operations do not make the products unsafe state. This paper proposes a method that the control software makes safe by conducting "Failure Mode and Effects Analysis (FMEA)" and "Fault Tree Analysis...
The industrial sector requires not only the performance of systems in terms of quality, productivity and reliability, but also in terms of security. The implementation of Fuzzy Logic Controller (FLC) in Field Programmable Gate Array (FPGA) does not allow only the system reliability and reduce the controller conception life cycle, but also ensures a safety integrity level (SIL) which is required by...
Safety-Critical systems, as used in the automotive, avionics, or aerospace domains, are becoming increasingly software-reliant to the extent that the system cannot function without the software. On one hand the software system provides an integrated set of functionality to operate the system and manage failure and unsafe conditions. Current best safety engineering practices, such as DO178B/C or SAE...
The main objective of System Engineering is the successful development of complex system. It is based on the application of iterative and recursive processes on each phase or step of the system development. One critical process is the requirement management, particularly when it deals with the safety requirements. These one are non-functional requirements and are related to emergent properties, which...
Firstly, this article introduce foreign theoretical research of risk management in the subway tunnel project from four aspects that evaluation theory, management model, accident statistics, risk analysis. Secondly, the paper analyze foreign practice research of risk management in the subway tunnel project from four aspects that computer simulation, information platform, standards, government regulations...
In order to evaluate the safety of lateral separation minima, the EVENT model is used to build the lateral separation minima meet the target level of safety, and the event trees are used to analyze avoiding systems how to effect the collision risk. Consequently, this paper studies not the safety in separation provision, but the safety of overall ATM system. The results show that the lateral separation...
The development of safety-critical systems requires the dasiasafepsila development of a dasiasafepsila system. Not only should the realized system fulfill specific safety goals, but for certification purposes the development process itself has to comply with safety standards. Both of these tasks are complex and cause a lot of effort and costs that cannot be sufficiently reduced by existing safety...
Classic reliability analysis techniques, namely, reliability prediction, fault tree analysis (FTA) and failure mode effect analysis (FMEA) are the framework for the aircraft certification process. These innovative technique have been utilized since the 1990s with the advent of the society of automotive engineer's aerospace recommended practice 4761 (SAE ARP 4761). Today, SAE ARP 4761 is the defacto...
Procedure and method for the design and development of safety instrumented system (SIS) in process industries has been presented. A technique of the system hazard analysis and initial risk assessment used for safety instrumented function (SIF) determination and assignment has been introduced. Procedure and methods of safety integrity level (SIL) selection are investigated in detail. Plan and engineering...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.