1 / 6

Reliable Networks for Time-Critical Delivery: Correctness-Oriented Design and Synergistic (Re)engineering

Explore how networks tightly coupled to the physical world enable new applications that prioritize reliability and temporal properties, emphasizing correctness-oriented design principles. Delve into the significance of well-defined semantics, correctness vs. performance tradeoffs, and synergistic (re)engineering facilitated by chosen semantics. Learn about tightly coupled systems in a multi-provider context, commonality, composability, and incentive design, with a focus on research issues like optimal semantics and technical challenges such as hierarchical time synchronization.

hazeltorres
Download Presentation

Reliable Networks for Time-Critical Delivery: Correctness-Oriented Design and Synergistic (Re)engineering

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. FIND Break Out Session:Networks that Provide High Reliability and Time Critical Delivery Networks Tightly Coupled to the Physical World

  2. Enabling New Class of Applications on the Internet • Network applications that are tightly coupled to the physical world. • Reliability and temporal properties are important in these systems. • Unifying concept is well defined semantics and conformance to those semantics. • A well chosen semantics enables the designer to use a wide range of mechanisms to achieve the underlying goals.

  3. Correctness Oriented Design • Many different semantic properties can exist in the domain of network systems and protocols. • Temporal semantics tie together cyber and physical worlds. • Correctness vs Performance • Correctness is a binary decision about adherence to semantics. • Performance is a measure where higher is always better. • Reliability and temporal properties should be considered correctness properties as opposed to performance properties.

  4. Synergistic (Re)engineering • Well Chosen Semantics • Facilitates (re)engineering of applications as well as creating new applications. • Applications -> Design Patterns -> Semantics • Classes of Applications: • Financial Services (Markets) • Multi-Party Tele-presence / Gaming • Distributed System Control (e.g. Micro-Power Generation)

  5. Tightly Coupled Systems in a Multi Provider World • Commonality • If you are going to have correctness semantics there needs to be certain specs that should be met so systems can leverage common capabilities. • Composability • Semantic is a composition of the overall system. • Incentive Design • Economic mechanisms • Responsibility allocation

  6. Research Issues and Outlook • What are the right semantics for different classes? • What do we mean by right? • Technical Challenges • Correlated failures • Reliable systems from unreliable components • Hierarchical Time synchronization • Allocating function to layers • Tradeoff between building in the lower layers and recovering in the higher layers.

More Related