Network Experiment Programming Interface (NEPI) · I Linux Network Namespaces X Planète (INRIA)...

Network ExperimentProgramming Interface

(NEPI)Alina Quereilhac Martin H. Ferrari

Thierry Turletti Walid DabbousMathieu Lacage

Planète (INRIA) NEPI GEC9 1 / 15

Objective Scenario

Simulated links/networksI ns-3 simulation models XI Realtime scheduler XI Tap device X

Light weight Virtual MachinesI Linux Network Namespaces X

Objective Scenario

VLCServer

RouterWifiAP

WifiSTA

Router

VLCClient

Objective Scenario

VLCServer

RouterWifiAP

WifiSTA

Router

VLCClient

Easy Deployment

ProblemI Tap/VM creation and setupI Coherent IP address assignment across

simulation and VMsI Coherent IP forwarding tables across

simulation and VMsSolution

I Automate everythingBUT

I Need global view of experiment topology

Easy DeploymentProblem

I Tap/VM creation and setup

I Coherent IP address assignment acrosssimulation and VMs

I Coherent IP forwarding tables acrosssimulation and VMs

SolutionI Automate everything

BUTI Need global view of experiment topology

I Tap/VM creation and setupI Coherent IP address assignment across

simulation and VMs

I Coherent IP forwarding tables acrosssimulation and VMs

simulation and VMs

I Automate everything

I Automate everythingBUT

I Need global view of experiment topology

Related Work

I Emulab Tcl: ad hoc, hard to generalizeI OMF Ruby: unclear how to extend it to model

complex topologiesI OMNeT++ NED: hard to ensure correctnessI SSF DML: hard to ensure correctnessI Geni RSPEC: hard to ensure correctnessI Geni Omnispec: hard to ensure correctness

Related Work

I Emulab Tcl: ad hoc, hard to generalize

I OMF Ruby: unclear how to extend it to modelcomplex topologies

I OMNeT++ NED: hard to ensure correctnessI SSF DML: hard to ensure correctnessI Geni RSPEC: hard to ensure correctnessI Geni Omnispec: hard to ensure correctness

Related Work

complex topologies

I OMNeT++ NED: hard to ensure correctnessI SSF DML: hard to ensure correctnessI Geni RSPEC: hard to ensure correctnessI Geni Omnispec: hard to ensure correctness

Related Work

complex topologiesI OMNeT++ NED: hard to ensure correctness

I SSF DML: hard to ensure correctnessI Geni RSPEC: hard to ensure correctnessI Geni Omnispec: hard to ensure correctness

Related Work

complex topologiesI OMNeT++ NED: hard to ensure correctnessI SSF DML: hard to ensure correctness

I Geni RSPEC: hard to ensure correctnessI Geni Omnispec: hard to ensure correctness

Related Work

complex topologiesI OMNeT++ NED: hard to ensure correctnessI SSF DML: hard to ensure correctnessI Geni RSPEC: hard to ensure correctness

I Geni Omnispec: hard to ensure correctness

Related Work

complex topologiesI OMNeT++ NED: hard to ensure correctnessI SSF DML: hard to ensure correctnessI Geni RSPEC: hard to ensure correctnessI Geni Omnispec: hard to ensure correctness

NEPI Object Model

Functional unit / BoxAttributesTrace sourcesConnectorsAllowed connectionsHierarchical

NEPI Object Model

Functional unit / Box

AttributesTrace sourcesConnectorsAllowed connectionsHierarchical

Example:I IP stackI TCP stackI Ethernet card

NEPI Object Model

Functional unit / BoxAttributes

Trace sourcesConnectorsAllowed connectionsHierarchical

Example:I IP checksumI IP forwarding

NEPI Object Model

Functional unit / BoxAttributesTrace sources

ConnectorsAllowed connectionsHierarchical

Example:I Out packetsI In packets

NEPI Object Model

Functional unit / BoxAttributesTrace sourcesConnectors

Allowed connectionsHierarchical

Ethernet

NEPI Object Model

Functional unit / BoxAttributesTrace sourcesConnectorsAllowed connections

Hierarchical

Ethernet

node node

NEPI Object Model

Functional unit / BoxAttributesTrace sourcesConnectorsAllowed connectionsHierarchical

Ethernet

Switch

Ethernet

node node

cablecable

port0 port1

Objective Scenario

NEPI Representation

Mobility

WifiNet

Device

ARPICMPIP

TapNodeInterface

FDNetDevice

Mobility

FDNetDevice

YansWifiPhyYansWifiPhy

YansWifiChannel

Nist Nist

WifiNet

Device

Manager

ARPIP ICMP

Manager

StaMac

TapNodeInterface

ns-3NetNsNetNs

Global IP topology

net2net1net0 Wifi Ap Wifi Sta FdFdTap Tap

n1n0 n2 n3

Demo screenshot

ConclusionWell chosen Object Model

I ExpressiveI Simple coherent APII Connection checkingI Automates deployment thanks to global

topology knowledge

More details: http://yans.pl.sophia.inria.fr/trac/nepi

I GUII Expressive

I Simple coherent APII Connection checkingI Automates deployment thanks to global

topology knowledge

I GUII ExpressiveI Simple coherent API

I Connection checkingI Automates deployment thanks to global

topology knowledge

I GUII ExpressiveI Simple coherent APII Connection checking

I Automates deployment thanks to globaltopology knowledge

I GUII ExpressiveI Simple coherent APII Connection checkingI Automates deployment thanks to global

topology knowledge

I GUII ExpressiveI Simple coherent APII Connection checkingI Automates deployment thanks to global

topology knowledge

Future work

I Support SFA/rspecI Support ...?

I Martin H. Ferrari, twice über Intern:implementation, ns-3 backend, NetNs

I Alina Quereilhac, Engineer: bugfixing,cleanup, refactoring

I Thierry Turletti: First userI Walid Dabbous: Initiated this work

Questions ?

Email: mathieu.lacage@inria.fr

IP endpoints

Cannot use DNS:I Some backends do not support itI Hard to deploy

Instead:I Resolve endpoint names to IP/port before

deployment

IP endpoints

Cannot use DNS:I Some backends do not support itI Hard to deploy

Instead:I Resolve endpoint names to IP/port before

deployment

IP assignment

Currently stupid algorithm:I Allocate consecutive IP addressesI n entries per forwarding table

Planned:I Automatic IP Address Assignment on Network

Topologies, by John Byers, Jay Lepreau,Jonathon Duerig and Robert Ricci

IP assignment

Currently stupid algorithm:I Allocate consecutive IP addressesI n entries per forwarding table

Planned:I Automatic IP Address Assignment on Network

Topologies, by John Byers, Jay Lepreau,Jonathon Duerig and Robert Ricci

Network Experiment Programming Interface (NEPI) · I Linux Network Namespaces X Planète (INRIA)...

Documents

Transcript of Network Experiment Programming Interface (NEPI) · I Linux Network Namespaces X Planète (INRIA)...

Manual Completo Imagenio-wifi y Vlc

PROPERTY TOUR - NEPI Rockcastle

Technical Specifications TL-FO2-VLC · TL-FO2-VLC Technical Specifications v191015 | +1-608-960-7242 Technical Specifications TL-FO2-VLC The TL-FO2-VLC is an HDMI 2.0 (18G signal)

421894 VLC

Fuse disconnector VLC 10 - predpazitel.com · Fuse disconnector VLC 8, VLC 10 type dimension B VLC 8, 10 1p 17,5 VLC 8, 10 1p+N 35 VLC 8, 10 2p 35 VLC 8, 10 3p 52,5 VLC 8, 10 3p+N

NEPI-Rockcastle-Abridged-Prospectus - Euronext · PDF fileNEPI Rockcastle plc ... NEPI Rockcastle’s issued ordinary shares will be listed on ... the publication of this prospectus.

LISTA PARTENERI TERTI NEPI ROCKCASTLE CHIRIASII … · lista parteneri terti nepi rockcastle chiriasii societatii gloria jeans associated group communications s.r.l. brand gsm arco

IITOPIKA IHMEIOMATA nEPI THI EnlIKOnHI KOPONHI · IITOPIKA IHMEIOMATA nEPI THI EnlIKOnHI KOPONHI ... avwt. crEA. 171 xal IJ.. X. ... cO &Etoe; ITaiiAoe; a.vaYQacpEL «aa:7tatoVtaL

An Indoor Hybrid WiFi-VLC Internet Access Systemhulk.bu.edu/pubs/papers/2014/TR-2014-09-05.pdf · An Indoor Hybrid WiFi-VLC Internet Access System. ... (VLC), LiFi, Internet. In CARTOON

Steamuri Vlc

Vertical multi-functional turning cells VLC 500 / 800 VLC 1200

1 Delay Analysis of Unsaturated Heterogeneous Omnidirectional …abdallah/System_Delay_Analysis.pdf · 2016. 9. 23. · RF femtocall, WiFi, visible light communications (VLC), link

I'LTOPIKH MEAETH nEPI TQN LlIATETAfMENQN NH'LTEIQN · I'LTOPIKH MEAETH nEPI TQN LlIATETAfMENQN NH'LTEIQN * vno ... EVLO'XVELV DE lILa to arofJ.a fJ.ovov. Totito xal EX nvo; ltEgLXOltij;

NEPI Rockcastle – Mucking Out the Stable · 2018. 12. 6. · Viceroy Research Group 1 viceroyresearch.org NEPI Rockcastle – Mucking Out the Stable Profit Stripping ‘Non-REIT

How to watch IPTV with VLCmistiptv.com/media/documents/vlc-instructions.pdf · How to watch IPTV with VLC Download the latest version of VLC from Install VLC and run the application

Synopsos Vlc

New Europe Property Investments plc CIRCULAR TO NEPI ...

streaming VLC ( VLC media player)

PLiFi: Hybrid WiFi-VLC Networking using Power Lines

Eye of the Tiger (Score) - Michigan State University · 2018-02-10 · Eye of the Tiger 5 Survivor, arr. Joshua Ruiter 7 9 11 Violoncello Violoncello Vlc. Vlc. Vlc. Vlc. Vlc. Vlc.