One of the most important components an aircraft is landing gear. In today`s modern gears, mostly oleo-pneumatic shock struts are used. Analytically, gear can be modeled as a mass-spring-damper system. The model used in study included such strut, tire and wheel. Furthermore, tapered metering pin was added to order control area orifice by which hydraulic oil flows during act impact force. Landin...

Consider the route you took when you drove to work today. Are you going to take a significantly different route tomorrow? How comfortable would you be flying on a plane for which all pre-flight safety evaluations were based solely on the pilot’s intuition or experience? Perhaps the pilot doesn’t feel that the fuel level needs to be checked. Or the landing gear. Or the engines. Would you board t...

In Phase IV of the human factors program, two distinct projects have been undertaken. The continuing involvement with Continental Airlines and SUNY at Buffalo on workcard design has now produced a portable computer-based system. This combines the successful improvements to the paper-based workcard (Phase III) with the advantages of a hypertext system allowing multi-level access to documentation...

This paper is a study of observer-based proof techniques applied to the veriication of a model of a real world embedded system, an aircraft landing gear. We present a formal description of these techniques (taken from 5]) and look at three ways of applying them, comparing ver-iication of the composed system with two approaches to decompositional veriication. The example illustrates that due to ...

In this paper we give an exposition t o an ongoing research eflort in cooperation with aerospace industries an Sweden. We report on an application of formal verification techniques on a landing gear system. This system consists of actuating hydromechanic and electromechanic hardware, and of controlling software components. We emphasize the need for modelling techniques and languages covering th...

In this paper we give an exposition to an ongoing research eeort in cooperation with aerospace industries in Sweden. We report on an application of formal veriication techniques on a landing gear system. This system consists of actuating hydromechanic and electromechanic hardware, and of controlling software components. We emphasize the need for modelling techniques and languages covering the w...

Due to their extensive use in various applications, helicopters need be able land a variety of conditions. Typically, helicopter landing gear system with skids or passive wheel-dampers is designed based on only one critical touchdown condition. Thus, this may not perform well different A magnetorheological (MR) dampers would promising candidate solve problem. However, semi-active controller mus...

The NASA goal of reducing external aircraft noise by 10 dB in the near-term presents the acoustics community with an enormous challenge. This report identifies technologies with the greatest potential to reduce airframe noise. Acoustic and aerodynamic effects will be discussed, along with the likelihood of industry accepting and implementing the different technologies. We investigate the lower ...