Issues related to the wearing of fall-arrest harnesses in the construction industry

Work-related falls continues to be one of the leading causes of fatalities in the Australian construction industry, and the failure to use fall protection equipment, such as fall-arrest harnesses and arresting devices, has been found to be a contributing factor. In an attempt to gain an understanding of the issues surrounding the use of fallarrest harness systems by construction workers a study involving semi-structured interviews of 15 male construction workers was carried out at three construction sites. The majority of interviewees commented that there was discomfort in wearing a fall-arrest harness; that there were a number of problems when anchored via an arresting device; and that using a fall-arrest system reduced productivity. Most of the interviewees considered that they needed safety precautions against falls, and they expressed the view that workers’ attitudes towards safety depended critically upon their supervisors’ attitude towards safety. It was also found that workers were not trained in rescue procedures. Interviewees expressed concern that retrieval of a suspended worker may not be carried out in time to prevent the onset of suspension trauma. A number of issues were identified which require further research, such as, investigation into suspension trauma, harness and arresting device design, training provided to workers, and the provision for rescues.

Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.