Citation
"Time in cyber-physical systems". In Proceedings of IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES '16), October, 2016.

Abstract
Many modern cyber-physical systems (CPS), especially industrial automation systems, require the actions of multiple computational systems to be performed at much higher rates and more tightly synchronized than is possible with ad hoc designs. Time is the common entity that computing and physical systems in CPS share, and correct interfacing of that is essential to flawless functionality of a CPS. Fundamental research is needed on ways to synchronize clocks of computing systems to a high degree, and on design methods that enable building blocks of CPS to perform actions at specified times. To realize the potential of CPS in the coming decades, suitable ways to specify distributed CPS applications are needed, including their timing requirements, ways to specify the timing of the CPS components (e.g. sensors, actuators, computing platform), timing analysis to determine if the application design is possible using the components, confident top-down design methodologies that can ensure that the system meets its timing requirements, and ways and methodologies to test and verify that the system meets the timing requirements. Furthermore, strategies for securing timing need to be carefully considered at every CPS design stage and not simply added on. This paper exposes these challenges of CPS development, points out limitations of previous approaches, and provides some research directions towards solving these challenges.

Electronic downloads

• https://doi.org/10.1145/2968456.2974012

• HTML

   <a
  href="http://chess.eecs.berkeley.edu/pubs/1188.html"
  ><i>Time in cyber-physical
  systems</i></a>, In Proceedings of IEEE/ACM/IFIP
  International Conference on Hardware/Software Codesign and
  System Synthesis  (CODES '16), October, 2016.

• Plain text

   "Time in cyber-physical systems". In Proceedings
  of IEEE/ACM/IFIP International Conference on
  Hardware/Software Codesign and System Synthesis  (CODES
  '16), October, 2016.

• BibTeX

  @proceedings{16_TimeInCyberphysicalSystems,
      title = {Time in cyber-physical systems},
      organization = {In Proceedings of IEEE/ACM/IFIP International
                Conference on Hardware/Software Codesign and
                System Synthesis  (CODES '16)},
      month = {October},
      year = {2016},
      abstract = {Many modern cyber-physical systems (CPS),
                especially industrial automation systems, require
                the actions of multiple computational systems to
                be performed at much higher rates and more tightly
                synchronized than is possible with ad hoc designs.
                Time is the common entity that computing and
                physical systems in CPS share, and correct
                interfacing of that is essential to flawless
                functionality of a CPS. Fundamental research is
                needed on ways to synchronize clocks of computing
                systems to a high degree, and on design methods
                that enable building blocks of CPS to perform
                actions at specified times. To realize the
                potential of CPS in the coming decades, suitable
                ways to specify distributed CPS applications are
                needed, including their timing requirements, ways
                to specify the timing of the CPS components (e.g.
                sensors, actuators, computing platform), timing
                analysis to determine if the application design is
                possible using the components, confident top-down
                design methodologies that can ensure that the
                system meets its timing requirements, and ways and
                methodologies to test and verify that the system
                meets the timing requirements. Furthermore,
                strategies for securing timing need to be
                carefully considered at every CPS design stage and
                not simply added on. This paper exposes these
                challenges of CPS development, points out
                limitations of previous approaches, and provides
                some research directions towards solving these
                challenges.},
      URL = {http://chess.eecs.berkeley.edu/pubs/1188.html}
  }
  

Posted by Mary Stewart on 18 Apr 2017.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.