*banner
 

Synchronous Reactive Communication: Generalization Implementation and Optimization
Guoqiang Gerald Wang

Citation
Guoqiang Gerald Wang. "Synchronous Reactive Communication: Generalization Implementation and Optimization". Talk or presentation, 9, December, 2008.

Abstract
Model-based development of embedded real-time software aims at improving quality by enabling design-time verification and simulation and fostering reuse. Model-based design is very popular because of the availability of tools for simulation and formal verification of the system properties. When implementing a high-level model into code it is important to preserve its semantics of the underlying model of computation so to retain the results of the simulation and verification stages. In this talk the challenges associated with implementation of synchronous reactive models are discussed. A platform-based design methodology and implementation framework is presented. Two semantics preserving wait-free communication protocols are introduced and corresponding efficient portable implementations under the OSEK OS standard are provided. Memory optimization under timing constraints is considered. Finally the design flow is completed with automatic code generation support.

Electronic downloads

Citation formats  
  • HTML
    Guoqiang Gerald Wang. <a
    href="http://chess.eecs.berkeley.edu/pubs/515.html"
    ><i>Synchronous Reactive Communication:
    Generalization Implementation and
    Optimization</i></a>, Talk or presentation,  9,
    December, 2008.
  • Plain text
    Guoqiang Gerald Wang. "Synchronous Reactive
    Communication: Generalization Implementation and
    Optimization". Talk or presentation,  9, December, 2008.
  • BibTeX
    @presentation{Wang08_SynchronousReactiveCommunicationGeneralizationImplementation,
        author = {Guoqiang Gerald Wang},
        title = {Synchronous Reactive Communication: Generalization
                  Implementation and Optimization},
        day = {9},
        month = {December},
        year = {2008},
        abstract = {Model-ba<x>sed development of em<x>bedded
                  real-time software aims at improving quality by
                  enabling design-time verification and simulation
                  and fostering reuse. Model-ba<x>sed design is very
                  popular because of the availability of tools for
                  simulation and formal verification of the system
                  properties. When implementing a high-level model
                  into code it is important to preserve its
                  semantics of the underlying model of computation
                  so to retain the results of the simulation and
                  verification stages. In this talk the challenges
                  associated with implementation of synchronous
                  reactive models are discussed. A platform-ba<x>sed
                  design methodology and implementation fr<x>amework
                  is presented. Two semantics preserving wait-free
                  communication protocols are introduced and
                  corresponding efficient portable implementations
                  under the OSEK OS standard are provided. Memory
                  optimization under timing constraints is
                  considered. Finally the design flow is completed
                  with automatic code generation support.},
        URL = {http://chess.eecs.berkeley.edu/pubs/515.html}
    }
    

Posted by Hiren Patel on 16 Jan 2009.
Groups: chess
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