Implementing logical synchrony in integrated modular avionics

FREE-DOWNLOAD SP Miller, DD Cofer, L Sha… – Digital Avionics …, 2009 –
Many avionics systems must be implemented as redundant, distributed systems in order to provide
the necessary level of fault tolerance. To correctly perform their function, the individual nodes
of these systems must agree on some part of the global system state. Developing