*banner
 

Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems
Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler

Citation
Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler. "Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems". 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009, IEEE Computer Society, 77-86, April, 2009; The published version can also be found at: http://www2.computer.org/portal/web/csdl/doi/10.1109/RTAS.2009.39.

Abstract
We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory automation, for example) is given as a discrete-event(DE) model of a distributed real-time system that includes sensors and actuators. The time stamps of DE events are bound to physical time at the sensors and actuators, turning the DE model into an executable specification of the system with explicit real-time constraints. This paper first defines a general execution strategy that conforms to the DE semantics, and then specializes this strategy to give practical, implementable and distributed policies. Our policies leverage network time synchronization to eliminate the need for null messages, allow independent events to be processed out of time stamp order, thus increasing concurrency and making more models feasible (w.r.t. real-time constraints), and improve fault isolation in distributed systems. The policies are given in terms of a safe to process predicate on events that depends on the time stamp of the events and the local notion of physical time. In a simple case we show how to statically check whether program execution satisfies timing constraints.

Electronic downloads

Citation formats  
  • HTML
    Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng,
    Patricia Derler. <a
    href="http://chess.eecs.berkeley.edu/pubs/529.html">Execution
    Strategies for PTIDES, a Programming Model for Distributed
    Embedded Systems</a>, 15th IEEE Real-Time and Embedded
    Technology and Applications Symposium, 2009, IEEE Computer
    Society, 77-86, April, 2009; The published version can also
    be found at: <a
    href="http://www2.computer.org/portal/web/csdl/doi/10.1109/RTAS.2009.39"
    >http://www2.computer.org/portal/web/csdl/doi/10.1109/RTAS.2009.39</a>.
  • Plain text
    Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng,
    Patricia Derler. "Execution Strategies for PTIDES, a
    Programming Model for Distributed Embedded Systems".
    15th IEEE Real-Time and Embedded Technology and Applications
    Symposium, 2009, IEEE Computer Society, 77-86, April, 2009;
    The published version can also be found at: <a
    href="http://www2.computer.org/portal/web/csdl/doi/10.1109/RTAS.2009.39"
    >http://www2.computer.org/portal/web/csdl/doi/10.1109/RTAS.2009.39</a>.
  • BibTeX
    @inproceedings{ZouMaticLeeFengDerler09_ExecutionStrategiesForPTIDESProgrammingModelForDistributed,
        author = {Jia Zou and Slobodan Matic and Edward A. Lee and
                  Thomas Huining Feng and Patricia Derler},
        title = {Execution Strategies for PTIDES, a Programming
                  Model for Distributed Embedded Systems},
        booktitle = {15th IEEE Real-Time and Embedded Technology and
                  Applications Symposium, 2009},
        organization = {IEEE Computer Society},
        pages = {77-86},
        month = {April},
        year = {2009},
        note = {The published version can also be found at: <a
                  href="http://www2.computer.org/portal/web/csdl/doi/10.1109/RTAS.2009.39"
                  >http://www2.computer.org/portal/web/csdl/doi/10.1109/RTAS.2009.39</a>},
        abstract = {We define a family of execution policies for a
                  programming model called PTIDES (Programming
                  Temporally Integrated Distributed Embedded
                  Systems). A PTIDES application (factory
                  automation, for example) is given as a
                  discrete-event(DE) model of a distributed
                  real-time system that includes sensors and
                  actuators. The time stamps of DE events are bound
                  to physical time at the sensors and actuators,
                  turning the DE model into an executable
                  specification of the system with explicit
                  real-time constraints. This paper first defines a
                  general execution strategy that conforms to the DE
                  semantics, and then specializes this strategy to
                  give practical, implementable and distributed
                  policies. Our policies leverage network time
                  synchronization to eliminate the need for null
                  messages, allow independent events to be processed
                  out of time stamp order, thus increasing
                  concurrency and making more models feasible
                  (w.r.t. real-time constraints), and improve fault
                  isolation in distributed systems. The policies are
                  given in terms of a safe to process predicate on
                  events that depends on the time stamp of the
                  events and the local notion of physical time. In a
                  simple case we show how to statically check
                  whether program execution satisfies timing
                  constraints.},
        URL = {http://chess.eecs.berkeley.edu/pubs/529.html}
    }
    

Posted by Jia Zou on 17 Feb 2009.
Groups: ptides
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

You are not logged in 
©2002-2014 Chess