@misc{DR16,
author    = {Dureja, Rohit and Rozier, Kristin Y. },
title     = {Comparative Safety Analysis of Wireless Communication Networks in Avionics},
booktitle = {Formal Methods in Computer-Aided Design (FMCAD) Student Forum},
publisher = {{IEEE/ACM}},
address   = {Mountain View, California, USA},
month     = {October},
year      = {2016},
abstract  = {This paper proposes a formal approach for comparing wired and wireless avionics communication networks from a safety perspective. The framework helps identify failure causes, estimate reliability, and support design decisions about whether wireless alternatives can meet required fault-tolerance levels.},
pdf       = {../papers/DR16.pdf},
poster    = {../papers/DR16-poster.pdf},
slides    = {../papers/DR16-slides.pdf}
}