This work presents a theoretical framework for the safety-critical control of time delay systems. The theory barrier functions, that provides formal safety guarantees delay-free systems, is extended to systems with state delay. notion functionals introduced, attain by enforcing forward invariance safe sets defined in infinite dimensional space. proposed able handle multiple delays and distribut...

We detail an approach to safety-critical verification using barrier functions. Our method requires limited system data verify a system's ability keep positive candidate function $h$ at discrete-time intervals over its trajectories. Spec...

This article describes a model of concurrent systems design for developing safety-critical systems. The developed model integrates system design, system safety analysis, and human factors. The model is able to develop the specifications for safety-critical systems easily. System safety analysis is a crucial part of the system effectiveness analysis for safety critical systems that require a con...

a bstract background: medication errors and adverse drug events of high alert medication are one of the major problems in therapeutic system. the purpose of the present study was to investigate ‎the effect of clinical supervision model on high alert medication safety in intensive care units nurses. materials and methods: this was a quasi-experimental study conducted on 32 nurses of intensive ca...

Safety Critical Systems require software that has to be completely verifiable and predictable. This has prevented any use of artificial intelligence in safety critical systems or during the software development process. This increased detail to safety and rigorous manual work to meet the requirements has made the software development of safety critical software very expensive. Increased researc...

the paper discusses the use of modern information technologies, and in particular geographic information systems (gis), in the management and control of major accident risk. for this purpose, the regulatory framework of the recent “seveso ii” directive is briefly described. the referencing in space of the phenomena may be defined in terms of a geometrically exact or a relative location. the for...

Complex safety critical systems are widely used in avionic, nuclear, medical, robotic, automation industries and defence applications. Safety critical system relies a lot on software, either it ensures a system's safety or can expose it by putting the system into a dangerous state. Therefore, when handling with safety critical systems, the first important step is to do hazards identification. B...