Citation
Jia Zou, Slobodan Matic, Edward A. Lee. "PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems". Proceedings of IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012, 209-218, 16, April, 2012.

Abstract
Ptides, a programming model for distributed realtime embedded systems, was proposed previously. In this work, we focus on a workflow that applies Ptides in a single-CPU environment using model-based design techniques. Our workflow starts with a programming environment where a real-time application is expressed as a Ptides model. The model captures both the functionality of the system and the desired timing of interactions with the environment. The Ptides simulator supports simulation of both of these aspects. Once the designer is satisfied with the design, a code generator can be used to glue together the application code with a real-time operating system called PtidyOS. To ensure the responsiveness of the real-time program, PtidyOS's scheduler combines Ptides semantics with the earliestdeadline- first policy. To minimize scheduling overhead associated with context switching, PtidyOS uses a single stack for event scheduling and execution, while still enabling event preemptions. We demonstrate the Ptides workflow through a motion control application. The automatically generated code running on PtidyOS is compared with a manual C implementation running on bare silicon. We discuss the tradeoffs in functionality and performance between these two implementations.

Electronic downloads

• PtidesExecStrategy.pdf · application/pdf · 588 kbytes
• http://dx.doi.org/10.1109/RTAS.2012.28. (Published in: Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012 IEEE 18th.)

• HTML

  Jia Zou, Slobodan Matic, Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/858.html"
  >PtidyOS:   A Lightweight Microkernel for Ptides
  Real-Time Systems</a>, Proceedings of IEEE Real-Time
  and Embedded Technology and Applications Symposium (RTAS),
  2012, 209-218, 16, April, 2012.

• Plain text

  Jia Zou, Slobodan Matic, Edward A. Lee. "PtidyOS:   A
  Lightweight Microkernel for Ptides Real-Time Systems".
  Proceedings of IEEE Real-Time and Embedded Technology and
  Applications Symposium (RTAS), 2012, 209-218, 16, April,
  2012.

• BibTeX

  @inproceedings{ZouMaticLee12_PtidyOSLightweightMicrokernelForPtidesRealTimeSystems,
      author = {Jia Zou and Slobodan Matic and Edward A. Lee},
      title = {PtidyOS:   A Lightweight Microkernel for Ptides
                Real-Time Systems},
      booktitle = {Proceedings of IEEE Real-Time and Embedded
                Technology and Applications Symposium (RTAS), 2012},
      pages = {209-218},
      day = {16},
      month = {April},
      year = {2012},
      abstract = {Ptides, a programming model for distributed
                realtime embedded systems, was proposed
                previously. In this work, we focus on a workflow
                that applies Ptides in a single-CPU environment
                using model-based design techniques. Our workflow
                starts with a programming environment where a
                real-time application is expressed as a Ptides
                model. The model captures both the functionality
                of the system and the desired timing of
                interactions with the environment. The Ptides
                simulator supports simulation of both of these
                aspects. Once the designer is satisfied with the
                design, a code generator can be used to glue
                together the application code with a real-time
                operating system called PtidyOS. To ensure the
                responsiveness of the real-time program, PtidyOS's
                scheduler combines Ptides semantics with the
                earliestdeadline- first policy. To minimize
                scheduling overhead associated with context
                switching, PtidyOS uses a single stack for event
                scheduling and execution, while still enabling
                event preemptions. We demonstrate the Ptides
                workflow through a motion control application. The
                automatically generated code running on PtidyOS is
                compared with a manual C implementation running on
                bare silicon. We discuss the tradeoffs in
                functionality and performance between these two
                implementations.},
      URL = {http://chess.eecs.berkeley.edu/pubs/858.html}
  }
  

Posted by Slobodan Matic on 9 Oct 2011.
Groups: actionwebs ptides
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.