Specification of Mil-Standard 1553 bus protocol and application to EA-6B communications countermeasures
Christensen, Peter Hugh
Lundy, Gilbert M.
Powell, James R.
MetadataShow full item record
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. Practical application to the EA-6B Prowler is focused upon the requirements for transparent integration of the AN/ASQ-191 Radio Countermeasures Set into the existing aircraft bus architecture. Transparent integration into the tactical jamming system of the aircraft would make the ASQ-191 receiver and jamming operations an integral part of aircraft operation and employment, and permit integrated pre-mission planning with TEAMS.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Showing items related by title, author, creator and subject.
Lundy, Gilbert M.; Tipici, H. Alphan (IEEE, 1994-10);In recent years the emergence of optical fiber and its correspondingly high data rates have led to the development of much higher speed networks, both locally and over the long haul. These developments led to the design ...
Almquist, Martin Scott (Monterey, California. Naval Postgraduate School, 1995);The problem addressed by this research is to formally specify and analyze a proposed wireless network media access protocol. The protocol, named MACAW for Multiple Access Collision Avoidance Wireless, was described in ACM ...
Elmiro, Jose Luiz Timbo. (Monterey, California. Naval Postgraduate School, 1991);This research examines an improved FDDI protocol which ideally raises the network throughput from 100 to a maximum of 300 Megabits per second. It develops the details of the protocol structure at the MAC layer and provides ...