On the Security of Aircraft Communication Networks

Berthier, Paul; Bresteau, Corentin; Fernandez, José M.

doi:10.1007/978-3-319-99843-5_25

Cited by 4 publications

(5 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This constitutes reasonable agreement, given that (31) comes from a rather simplistic analogy with the FA model (recall the discussion in section 3.4). We note that this (significant) dierence in relaxation time between systems with local and non-local swaps is not observed in atomistic models [17,40], as further discussed in section 5. shown in the legend. The system size is N = 512 spins.…”

Section: Dierent Kinds Of Swap Processmentioning

confidence: 62%

“…3.4). We note that this (significant) difference in relaxation time between systems with local and non-local swaps is not observed in atomistic models [40,17], as further discussed in Section 5.…”

Section: Different Kinds Of Swap Processmentioning

confidence: 69%

“…A final remark concerns the behavior of the model with local swap dynamics. In atomistic systems, local and non-local swaps lead to almost identical behaviour [40,17]. In Fig.…”

Section: Discussionmentioning

confidence: 92%

“…A final remark concerns the behavior of the model with local swap dynamics. In atomistic systems, local and non-local swaps lead to almost identical behaviour [17,40]. In figure 5, there is a significant dierence in relaxation time between local and non-local swaps.…”

Section: Discussionmentioning

confidence: 96%

See 3 more Smart Citations

Accelerated relaxation and suppressed dynamic heterogeneity in a kinetically constrained (East) model with swaps

Gutiérrez¹,

Garrahan²,

Jack³

2019

J. Stat. Mech.

View full text Add to dashboard Cite

We introduce a kinetically constrained spin model with a local softness parameter, such that spin flips can violate the kinetic constraint with an (annealed) site-dependent rate. We show that adding MC swap moves to this model can dramatically accelerate structural relaxation. We discuss the connection of this observation with the fact that swap moves are also able to accelerate relaxation in structural glasses. We analyse the rates of relaxation in the model. We also show that the extent of dynamical heterogeneity is strongly suppressed by the swap moves.

show abstract

Section: Dierent Kinds Of Swap Processmentioning

confidence: 62%

Section: Different Kinds Of Swap Processmentioning

confidence: 69%

“…A final remark concerns the behavior of the model with local swap dynamics. In atomistic systems, local and non-local swaps lead to almost identical behaviour [40,17]. In Fig.…”

Section: Discussionmentioning

confidence: 92%

Section: Discussionmentioning

confidence: 96%

See 2 more Smart Citations

Accelerated relaxation and suppressed dynamic heterogeneity in a kinetically constrained (East) model with swaps

Gutiérrez¹,

Garrahan²,

Jack³

2019

J. Stat. Mech.

View full text Add to dashboard Cite

show abstract

“…Considering that the avionics systems are safety-critical, it is fundamental not losing data nor performance during the compression procedures [1]. In this scenario, manufacturers and regulatory agencies follow the DO-178C [2] guidance.…”

Section: Introductionmentioning

confidence: 99%

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

Horita

Bonna

Loubach

et al. 2019

Proceedings of the 10th Aerospace Technology Congress, October 8-9, 2019, Stockholm, Sweden

View full text Add to dashboard Cite

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.

show abstract

Challenges and Ways Forward for Avionics Platforms and their Development in 2019

Annighoefer

Halle

Schweiger

et al. 2019

2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC)

View full text Add to dashboard Cite

On the Security of Aircraft Communication Networks

Cited by 4 publications

References 2 publications

Accelerated relaxation and suppressed dynamic heterogeneity in a kinetically constrained (East) model with swaps

Accelerated relaxation and suppressed dynamic heterogeneity in a kinetically constrained (East) model with swaps

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

Challenges and Ways Forward for Avionics Platforms and their Development in 2019

Contact Info

Product

Resources

About