*banner
 

Synchronous statecharts for executing Esterel with Ptolemy
Christian Motika

Citation
Christian Motika. "Synchronous statecharts for executing Esterel with Ptolemy". Talk or presentation, 3, October, 2011.

Abstract
The statecharts formalism, proposed by David Harel, is a well known approach for modeling control-intensive tasks such like reactive systems. Synchronous languages like Esterel help to separate concerns w.r.t. the functionality and the timing of reactive systems. SyncCharts are the natural adaption of Harel statecharts to the synchronous world. Esterel programs can be transformed into their graphical SyncCharts counterpart. SyncCharts can be simulated using Ptolemy as a simulation backend. This talk covers an introduction into Esterel, SyncCharts, an overview of the transformation, and the simulation implemented in the KIELER framework.

Electronic downloads

Citation formats  
  • HTML
    Christian Motika. <a
    href="http://chess.eecs.berkeley.edu/pubs/859.html"
    ><i>Synchronous statecharts for executing Esterel
    with Ptolemy</i></a>, Talk or presentation,  3,
    October, 2011.
  • Plain text
    Christian Motika. "Synchronous statecharts for
    executing Esterel with Ptolemy". Talk or presentation, 
    3, October, 2011.
  • BibTeX
    @presentation{Motika11_SynchronousStatechartsForExecutingEsterelWithPtolemy,
        author = {Christian Motika},
        title = {Synchronous statecharts for executing Esterel with
                  Ptolemy},
        day = {3},
        month = {October},
        year = {2011},
        abstract = {The statecharts formalism, proposed by David
                  Harel, is a well known approach for modeling
                  control-intensive tasks such like reactive
                  systems. Synchronous languages like Esterel help
                  to separate concerns w.r.t. the functionality and
                  the timing of reactive systems. SyncCharts are the
                  natural adaption of Harel statecharts to the
                  synchronous world. Esterel programs can be
                  transformed into their graphical SyncCharts
                  counterpart. SyncCharts can be simulated using
                  Ptolemy as a simulation backend. This talk covers
                  an introduction into Esterel, SyncCharts, an
                  overview of the transformation, and the simulation
                  implemented in the KIELER framework.},
        URL = {http://chess.eecs.berkeley.edu/pubs/859.html}
    }
    

Posted by Patricia Derler on 10 Oct 2011.
Groups: ptpresenters
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