Time in cyber-physical systems

Aviral Shrivastava, Patricia Derler, Ya Shian Li Baboud, Kevin Stanton, Mohammad Khayatian, Hugo A. Andrade, Marc Weiss, John Eidson, Sundeep Chandhoke

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

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.

Original languageEnglish (US)
Title of host publication2016 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781450330503
DOIs
StatePublished - Nov 21 2016
Event2016 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2016 - Pittsburgh, United States
Duration: Oct 2 2016Oct 7 2016

Other

Other2016 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2016
CountryUnited States
CityPittsburgh
Period10/2/1610/7/16

Fingerprint

Cyber Physical System
Clocks
Actuators
Automation
Systems analysis
Sensors

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Control and Systems Engineering

Cite this

Shrivastava, A., Derler, P., Baboud, Y. S. L., Stanton, K., Khayatian, M., Andrade, H. A., ... Chandhoke, S. (2016). Time in cyber-physical systems. In 2016 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2016 [7750983] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1145/2968456.2974012

Time in cyber-physical systems. / Shrivastava, Aviral; Derler, Patricia; Baboud, Ya Shian Li; Stanton, Kevin; Khayatian, Mohammad; Andrade, Hugo A.; Weiss, Marc; Eidson, John; Chandhoke, Sundeep.

2016 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2016. Institute of Electrical and Electronics Engineers Inc., 2016. 7750983.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Shrivastava, A, Derler, P, Baboud, YSL, Stanton, K, Khayatian, M, Andrade, HA, Weiss, M, Eidson, J & Chandhoke, S 2016, Time in cyber-physical systems. in 2016 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2016., 7750983, Institute of Electrical and Electronics Engineers Inc., 2016 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2016, Pittsburgh, United States, 10/2/16. https://doi.org/10.1145/2968456.2974012
Shrivastava A, Derler P, Baboud YSL, Stanton K, Khayatian M, Andrade HA et al. Time in cyber-physical systems. In 2016 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2016. Institute of Electrical and Electronics Engineers Inc. 2016. 7750983 https://doi.org/10.1145/2968456.2974012
Shrivastava, Aviral ; Derler, Patricia ; Baboud, Ya Shian Li ; Stanton, Kevin ; Khayatian, Mohammad ; Andrade, Hugo A. ; Weiss, Marc ; Eidson, John ; Chandhoke, Sundeep. / Time in cyber-physical systems. 2016 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2016. Institute of Electrical and Electronics Engineers Inc., 2016.
@inproceedings{eb131e4d4bb848eba4c39c1abe8b3861,
title = "Time in cyber-physical systems",
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.",
author = "Aviral Shrivastava and Patricia Derler and Baboud, {Ya Shian Li} and Kevin Stanton and Mohammad Khayatian and Andrade, {Hugo A.} and Marc Weiss and John Eidson and Sundeep Chandhoke",
year = "2016",
month = "11",
day = "21",
doi = "10.1145/2968456.2974012",
language = "English (US)",
booktitle = "2016 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
address = "United States",

}

TY - GEN

T1 - Time in cyber-physical systems

AU - Shrivastava, Aviral

AU - Derler, Patricia

AU - Baboud, Ya Shian Li

AU - Stanton, Kevin

AU - Khayatian, Mohammad

AU - Andrade, Hugo A.

AU - Weiss, Marc

AU - Eidson, John

AU - Chandhoke, Sundeep

PY - 2016/11/21

Y1 - 2016/11/21

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85006922619&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85006922619&partnerID=8YFLogxK

U2 - 10.1145/2968456.2974012

DO - 10.1145/2968456.2974012

M3 - Conference contribution

BT - 2016 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2016

PB - Institute of Electrical and Electronics Engineers Inc.

ER -