Upload

Loading...

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

910 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
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...

When autoplay is enabled, a suggested video will automatically play next.

Up next


to add this to Watch Later

Add to

Loading playlists...