The CIDS A330/340 Cabin Communication System -- A Z Application

Author: Ute Hamer and Jan Peleska

Abstract:
We give a formal specification of the Airbus A330/340 cabin illumination system using the specification language Z. The cabin illumination system is an application function of the Cabin Intercommunication Data System (CIDS) that contains all cabin communication functions in the Airbus family A330/340. In order to allow the reader to re-trace our specification decisions how to transform the application's natural-language description into Z, the original system requirements specification document has been included in this article with courtesy of Deutsche Aerospace Airbus GmbH. Furthermore, the transformation of the Z specification into software design implementable in the target environment is illustrated. This transformation makes use of the Z specification's mathematical rigor in combination with heuristic design techniques of conventional software engineering.

compressed poscript file (111KB)