Comparative Safety Analysis of Wireless Communication Networks in - - PowerPoint PPT Presentation

▶

Nov 22, 2022 228 likes •325 views

Comparative Safety Analysis of Wireless Communication Networks in Avionics Rohit Dureja and Kristin Yvonne Rozier Iowa State University Laboratory for + Temporal Logic Temporal Logic October 5, 2016 Motivation The Airbus A380 has around

SLIDE 1

Comparative Safety Analysis of Wireless Communication Networks in Avionics

Rohit Dureja and Kristin Yvonne Rozier

Iowa State University Laboratory for Temporal Logic Temporal Logic +

October 5, 2016

SLIDE 2

Motivation

The Airbus A380 has around ∼100,000 wires totaling 470 km and weighing 5,700 kg.

Source: Catalogue of Catastrophe - IPLA Rohit Dureja Comparative Safety Analysis of Wireless Communication Networks in Avionics 2 / 3

SLIDE 3

Motivation

The Airbus A380 has around ∼100,000 wires totaling 470 km and weighing 5,700 kg. Reduced weight leads to sav- ings for the airline company, cheaper flights, and improved fleet management.

Source: Catalogue of Catastrophe - IPLA Rohit Dureja Comparative Safety Analysis of Wireless Communication Networks in Avionics 2 / 3

SLIDE 4

Motivation

The Airbus A380 has around ∼100,000 wires totaling 470 km and weighing 5,700 kg. Reduced weight leads to sav- ings for the airline company, cheaper flights, and improved fleet management. First Goal Reduce wiring so as to decrease aircraft weight by at least a ton.

Source: Catalogue of Catastrophe - IPLA Rohit Dureja Comparative Safety Analysis of Wireless Communication Networks in Avionics 2 / 3

SLIDE 5

Motivation

The Airbus A380 has around ∼100,000 wires totaling 470 km and weighing 5,700 kg. Reduced weight leads to sav- ings for the airline company, cheaper flights, and improved fleet management. First Goal Reduce wiring so as to decrease aircraft weight by at least a ton.

Source: Catalogue of Catastrophe - IPLA

Second Goal The wireless network needs to be at least as reliable and fault tolerant as the existing wired network.

Rohit Dureja Comparative Safety Analysis of Wireless Communication Networks in Avionics 2 / 3

SLIDE 6

Contributions

The problem of migrating communication technology in terms of system safety is addressed.

Rohit Dureja Comparative Safety Analysis of Wireless Communication Networks in Avionics 3 / 3

SLIDE 7

Contributions

The problem of migrating communication technology in terms of system safety is addressed. The proposed formal framework aids system designers to compare different communication networks simultaneously, and explore viable fault tolerant mechanisms.

Rohit Dureja Comparative Safety Analysis of Wireless Communication Networks in Avionics 3 / 3

SLIDE 8

Contributions

The problem of migrating communication technology in terms of system safety is addressed. The proposed formal framework aids system designers to compare different communication networks simultaneously, and explore viable fault tolerant mechanisms. The framework builds upon existing model checking and safety assessment tools, and is plug-and-play.

Rohit Dureja Comparative Safety Analysis of Wireless Communication Networks in Avionics 3 / 3