Lempel-Ziv-Markov Chain Algorithm Modeling using Models of Computation and ForSyDe

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

Ladda ner artikelhttp://dx.doi.org/10.3384/ecp19162017

Ingår i: FT2019. Proceedings of the 10th Aerospace Technology Congress, October 8-9, 2019, Stockholm, Sweden

Linköping Electronic Conference Proceedings 162:17, s. 152-155

Visa mer +

Publicerad: 2019-10-23

ISBN: 978-91-7519-006-8

ISSN: 1650-3686 (tryckt), 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


Inga referenser tillgängliga

Citeringar i Crossref