Sensor networks are rather challenging to deploy, program, and debug. Current programming languages for these platforms suffer from a significant semantic gap between their specifications and underlying implementations. This fact precludes the development of (type-)safe applications, which would potentially simplify the task of programming and debugging deployed networks. In this paper we defin...

Background: Today, with the development of technology, the presence and role of human resources has been highlighted in industrial environments. Hence, the importance of safety culture is growing. Mining is the one of the most dangerous occupations. Therefore, this study was performed to determine the effect of health, safety, and environment management system (HSE-MS) on safety climate in one ...

for the purpose of assessing zargandeh waste water treatment risks, preliminary risk assessment and evaluation of safety were conducted. for this purpose air pollution and visual impact were assessed and scored after identifying the activities and various water treatment processes, equipment, and staff positions and the amount of pollution due to wastewater treatment plant. values were measured...

Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In traditional implementations of PCC the producer negotiates beforehand, and in an unspecified way, with the consumer the permission to prove safety in whatever high-level way it chooses. In practice this has meant that highlevel rules for type safety have been hard-wired into th...

background: in process industries, production, storage, transportation, usage and disposal of chemicals are inherently dangerous and the risk of catastrophic accident occurrence is potentially high. to improve safety level in these industries, establishment of process safety management (psm) system is considered as the most effective measures. this study was conducted to determine the degree of...