Citation
David Broman. "Modeling, Simulating, and Compiling with Timing Semantics". Talk or presentation, October, 2012.

Abstract
In Cyber-Physical Systems (CPS) the notion of time is inherent; the dynamics of a physical system (the plant) evolve in real-time and the cyber part (the embedded systems and networks) interacts with the plant using sensors and actuators. In CPS, timing is a correctness property, not only a quality (performance) factor, making design and implementation considerably different compared to other computer systems. An important design problem is how such systems can be modeled and simulated (virtually prototyped) and then automatically realized by compiling models/programs of the cyber part to a target platform. The key challenges lie in expressive extensible modeling capabilities and semantically correct translation, both concerning functional and timing semantics. In this talk, I will discuss two ongoing projects that are addressing these challenges: Modelyze, a host language for embedding different modeling formalisms, and the Precision Timed Infrastructure, an infrastructure where an intermediate language, a compiler, and an ARM-based microprocessor are extended with instructions and semantics for handling real-time.

Electronic downloads

• broman-2012-talk-vienna-salzburg.pdf · application/download · 9319 kbytes

• HTML

  David Broman. <a
  href="http://chess.eecs.berkeley.edu/pubs/942.html"
  ><i>Modeling, Simulating, and Compiling  with
  Timing Semantics</i></a>, Talk or presentation, 
  October, 2012.

• Plain text

  David Broman. "Modeling, Simulating, and Compiling 
  with Timing Semantics". Talk or presentation,  October,
  2012.

• BibTeX

  @presentation{Broman12_ModelingSimulatingCompilingWithTimingSemantics,
      author = {David Broman},
      title = {Modeling, Simulating, and Compiling  with Timing
                Semantics},
      month = {October},
      year = {2012},
      abstract = {In Cyber-Physical Systems (CPS) the notion of time
                is inherent; the dynamics of a physical system
                (the plant) evolve in real-time and the cyber part
                (the embedded systems and networks) interacts with
                the plant using sensors and actuators. In CPS,
                timing is a correctness property, not only a
                quality (performance) factor, making design and
                implementation considerably different compared to
                other computer systems. An important design
                problem is how such systems can be modeled and
                simulated (virtually prototyped) and then
                automatically realized by compiling
                models/programs of the cyber part to a target
                platform. The key challenges lie in expressive
                extensible modeling capabilities and semantically
                correct translation, both concerning functional
                and timing semantics. In this talk, I will discuss
                two ongoing projects that are addressing these
                challenges: Modelyze, a host language for
                embedding different modeling formalisms, and the
                Precision Timed Infrastructure, an infrastructure
                where an intermediate language, a compiler, and an
                ARM-based microprocessor are extended with
                instructions and semantics for handling real-time. },
      URL = {http://chess.eecs.berkeley.edu/pubs/942.html}
  }
  

Posted by David Broman on 9 Oct 2012.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.