The development of Safety-Critical Java (SCJ) has introduced a novel programming paradigm designed specifically to make Java applicable to safety-critical systems. Unlike in a Java program, memory management is an important concern under the control of the programmer in SCJ. It is, therefore, not possible to apply tools and techniques for Java programs to SCJ. We describe a new technique that u...

Despite the rapidly expanding armamentarium of analgesic drugs and techniques for the management of perioperative pain, effective prevention of acute postsurgical pain still poses unique challenges for practitioners 1. An increasing number of complex operations are being performed on an outpatient basis for which the use of conventional opioid-based IV patient-controlled analgesia (PCA) and cen...

Objectives: An effective safety management requires paying attention to human factors. One of the most important methods for achievement to accident prevention is using safety climate or safety culture. Moreover, some studies suggest that in most organizations behavior contributes to 86-96% of all injuries. This cross-sectional study was performed on the functional units’ workers of Khuzestan P...

Safety performance monitoring through leading indicators is a key initiative that may be able to improve safety performance. Leading indicators are safety metrics that are associated with, and precede, an undesirable/unexpected consequence such as an operational incident, near miss or personal injury. Their utility for risk management comes from the possibility that they may reveal areas of wea...

American teenagers are spending much of their time online. Online communities offer teens perspective, acceptance, connection, and education that were once more limited by geography. However, the online world also opens teens to risks. Adults must decide how to guide teen online behavior in a space that they may not understand. We interviewed 16 experts about teen online behavior, related benef...

Automatic strategy synthesis for a given control objective can be used to generate correct-by-construction controllers of reactive systems. The existing symbolic approach for continuous timed games is a computationally hard task and current tools like UPPAAL TiGa often scale poorly with the model complexity. We suggest an explicit approach for strategy synthesis in the discrete-time setting and...

This paper asks whether technology supported business processes currently used in supply chain management systems (SCMS) are equipped for maintaining business activity in times of crisis. It considers how SCMS accommodate the attempts of Western governments to introduce initiatives for preserving the food supply during pandemics or any other catastrophic event when there is an actual or potenti...

The paper is motivated by real problems encountered in a manufacturing and distribution process. We investigate the impact on the cost of safety stock in the supply chain of a product family in the context of re-engineering the manufacturing and distribution process. The pipeline hedging method is used to derive a model for estimating the safety stock cost in a supply chain. We use the concept ...