*banner
 

Time in cyber-physical systems

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

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

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.

©2002-2018 Chess