trustworthy conferencing via domain-specific modeling and low latency reliable protocols

1
Trustworthy Conferencing via Domain- specific Modeling and Low Latency Reliable Protocols Joe Hoffert, Douglas Schmidt (Vanderbilt University); Mahesh Balakrishnan, Ken Birman (Cornell University) April 2, 2008 Ricochet uses a bi-modal multicast protocol & lateral error-correction (LEC) to provide QoS & scalability guarantees Ricochet supports time- critical multicast for high data rates with strong probabilistic delivery guarantees •low latency error detection •low latency error recovery Addressing Conferencing Timeliness via the Ricochet Transport Protocol Addressing Trustworthiness via the Data Distribution Service (DDS) Quality of Service (QoS) Modeling Language (DQML) Enhances trust by supporting intended QoS configurations at design time •Automates complex, tedious, and error-prone QoS compatibility and consistency checking •Provides separation of concerns to facilitate configuration analysis better •Generates application artifacts (e.g., OpenDDS source code, Ricochet configuration code) Supports pub/sub middleware research by providing a base for higher level DDS abstractions •DDS Configuration Patterns •Basis for DDS application-specific profiles Ongoing Research Develop conferencing application taxonomy •Categorize conferencing application types based on timeliness and reliability needs •Develop DDS QoS patterns and Ricochet settings profiles •Enhance DQML to include the developed patterns and profiles Trustworthiness Challenges for Conferencing Systems Example Applications: a) Video/infrared coordination (e.g., search and rescue) b) Stock update correlation c) Medical telemetry (e.g., wireless ER) d) Science monitoring (e.g., weather tracking) Challenges: a) Provide the right amount of reliability and timeliness • Enough data is reliably delivered to be useful • Latency is low enough to meet timeliness requirements b) Abstract away error- prone low-level implementation details Summary of Solution Approach: Use Model Driven Engineering (MDE) with Low Latency Reliable Protocols to 1.Modularize trustworthiness concerns, 2.Reason about the system, and 3.Synthesize “correct-by-construction” transport protocol configurations Ricochet provides low-latency high-reliability transport of data DQML uses constraint-checking for analysis, generates intended QoS metadata, and configures the Ricochet transport protocol appropriately Researching: 1.QoS conferencing profiles for pub-sub middleware 2.Ricochet settings to enhance security against various threats 3.Inclusion of authentication in Ricochet to determine overhead Context: a) Continuous data streams have timeliness requirements b) Conferencing requires synchronization of multiple continuous data streams c) Conferencing implies multiple senders & receivers App App App COI COI GW App App App COI COI GW App App App COI COI GW Ricochet protocol Control Center Metamodel Application model App App App COI COI GW App App App COI COI GW App App App COI COI GW Ricochet protocol Control Center Ricochet Config Ricochet Config Ricochet Config Overhead Latency Burstiness Tolerance sender receiver receiver receiver r = 5, c = 1 Ricochet provides tunable settings •# of packets sent for error correction (r) •# of correction packets (c) •Amount of interleaving (i) •NAK inclusion/timeout •sender’s sliding window size Key: = error correction info = data message i = 2 Ricochet taxonomy/profiles for security threats •e.g., DDOS, reliable senders/corrupt FECs •contain/limit propagation of security threat (gossip susceptibility) •authentication (acceptable overhead?)

Upload: maitland

Post on 19-Jan-2016

19 views

Category:

Documents


1 download

DESCRIPTION

Trustworthy Conferencing via Domain-specific Modeling and Low Latency Reliable Protocols. App. App. App. App. App. App. COI. COI. App. App. App. App. App. App. GW. GW. COI. COI. GW. GW. GW. GW. COI. COI. App. App. App. App. App. App. Key:. = error correction info. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Trustworthy Conferencing via Domain-specific Modeling and Low Latency Reliable Protocols

Trustworthy Conferencing via Domain-specific Modeling and Low Latency Reliable ProtocolsJoe Hoffert, Douglas Schmidt (Vanderbilt University); Mahesh Balakrishnan, Ken Birman (Cornell University)

April 2, 2008

Ricochet uses a bi-modal multicast protocol & lateral error-correction (LEC) to provide QoS & scalability guarantees

Ricochet supports time-critical multicast for high data rates with strong probabilistic delivery guarantees

• low latency error detection• low latency error recovery

Addressing Conferencing Timeliness via the Ricochet Transport Protocol

Addressing Trustworthiness via the Data Distribution Service (DDS) Quality of Service (QoS) Modeling Language (DQML)

Enhances trust by supporting intended QoS configurations at design time• Automates complex, tedious, and error-prone QoS compatibility and consistency checking• Provides separation of concerns to facilitate configuration analysis better• Generates application artifacts (e.g., OpenDDS source code, Ricochet configuration code)

Supports pub/sub middleware research by providing a base for higher level DDS abstractions• DDS Configuration Patterns• Basis for DDS application-specific profiles

Ongoing ResearchDevelop conferencing application taxonomy

• Categorize conferencing application types based on timeliness and reliability needs

• Develop DDS QoS patterns and Ricochet settings profiles

• Enhance DQML to include the developed patterns and profiles

Trustworthiness Challenges for Conferencing Systems

Example Applications:a) Video/infrared

coordination (e.g., search and rescue)

b) Stock update correlationc) Medical telemetry (e.g.,

wireless ER)d) Science monitoring

(e.g., weather tracking)

Challenges:a) Provide the right amount of

reliability and timeliness• Enough data is reliably

delivered to be useful • Latency is low enough to meet

timeliness requirementsb) Abstract away error-prone low-

level implementation details

Summary of Solution Approach: Use Model Driven Engineering (MDE) with Low Latency Reliable Protocols to

1. Modularize trustworthiness concerns,2. Reason about the system, and 3. Synthesize “correct-by-construction” transport protocol configurations Ricochet provides low-latency high-reliability transport of data

DQML uses constraint-checking for analysis, generates intended QoS metadata, and configures the Ricochet transport protocol appropriately

Researching:1. QoS conferencing profiles for pub-sub middleware2. Ricochet settings to enhance security against various threats3. Inclusion of authentication in Ricochet to determine overhead

Context:a) Continuous data

streams have timeliness requirements

b) Conferencing requires synchronization of multiple continuous data streams

c) Conferencing implies multiple senders & receivers

App AppApp

COICOICOICOI

GW

App AppApp

COICOICOICOI

GW

App AppApp

COICOICOICOI

GW

Ricochet protocol

ControlCenter

Metamodel

Application modelApp AppApp

COICOICOICOI

GW

App AppApp

COICOICOICOI

GW

App AppApp

COICOICOICOI

GW

Ricochet protocol

Control Center

RicochetConfig

RicochetConfig

RicochetConfig

Overhead

Latency

BurstinessTolerance

sender

receiver

receiver

receiver

r = 5, c = 1

Ricochet provides tunable settings• # of packets sent for error correction (r)

• # of correction packets (c)• Amount of interleaving (i)• NAK inclusion/timeout• sender’s sliding window size Key:

= error correction info= data messagei = 2

Ricochet taxonomy/profiles for security threats• e.g., DDOS, reliable senders/corrupt FECs

• contain/limit propagation of security threat (gossip susceptibility)

• authentication (acceptable overhead?)