Use of SDL to specify Airbus Future Air Navigation Systems

This paper presents the first experiments using the SDL [1] and MSC notations in the Aircraft Division of Aerospatiale. We shall describe a part of the CAMELIA application where these notations have been recently introduced. The modelling and simulation methods are also presented and the benefits of the usage of formal description techniques are discussed.