Monthly Archives: October 2016

Rohit Dureja Presents Poster at FMCAD’16

Ph.D. Student Rohit Dureja presented a poster at Formal Methods in Computer-Aided Design (FMCAD’16) on “Comparative Safety Analysis of Wireless Communication Networks in Avionics.”


Abstract: Comparative Safety Analysis of Wireless Communication Networks in Avionics

Existing wired networks add weight and complexity to current aircraft design. To reduce weight of aircraft, it is essential to decrease the number of wired components and move them to wireless. However, migration of wired to wireless needs to be supported by a thorough analysis of the complexities and failure aspects of the two mediums. The wireless network needs to be at least as reliable and fault tolerant as the existing wired network. This paper proposes a formal framework for a comparative safety analysis of wired and wireless networks. Due to the plug-and-play nature of the framework, it is adaptable to a wide variety of network protocols. It facilitates identification of the minimum set of events that lead to system failure, and using quantified failure probabilities recommends fault tolerant mechanisms that increase system reliability. Designers can then compare candidates for wireless protocols among each other, as well as the wired network, and make informed design decisions.


Slides from the presentation are available here (BibTeX).

Leave a Comment

Filed under Research Talks

Patrick Moosbrugger Wins Würdigungspreis Award for His MS Thesis

Patrick Moosbrugger received the “Würdigungspreis” of the Federal Ministry of Science Research and Economy for his master thesis entitled “A Real-time, On-board System Health Management Unit for Unmanned Aerial Systems”. The thesis, done in cooperation with NASA Ames Research Center deals with runtime monitoring and diagnosis for unmanned aerial systems. The thesis is also related to Patricks work in the Josef Ressel Center for Verification of Embedded Computing Systems at TU Vien.

More information about this award is available in German here ( and here (

Leave a Comment

Filed under Awards, News Features, Publication Highlights