Campus Units

Aerospace Engineering, Computer Science, Electrical and Computer Engineering

Document Type

Conference Proceeding


17th AIAA Aviation Technology, Integration, and Operations Conference

Publication Version

Accepted Manuscript

Link to Published Version

Publication Date




Conference Title

17th AIAA Aviation Technology, Integration, and Operations Conference

Conference Date

June 5-9, 2017


Denver, CO


As the costs of fuel and maintenance increase and regulations on weight and environmental impact tighten, there is an increasing push to transition on-board aircraft networks to wireless, reducing weight, fuel, maintenance time, and pollution. We outline a candidate short-range hybrid wired/wireless network for aircraft on-board communications using the common ZigBee protocol and privacy-preserving search implemented as a secure publish/subscribe system using specially coded meta-data. Formally specifying safety and security properties and modeling the network in NUXMV enables verification and fault analysis via model checking and lays the groundwork for future certification avenues. We report on our experiments building and testing our candidate hybrid network and report on overhead and availability for encrypted and fault-tolerant communications, and propose a system that allows system designers to directly trade fault-tolerance for bandwidth, or vice-versa, in an encrypted privacy-preserving framework.


This is a manuscript of a proceeding published as Dureja, Rohit, Eric W. Rozier, and Kristin Y. Rozier. "A case study in safety, security, and availability of wireless-enabled aircraft communication networks." In 17th AIAA Aviation Technology, Integration, and Operations Conference. AIAA 2017-3112. (2017): 3112. DOI: 10.2514/6.2017-3112. Posted with permission.

Copyright Owner

American Institute of Aeronautics and Astronautics



File Format


Published Version


Article Location