We show how safety analysis can guide the formal development of controlling software of a safety-critical system. The system is specified in action system framework. The framework is based on a firm mathematical foundation within which the reasoning about the correctness and behavior of the system under development is carried out. We encode information about the identified hazards and their lev...

Many factors contribute to the production of safe foods of animal origin. Initiatives for an integrated approach to food safety recognise the importance of optimising transportation conditions to ensure on-farm interventions are preserved. Physical, microbial, and environmental hazards during the transportation process may adversely affect the safety and quality of meat, poultry, and egg produc...

Background: Petrol station attendants are a high risk group and are exposed to occupational hazards with no control over the length and frequency of safety regulation. The study aimed to assess the knowledge of petrol station attendants about the occupational hazards they are exposed to and the safety practices used to prevent them. Materials and Methods: The study was carried out in Sokoto me...

background: in order to avoid potential harm of synthetic additives food, development of novel functional foods containing natural ingredients is considered in current years. in this study, inhibitory effect of echinophora platyloba essential oil (eo) on growth of aspergillus flavus was evaluated in culture media and cheese. methods: e. platyloba eo was extracted by hydrodistillation method usi...

hexachlorocyclohexane, an organochlorine insecticide has been used in agriculture and public health programmes since a very long time. it is very resistant to degradation and thus accumulates in the environment for long time. a microbial consortium was developed in our laboratory which could degrade hexachlorocyclohexane very efficiently in water. a study was carried out to understand the biode...

the main purpose of this study was to investigate the major barriers to application of good agricultural practices (gaps) technologies in sustainability of livestock by ranchers of meshkinshahr. a sample of 120 farmers was selected by using proportional random sampling method. data were collected by means of a questionnaire. validity of questionnaire was determined through agricultural jihad ex...

objective: the aim of this study was to determine the minimum inhibitory concentration (mic) and minimum fungicidal or bactericidal concentration (mfc, mbc) of oleo-gum resin of ferula assafoetida on the growth of food spoilage microbes of bacteria, yeasts and fungal and investigation of the most sensitive of them to oleo-gum resin of these plant. methods: in this study oleo-gum resin of f.assa...

background: antioxidant activities of plant extracts are being studied to increase the shelf life of fish products. some plants such as urtica dioica l. (nettle) can be a good source of antioxidants. the objective of this study was to evaluate the effects of hydroalcoholic and water extracts of nettle leaf on the chemical properties of superchilled minced meat of the common kilka fish (clupeone...

human factors issues associated with roadway design and operations are critical components of improving highway safety. first, the three major components of highway safety are driver behavior, vehicle safety, and roadway safety. the general philosophy in roadside safety follows the priorities of (1) remove the hazard, (2) relocate the hazard, (3) make the hazard forgiving, and (4) shield the ha...

Employer commitment is a key factor in an effective safety program, yet limited research has focused on the safety priorities of retail store managers. To address this, the U.S. National Institute for Occupational Safety and Health recruited 4 experienced ergonomists, who met and interviewed 9 retailers in different parts of the eastern USA. The reports from the 9 interviews were used to docume...