Abstract
In this presentation, we describe the methods and techniques currently applied in the test of the cabin management controllers for the Airbus families A318, A340–500/600 and A380. The hardware-in-the-loop testing environment is described and we explain, how an integrated approach for software testing, hardware/software integration and system testing allows to re-use test specifications on these different levels. Moreover, the concepts for automatic test data generation and test evaluation, as well as the utilisation of generic test specifications are introduced. Our approach has been elaborated by research and development teams at Airbus Deutschland, KID-Systeme, Verified Systems International and the Author’s research group at the University of Bremen. Tool support is provided by the RT-Tester real-time test tool developed by Verified Systems and the University of Bremen.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35497-2_31
Chapter PDF
Similar content being viewed by others
Keywords
References
Cardell-Oliver, Rachel. (2000). Conformance Testing of Real-Time Systems with Timed Automata. In Formal Aspects of Computing. ( 12 ): 350–371
RTCA DO178B: Software Considerations in Airborne Systems and Equipment Certification. (1993).
Hennessy, M. C. (1988). Algebraic Theory of Processes. MIT Press.
Henzinger, Th. A. (1996). in Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 1996), pp. 278–292.
Hoare, C.A.R. (1985). Communicating sequential processes. Prentice-Hall International, Englewood Cliffs NJ.
IEEE Std 829–1998. IEEE Standard for Software Test Documentation. The Institute of Electrical and Electronics Engineers, New York.
KID-Systeme. CIDS Digital Cabin Management System. Information available under http://www.kid-systeme.de.
Lewis, Harry R. and Papadimitriou, Christos H. (1981). Elements of the Theory of Computation. Prentice-Hall International, Englewood Cliffs, New Jersey.
Meyer, Oliver. (2001). Structural Decomposition of Timed CSP and its Application to Real-Time Testing. Dissertation, Universität Bremen, FB 3.
Nielsen, Brian. (2000). Specification and Test of Real-Time Systems. Ph. D. Thesis, Department of Computer Science, The Faculty of Engineering and Science, Aalborg University, Publication No. 12.
Peleska, Jan and Siegel, Michael. (1996). From Testing Theory to Test Driver Implementation. In M.-C. Gaudel and J. Woodcock (Eds.): FME ‘86: Industrial Benefit and Advances in Formal Methods. LNCS 1051, Springer-Verlag, Berlin Heidelberg New York 538–556.
Peleska, Jan. (1996). Test Automation for Safety-Critical Systems: Industrial Application and Future Developments. (invited keynote), In M.-C. Gaudel and J. Woodcock (Eds.): FME ‘86: Industrial Benefit and Advances in Formal Methods. LNCS 1051, Springer-Verlag, Berlin Heidelberg New York pp. 39–59.
Peleska, Jan. (1997). Formal Methods and the Development of Dependable Systems. Habilitationsschrift, Bericht Nr. 9612, Dezember 1996, Institut für Informatik und praktische Mathematik, Christian-Albrechts-Universität Kiel.
Peleska, Jan and Siegel, Michael. (1997). Test Automation of Safety-Critical Reactive Systems. South African Computer Jounal 19: 53–77.
Peleska, Jan. (1998). Testing Reactive Real-Time Systems. Tutorial, held at the FTRTFT ‘88. Danmark Technical University, Lyngby.
Peleska, Jan and Buth, Bettina. (1999). Formal Methods for the International Space Station ISS. In E.-R. Olderog, B. Steffen (Eds.): Correct System Design, Springer LNCS 1710, pp. 363–389.
Roscoe, A. W. (1998). The Theory and Practice of Concurrency. Prentice-Hall International, Englewood Cliffs NJ.
Verified Systems International GmbH. (1998). RT-Tester Test Automation System. Information available under http://www.verified.biz.
Sadeghipour, Sadegh. (1998). Testing Cyclic Software Components of Reactive Systems on the Basis of Formal Specifications. Schriftenreihe Forschungsergebnisse zur Informatik, Bd. 40. Verlag Dr. Kovac, Hamburg.
Schneider, Steve. (1995). An Operational Semantics for Timed CSP. Information and Computation, 116: 193–213.
Tretmanns, Jan. (1992). A Formal Approach to Conformace Testing. PhD Thesis, University of Twente, Haag.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Peleska, J. (2002). Hardware/Software Integration Testing for the New Airbus Aircraft Families. In: Schieferdecker, I., König, H., Wolisz, A. (eds) Testing of Communicating Systems XIV. IFIP — The International Federation for Information Processing, vol 82. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35497-2_24
Download citation
DOI: https://doi.org/10.1007/978-0-387-35497-2_24
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6705-6
Online ISBN: 978-0-387-35497-2
eBook Packages: Springer Book Archive