Upload

Loading icon Loading...

This video is unavailable.

An Overview of Ptides, a Programming Model for Distributed Real-Time Systems

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to like Edward Lee's video.

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to dislike Edward Lee's video.

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to add Edward Lee's video to your playlist.

Published on Oct 5, 2013

This video gives a brief overview of an NSF-funded project that focuses on model-based design principles for event-triggered real-time distributed systems. The project focuses on cyber-physical system (CPS) applications with one or more of the following characteristics: highly asynchronous stimulus response such that the periodic sampling used in safety-critical systems is not a feasible solution; mixed systems where periodic sampling and asynchronous stimulus response are both present; systems where knowing the precise time (at a fine grain than possible using periodic sampling) is required; and systems where the order of distributed events must be determined to high accuracy and this order preserved in any response. The project is developing a programming model called PTIDES (for Programming Temporally Integrated Distributed Embedded Systems) and an associated software toolchain, together with a mathematical theory of timed systems.

Loading icon Loading...

Loading icon Loading...

Loading icon Loading...

The interactive transcript could not be loaded.

Loading icon Loading...

Loading icon Loading...

Ratings have been disabled for this video.
Rating is available when the video has been rented.
This feature is not available right now. Please try again later.

Loading icon Loading...

Loading...
Working...
to add this to Watch Later

Add to