Vision systems within vehicles offer new opportunities in the automobile industry. The detection and classification of passenger and driver seat occupancy open up new ways to improve the safety and comfort of the passengers. In this paper we present results of a stereo system designed for the observation of the cockpit scene in order to provide information about the passenger presence and locat...

A significant fraction of fatalities involving passengers in automobile accidents is due to severe Head Injury. Head impact safety which in turn is the occupant safety is a significant consideration particularly in the design of Passenger Vehicles. During the rollover of SUV the head comes in contact with the parts such as the B-Pillar so in order to evaluate the occupant safety during rollover...

We present a synthesis method for communication protocols for active safety applications that satisfy certain formal specifications on quality of service requirements. The protocols are developed to provide reliable communication services for automobile active safety applications. The synthesis method transforms a specification into a distributed implementation of senders and receivers that tog...

We present a synthesis method for communication protocols for active safety applications that satisfy certain formal specifications on quality of service requirements. The protocols are developed to provide reliable communication services for automobile active safety applications. The synthesis method transforms a specification into a distributed implementation of senders and receivers that tog...

Avionics and control systems for aircraft use distributed, fault-tolerant computer systems to provide safety-critical functions such as flight and engine control. These systems are becoming modular, meaning that they are based on standardized architectures and components, and integrated, meaning that some of the components are shared by different functions—of possibly different criticality leve...

We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying safety-critical systems by capturing functional, probabilistic and hybrid aspects. Analyses are implemented on top of mature model checking tools and range from requirements validation to functional verification, safety...

Mechanics are exposed to varied work stressors such as hot noisy environments, strenuous postures, improperly designed tools and machinery and poor psycho-social environments which may exert an influence on their health and safety. The study aimed to examine the occupational injury patterns and identify work stressors associated with injury amongst automobile mechanics. A descriptive ergonomic ...