Airbus

About: Airbus is a company organization based out in Bengaluru, Karnataka, India. It is known for research contribution in the topics: Fuselage & Signal. The organization has 10633 authors who have published 13089 publications receiving 88354 citations. The organization is also known as: Airbus Commercial Aircraft.

Astrée: from research to industry

Abstract: Airbus has started introducing abstract interpretation based static analysers into the verification process of some of its avionics software products. Industrial constraints require any such tool to be extremely precise, which can only be achieved after a twofold specialisation process: first, it must be designed to verify a class of properties for a family of programs efficiently; second, it must be parametric enough for the user to be able to fine tune the analysis of any particular program of the family. This implies a close cooperation between the tool-providers and the end-users. Astree is such a static analyser: it produces only a small number of false alarms when attempting to prove the absence of run-time errors in control/command programs written in C, and provides the user with enough options and directives to help reduce this number down to zero. Its specialisation process has been reported in several scientific papers, such as [1] and [2]. Through the description of analyses performed with Astree on industrial programs, we give an overview of the false alarm reduction process from an engineering point of view, and sketch a possible customersupplier relationship model for the emerging market for static analysers.

Ceiling luggage compartment combination for the passenger cabin of an aircraft

Abstract: A ceiling baggage storage combination with lighting fixtures for an aircraft passenger cabin with two lengthwise aisles, has a central and two side baggage storage compartments. The ceiling is made of individual curved ceiling elements that extend approximately between the upper edges of the baggage storage compartments. The combination has tube-shaped fluorescent lamps arranged in a direction lengthwise to the aircraft on a respective ceiling element. The ceiling element (5, 11) is curved approximately as a parabola, whereby the less strongly curved zone extends toward the fluorescent lamp (6) which is partly covered by a cover, so that primarily indirect light enters into the cabin. A reflector (7) is arranged on the side of the fluorescent lamp (6) that faces away from and approximately parallel to the ceiling element (5, 11). The reflector (7) reflects the light emanating from the fluorescent lamp (6) primarily toward the ceiling element (5).