Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET...
Transcript of Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET...
![Page 1: Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET • Analytical / Modelchecking Backend Future Work will address • Stochastic](https://reader033.fdocuments.us/reader033/viewer/2022051802/5af13d087f8b9abc788e2f2a/html5/thumbnails/1.jpg)
Modeling Aeronautic Networks for Internet Scenarios
Euroview 2012
Emanuel Heidinger, Stefan Schneele (EADS)
Alexander Klein, Georg Carle (TUM)
![Page 2: Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET • Analytical / Modelchecking Backend Future Work will address • Stochastic](https://reader033.fdocuments.us/reader033/viewer/2022051802/5af13d087f8b9abc788e2f2a/html5/thumbnails/2.jpg)
Page 2
Outline
• Introduction to Communication Networks in Aeroplanes
• Goal of our Work
• Safety Criticality in the Aircraft Cabin
• Performance Bounds in Communication Networks
• DIMTOOL: A Platform for Determining WC Bounds
• State of the Switched Aircraft Cabin
• Conclusion
![Page 3: Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET • Analytical / Modelchecking Backend Future Work will address • Stochastic](https://reader033.fdocuments.us/reader033/viewer/2022051802/5af13d087f8b9abc788e2f2a/html5/thumbnails/3.jpg)
Communication networks in Airbus Aeroplanes
Page 3 22/07/2012
• Impression of the aircraft …
• Installation may look simple at system level, but …
• very complex at a/c level
Various Protocols like LVDS, RS-232, RS-485, CAN, Ethernet
![Page 4: Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET • Analytical / Modelchecking Backend Future Work will address • Stochastic](https://reader033.fdocuments.us/reader033/viewer/2022051802/5af13d087f8b9abc788e2f2a/html5/thumbnails/4.jpg)
Goal of our Work
Overall-goal in Aernonautics:
Safe weight, reduce kerosine, reduce complexity
Can we employ Internet Technology in the Aircraft Cabin ?
• Still cover safety related funtions
• Video, Games, Internet Surfing
• Passenger Owned Mobile Device, Laptop, Mobile
• Medical Care from ground by videostream
• Cabin Logbook sends information to ground, accessible by Website
Can we reduce number of networks ?
What does it mean for
Certification, System Integration, Deployment ?
Page 7
![Page 5: Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET • Analytical / Modelchecking Backend Future Work will address • Stochastic](https://reader033.fdocuments.us/reader033/viewer/2022051802/5af13d087f8b9abc788e2f2a/html5/thumbnails/5.jpg)
Domains in the Aircraft [ARINC664P5]
Aircraft
Control
(ACD)
Airline
Information
Services
(AISD)
Passenger
Information
Entertainment
Services
(PIESD)
Passenger
Owned
Devices
(PODD)
CIDS Embedded
IFE
criticality (usually) decreases higher lower
Page 8
![Page 6: Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET • Analytical / Modelchecking Backend Future Work will address • Stochastic](https://reader033.fdocuments.us/reader033/viewer/2022051802/5af13d087f8b9abc788e2f2a/html5/thumbnails/6.jpg)
Safety in Aeronautics
DAL Classification DAL Definitions Failure Requirement
[failures / hour]
Level A Catastrophic Catastrophic failure condition for the aircraft
Level B Hazardous / Severe-Major Hazardous / severe-major failure condition for the aircraft
Level C Major Major failure condition for the aircraft
Level D Minor Minor failure condition for the aircraft -
Level E No Effect No effect on aircraft operational capability or flight crew
workload
-
Expressed in terms of Design Assurance Level [DO254], [ARP4754A]
910p
710p
510p
• Cabin Core Functions are „usually“ DAL-C
• Cabin Entertainment (IFE) is DAL-E
• Extensive use of redundancy in networks covering safety relevant functions
• Failure value is determined by Fault Tree Analysis
• Determinism must be presented in those networks
Necessity to determine the worst case
Page 9
![Page 7: Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET • Analytical / Modelchecking Backend Future Work will address • Stochastic](https://reader033.fdocuments.us/reader033/viewer/2022051802/5af13d087f8b9abc788e2f2a/html5/thumbnails/7.jpg)
Network Latencies – Primer
Page 10 22/07/2012
Propagation Delay
• stable and almost negligible
• speed of light
Processing Delay
• Hardware dependent
• relatively stable
Transmission Delay
• Time it takes to transmit the whole frame
Queuing Delay
• If output port is busy, frames must be queued
• Sum of transmission delay of other frames, that have to be served before
Processing delay
Queuing delay
Propagation delay
Transmission delay
![Page 8: Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET • Analytical / Modelchecking Backend Future Work will address • Stochastic](https://reader033.fdocuments.us/reader033/viewer/2022051802/5af13d087f8b9abc788e2f2a/html5/thumbnails/8.jpg)
Primer: Performance Bounds in Communication Networks • Network Simulation with Monte Carlo Methods
• ns-2, ns-3, OPNET, OMNET++
• Simulation does not necessarily enforce worst case
• Network Calculus
• (min, +)-algebra
• Commutativity of convolution does not map reality
• Fluid flow model
• Queuing Theory
• Not only common in communication networks
• Based on Stochastical Model
• Fluid flow model
• Model Checking, Timed Automaton
• Exact model, but problem of state explosion
• Current models capture fixed sized packets
Page 11
![Page 9: Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET • Analytical / Modelchecking Backend Future Work will address • Stochastic](https://reader033.fdocuments.us/reader033/viewer/2022051802/5af13d087f8b9abc788e2f2a/html5/thumbnails/9.jpg)
Toolchain DIMTOOL – Worst Case Estimation (I)
CabinConfigurator (C++)
DIMTOOL(Matlab)
Topology Toolbox
Page 12
Certification
System Integration
Deployment
• Generate VLAN configuration for switches
• Extracting topology and flow information and forward to DIMTOOL
• DIMTOOL generates reports according to simulation, NC & worst
case scheduling analysis
![Page 10: Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET • Analytical / Modelchecking Backend Future Work will address • Stochastic](https://reader033.fdocuments.us/reader033/viewer/2022051802/5af13d087f8b9abc788e2f2a/html5/thumbnails/10.jpg)
Topology &
Flow
Description
DIMTOOL
Simulation
NC Analysis
WC Simulation
...
CSV Format
TransformationReport
MIP Approach
Toolchain DIMTOOL – Worst Case Estimation (II)
• Generate VLAN configuration for switches
• Extracting topology and flow information and forward to DIMTOOL
• DIMTOOL generates reports according to simulation, NC & worst
case scheduling analysis
CabinConfigurator (C++)
DIMTOOL(Matlab)
Topology Toolbox
Page 13
Backends
Certification
![Page 11: Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET • Analytical / Modelchecking Backend Future Work will address • Stochastic](https://reader033.fdocuments.us/reader033/viewer/2022051802/5af13d087f8b9abc788e2f2a/html5/thumbnails/11.jpg)
Topology
Description
Network
Notepad
system independent
XML FormatTopology
Generator
Fine Tune Topology
Generate Topology
Scheme
Transformation
Toolchain DIMTOOL – Worst Case Estimation (III)
• Generate VLAN configuration for switches
• Extracting topology and flow information and forward to DIMTOOL
• DIMTOOL generates reports according to simulation, NC & worst
case scheduling analysis
CabinConfigurator (C++)
DIMTOOL(Matlab)
Topology Toolbox
Page 14
Backends
System Integration
![Page 12: Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET • Analytical / Modelchecking Backend Future Work will address • Stochastic](https://reader033.fdocuments.us/reader033/viewer/2022051802/5af13d087f8b9abc788e2f2a/html5/thumbnails/12.jpg)
Configuration
VLAN Configuration
Rate Limits / Shaping
Toolchain DIMTOOL – Worst Case Estimation (IV)
• Generate VLAN configuration for switches
• Extracting topology and flow information and forward to DIMTOOL
• DIMTOOL generates reports according to simulation, NC & worst
case scheduling analysis
CabinConfigurator (C++)
DIMTOOL(Matlab)
Topology Toolbox
Page 15
Backends
Deployment
![Page 13: Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET • Analytical / Modelchecking Backend Future Work will address • Stochastic](https://reader033.fdocuments.us/reader033/viewer/2022051802/5af13d087f8b9abc788e2f2a/html5/thumbnails/13.jpg)
Topology &
Flow
Description
Topology
DescriptionDIMTOOL
Simulation
NC Analysis
WC Simulation
...
Configuration
Network
Notepad
VLAN Configuration
Rate Limits / Shaping
system independent
XML FormatCSV Format
Topology
Generator
Fine Tune Topology
Generate Topology
Scheme
TransformationReport
MIP Approach
Toolchain DIMTOOL – Worst Case Estimation (V)
• Generate VLAN configuration for switches
• Extracting topology and flow information and forward to DIMTOOL
• DIMTOOL generates reports according to simulation, NC & worst
case scheduling analysis
CabinConfigurator (C++)
DIMTOOL(Matlab)
Topology Toolbox
Page 16
Backends
![Page 14: Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET • Analytical / Modelchecking Backend Future Work will address • Stochastic](https://reader033.fdocuments.us/reader033/viewer/2022051802/5af13d087f8b9abc788e2f2a/html5/thumbnails/14.jpg)
DIMTOOL – Architecture
• Simple, CSV Based Topology Description
• Converters for OPNET, OMNET, BRITE Topologies
• Converter for Camfigurator (Airbus Tool)
• Topology Generator for
A30x, A350, A380
• Clean UML Description
Page 17
![Page 15: Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET • Analytical / Modelchecking Backend Future Work will address • Stochastic](https://reader033.fdocuments.us/reader033/viewer/2022051802/5af13d087f8b9abc788e2f2a/html5/thumbnails/15.jpg)
DIMTOOL – Backends
Currently, the following backends are available
• Network Calculus Backend with DISCO network analyzer
• Network Simulation Backend with OPNET network
simulator
• Worse Case Simulation Backend, OPNET
• Analytical / Modelchecking Backend
Future Work will address
• Stochastic Network Calculus backend
• Analytical Model for TCP
Page 18
![Page 16: Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET • Analytical / Modelchecking Backend Future Work will address • Stochastic](https://reader033.fdocuments.us/reader033/viewer/2022051802/5af13d087f8b9abc788e2f2a/html5/thumbnails/16.jpg)
Application: Topology of Full Switched Aircraft Cabin
• Switched topologies for
– A380
– A350
– A30x
• Mind store-and-forward delay
(compared to TDMA bus system)
Device Number Description
PSU 190 Service Unit
IBU 1512 Light Scenario
Handset 20 Cabin Interphone
FAP 20 Panel for Cabin Control
CVMS 25 Video Surveillance
A380 Configuration, Number of Devices
Ease certification by
simplification to one line
![Page 17: Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET • Analytical / Modelchecking Backend Future Work will address • Stochastic](https://reader033.fdocuments.us/reader033/viewer/2022051802/5af13d087f8b9abc788e2f2a/html5/thumbnails/17.jpg)
DIMTOOL Graphical User Interface
Page 20
• Provide several Performance Evaluation Backends
• Topology creator for A380, A350, A30x
• Topology converter for different input formats, Camfigurator, Network Notepad, OPNET
• Results shall be employable in certification
Deliver performance
reports
![Page 18: Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET • Analytical / Modelchecking Backend Future Work will address • Stochastic](https://reader033.fdocuments.us/reader033/viewer/2022051802/5af13d087f8b9abc788e2f2a/html5/thumbnails/18.jpg)
DIMTOOL – Results of Aircraft Cabin, 100MBit/s
Page 21 22/07/2012
• DIMTOOL Results for Upstream
• Worse Case Simulation shifts
latency towards analytical bounds
High level requirements of safety
relevant cabin functions fulfilled
Readiness for multiple domains
in same network
Providing infrastructure for
Wireless Accesspoints, Radio
Base Stations Heidinger, E.; Burger, S.; Schneele S., Klein, A. & Carle, G., DIMTOOL: A Platform for Determining Worst Case
Latencies in Switched Queuing Networks, ValueTools 2012, accepted
![Page 19: Modeling Aeronautic Networks for Internet Scenarios ... · • Worse Case Simulation Backend, OPNET • Analytical / Modelchecking Backend Future Work will address • Stochastic](https://reader033.fdocuments.us/reader033/viewer/2022051802/5af13d087f8b9abc788e2f2a/html5/thumbnails/19.jpg)
Conclusions
• Valuable tool for
• System Integration
• Deployment
• Certification
• Rapid analysis of novel switched aircraft networks
• Also beneficial for other real-time system
(In-Car Network, Automation Industry)
Future Work
• Coupling with weight database
• Move towards stochastic network calculus
• Address next generation AFDX networks
also TCP flows shall be analyzed here
Network Calculus Models for TCP
Page 22