Augusto Y. Horita
Advanced Computing, Control & Embedded Systems Lab, University of Campinas – UNICAMP, Campinas, SP, Brazil
Ricardo Bonna
Advanced Computing, Control & Embedded Systems Lab, University of Campinas – UNICAMP, Campinas, SP, Brazil
Denis S. Loubach
Department of Computer Systems, Computer Science Division, Aeronautics Institute of Technology – ITA, São José dos Campos, SP, Brazil
Ingo Sander
Division of Electronics/School of EECS, KTH Royal Institute of Technology, SE-164 40, Kista, Sweden
Ingemar Söderquist
Business Area Aeronautics, Saab AB, Linköping, Sweden
Download article
http://dx.doi.org/10.3384/ecp19162017Published in: FT2019. Proceedings of the 10th Aerospace Technology Congress, October 8-9, 2019, Stockholm, Sweden
Linköping Electronic Conference Proceedings 162:17, p. 152-155
Published: 2019-10-23
ISBN: 978-91-7519-006-8
ISSN: 1650-3686 (print), 1650-3740 (online)
The data link is considered a critical function of modern aircraft, responsible for exchanging information to the ground and communicating to other aircraft. Nowadays, the increasing amount of exchanged data and information brings the need for network usage optimization. In this sense, data compression is considered a key approach to make data packages size smaller. Regarding the fact that avionics systems are safety-critical, it is fundamental not losing data nor performance during the compression procedures. In this context, manufacturers and regulatory agencies usually follow DO-178C guidance. Targeting model-based embedded design guidelines, DO-178C includes a supplement document, named DO-331. In this paper, we describe a widely used data compression algorithm, the Lempel-Ziv-Markov Chain algorithm (LZMA). Regarding formal model-based design, we argue that the synchronous dataflow model of computation captures the algorithm behavior more directly. The Formal System Design (ForSyDe) methodology is used to model the LZMA.
data compression, avionics datalink, DO-178C, DO-331, models of computation, synchronous dataflow
