The development of an advanced safety vehicle (ASV) has primary importance for automobile manufactures and customers. The safety measures of modern vehicles involve active and passive safety. Active safety devices provide the driver with warning signals or aaect the vehicle's motion in order to prevent an accident. Passive safety devices help to avoid injuires and post-collision hazards if an a...

The OSEK/VDX is an international standard of automobile operating systems, which are typical safety-critical systems that require extensive safety analysis and verification. Formal methods have been shown useful and effective to verify the safety of both the OSEK/VDXbased operating systems and applications. Using formal methods requires formal semantics of the OSEK/VDX standard. In this paper, ...

background: people who use home blood glucose monitors may use their mobile phones in the close vicinity of medical devices. this study is aimed at investigating the effect of the signal strength of 900 mhz gsm mobile phones on the accuracy of home blood glucose monitors. methods: sixty non-diabetic volunteer individuals aged 21 - 28 years participated in this study. blood samples were analyzed...

background: automobile manufacturing industries are considered among the main sites where accidents are likely to happen. from a cognitive point of view, stress can cause problems such as poor concentration, absent-mindedness, and hesitancy while making decisions. this study examines the relationship between job stress and occupational accidents in an automobile manufacturing company. methods: ...

The issue of women's security has emerged as a significant concern in many countries. Surveys indicate that approximately 25,000 crimes against women are reported India each year. Sexual harassment and abuse have been on the rise for past 10 years. It is now essential to create strategy protects from becoming victims lowers such assaults. This project aims design implement highly dependable sys...

This paper proposes a computer-based recursion algorithm for automatic charge of power device of electric vehicles carrying electromagnet. The charging system includes charging cable with one end connecting gang socket, electromagnetic gear driving the connecting socket and a charging pile breaking or closing, and detecting part for detecting electric vehicle static call or start state. The gan...

Many fatal accidents due to falls from heights have occurred at construction sites not only in Japan but also in other countries. This study aims to determine the fall prevention performance of two types of safety belts: a body belt1), which has been used for more than 40 yr in the Japanese construction industry as a general type of safety equipment for fall accident prevention, and a full harn...