In 1970, the OSH Act was promulgated with the intent focus “to assure so far as possible every working man and woman in the Nation safe and healthful working conditions” (29 U.S. Code 671). The question of how to accomplish that goal has been the subject of discussions throughout the SH&E community long before the act was passed. Over the years, practitioners and researchers have suggested that...

CentiJ is a software synthesis system that, until recently, used synchronous, semiautomatic static proxy delegation to help in the automation of the creation of distributed Java programs on NOWS (Networks of Workstations). This paper reports our recent extension to CentiJ so that invocations are asynchronous. Further, we have achieved transparency with respect to local vs. non-local asynchronou...

Hardware/software co-design is a design technology that supports the integrated development of hardware and software components of a system. A special focus of the work described here is the application domain of safety-critical embedded systems. In addition to the raised abstraction level and shortened design time offered by co-design relative to conventional design methods, we are therefore p...

Five methods are introduced for design of castellated I beams encased in concrete. One of the methods, plastic analysis, is thoroughly explained and the relevant equations are developed. Eight castellated I beams encased in concrete are made and tested. The theoretical design methods are all compared with the test results and the safety factor for each method is calculated. The results show tha...

construction is one of the most hazardous workplaces in all around the world. awareness about workers’ attitude towards safety could be helpful in anticipating the workers' behavior. the aims of this study were to determine both the tunneling workers' safety attitude and the relationship between workers' attitude towards safety and occupational accidents. in this cross-sectional study performed...

New classes of distributed applications are appearing that require the ability to transmit executable code. To support these applications, we have implemented a function transmission facility for Facile, a distributed extension of Standard ML. Satisfying the needs of efficiency, heterogeneity, and distributed type safety required some modifications to the language. In this paper we report on th...

Proof-checking code for compliance to safety policies potentially enables a product-oriented approach to certain aspects of software certification. To date, previous research has focused on generic, low-level programming-language properties such as memory type safety. In this paper we consider proof-checking higher-level domain-specific properties for compliance to safety policies. The paper fi...