Landing gear integration is one of the more fundamental aspects of aircraft design. The design and integration process encompasses numerous engineering disciplines, e.g., structures, weights, runway design, and economics. Although the design process is well-documented, it appears not to have been automated for uses in multidisciplinary design optimization (MDO) procedures. The process remains a...

Formal specifications are widely used in the development of safety critical systems, as the Sensor Voting Module of the Landing Gear System. However, the conformance relationship between the formal specification and the concrete implementation must be checked. In this paper, we show a technique to formally link a Java class with its Abstract State Machine formal specification, and two approache...

It is natural to rely on experiences from the aviation industry when developing safety-critical systems for automotive applications. In the aviation industry for several decades programmable systems have been used for flight control, aircraft engine control, landing gear control etc.. The safety and reliability requirements of these systems are comparable with steer-by-wire or brake-by-wire sys...

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...