Specification of MIL-Standard 1553 Bus Protocol and Application to EA-6B Communications Countermeasures.

摘要

A model for the specification and analysis of communication protocols called systems of Communicating Machines is used to describe and analyze a simplified version of the Mil-Standard 1553 bus protocol. The protocol is used in the EA-6B aircraft for digital communication between aircraft subsystems. The model uses a combination of finite state machines, variables and predicate action tables in the specification of the Bus Controller and Remote Terminals. The enabling predicates determine when a transition may be taken on the finite state machine and actions alter variable values as transitions occur. Normal, error-free 1553 bus command/response information transfers are modeled. The 1553 Mil-Standard does not contain an equivalent specification using a formally defined model. Keywords: Mil-standard 1553; Specification of protocols; EA-6B; Theses; Radio communications; Transmission lines; Electrical and electronic equipment; Countermeasures. (JG)