*banner
 

Precision Timed Infrastructure - Making Time an Engineering Abstraction
David Broman

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

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

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-2017 Chess