*banner
 

PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems
Jia Zou, Slobodan Matic, Edward A. Lee

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

Citation formats  
  • 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.

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.

©2002-2018 Chess