Citation
David Broman. "Precision Timed Infrastructure - Making Time an Engineering Abstraction". Talk or presentation, 22, May, 2012.

Abstract
Cyber-physical systems (CPS) is an emerging research field that addresses challenges with systems that combine computation, networking, and physical processes. The concept of time is an inherent property of such systems. Missed deadlines for hard real-time applications, such as avionics and control systems in automobiles, can result in devastating, life-threatening consequences. Hence, timing for CPS is a correctness criterion, not a quality factor. Extensive research has been performed on defining high-level modeling languages where time is a fundamental concept (e.g., Ptolemy II, Modelica, Simulink), but the timing semantics of these languages are not preserved when generating code for a particular platform. Moreover, currently a new category of processors called precision timed (PRET) machines is being developed that is both predictable and repeatable regarding time, but existing compilers for PRET do not guarantee timing properties stated in high-level languages. Consequently, there is a semantic gap between high-level languages and PRET machines. In this talk, I discuss our work on a PRET infrastructure, with the objective of bridging this gap. In ongoing work, we include timing semantics both as an extension to the ISA of a PRET ARM architecture and an intermediate language. The overall goal of our approach is to enable correct translation/compilation regarding time, from high-level CPS modeling languages down to machine code for PRET machines.

Electronic downloads

• 2012-05-22-ifip-vadstena.pdf · application/pdf · 3985 kbytes

• HTML

  David Broman. <a
  href="http://chess.eecs.berkeley.edu/pubs/915.html"
  ><i>Precision Timed Infrastructure - Making Time an
  Engineering Abstraction</i></a>, Talk or
  presentation,  22, May, 2012.

• Plain text

  David Broman. "Precision Timed Infrastructure - Making
  Time an Engineering Abstraction". Talk or presentation,
   22, May, 2012.

• BibTeX

  @presentation{Broman12_PrecisionTimedInfrastructureMakingTimeEngineeringAbstraction,
      author = {David Broman},
      title = {Precision Timed Infrastructure - Making Time an
                Engineering Abstraction},
      day = {22},
      month = {May},
      year = {2012},
      abstract = {Cyber-physical systems (CPS) is an emerging
                research field that addresses challenges with
                systems that combine computation, networking, and
                physical processes. The concept of time is an
                inherent property of such systems. Missed
                deadlines for hard real-time applications, such as
                avionics and control systems in automobiles, can
                result in devastating, life-threatening
                consequences. Hence, timing for CPS is a
                correctness criterion, not a quality factor.
                Extensive research has been performed on defining
                high-level modeling languages where time is a
                fundamental concept (e.g., Ptolemy II, Modelica,
                Simulink), but the timing semantics of these
                languages are not preserved when generating code
                for a particular platform. Moreover, currently a
                new category of processors called precision timed
                (PRET) machines is being developed that is both
                predictable and repeatable regarding time, but
                existing compilers for PRET do not guarantee
                timing properties stated in high-level languages.
                Consequently, there is a semantic gap between
                high-level languages and PRET machines. In this
                talk, I discuss our work on a PRET infrastructure,
                with the objective of bridging this gap. In
                ongoing work, we include timing semantics both as
                an extension to the ISA of a PRET ARM architecture
                and an intermediate language. The overall goal of
                our approach is to enable correct
                translation/compilation regarding time, from
                high-level CPS modeling languages down to machine
                code for PRET machines. },
      URL = {http://chess.eecs.berkeley.edu/pubs/915.html}
  }
  

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