Embedded systems require safe design methods based on formal methods, as well as safe execution based on fault-tolerance techniques. We propose a safe design method for safe execution systems: it uses discrete controller synthesis (DCS) to generate a correct reconfiguring system. The properties enforced concern consistent execution, functionality fulfillment (whatever the faults, under some fai...

Nowadays, discharge of toxic heavy metals into the environment is anincreasing global concern. In light of this and that the per capita consumption of mushrooms has increased in Iran, the current study was carried out to investigate the levels and health-risk assessment of elements arsenic (As) and zinc (Zn) through consumption of button mushrooms marketed in Kermanshah city in 2016.In this des...

Background: Most studies on occupational health and safety in home and community care focus on the health and safety of professional health care workers such as nurses and therapists and very few address the occupational health and safety of personal support workers (PSWs) who provide 70–80% of community care in the home. The PSW Health and Safety Matters! project provides evidence on the healt...

Manual Handling involves the lifting, carrying, pushing and pulling of materials and objects [1]. Training in safe handling techniques is a recommended way to reduce risk factors associated with manual handling within the working environment, particularly the lifting of low-lying objects as this has long been associated with an increased risk of lower back injuries [2]. However, manual handling...

This paper discusses the concept of a structurally safe traffic system. The crucial question is how potential errors occurring in traffic can be reduced by revising the layout of the road environment. Two considerations play an important role: inherent safety and self-explaining properties. Inherent safety refers to the reduction of potentially dangerous encounters. Traffic systems having self-...

The Constitution of the Republic of South Africa provides that everyone has the right to an environment that is not harmful to their health and well-being. The illegal dumping of hazardous waste poses a danger to the environment when pollutants migrate into water sources and ultimately cause widespread infection or toxicity, endangering the health of humans who might become exposed to infection...