INVITED: A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited

Aviral Shrivastava, Mohammadreza Mehrabian, Mohammad Khayatian, Patricia Derler, Hugo Andrade, Kevin Stanton, Ya Shian Li-Baboud, Edward Griffor, Marc Weiss, John Eidson

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

3 Citations (Scopus)

Abstract

Time is a foundational aspect of Cyber-Physical Systems (CPS). Correct time and timing of system events are critical to optimized responsiveness to the environment, in terms of timeliness, accuracy, and precision in the knowledge, measurement, prediction, and control of CPS behavior. However, both the specification and verification of timing requirements of the CPS are typically done in an ad-hoc manner. While feasible, the system can become costly and difficult to analyze and maintain, and the process of implementing and verifying correct timing behavior can be error-prone. Towards the development of a verification testbed for testing timing behavior in tools and platforms with explicit time support, this paper first describes a way to express the various kinds of timing constraints in distributed CPS. Then, we outline the design and initial implementation of a distributed testbed to verify the timing of a distributed CPS analytically through a systematic framework. Finally, we illustrate the use of the verified timing testbed on two distributed CPS case studies.

Original languageEnglish (US)
Title of host publicationProceedings of the 54th Annual Design Automation Conference 2017, DAC 2017
PublisherInstitute of Electrical and Electronics Engineers Inc.
VolumePart 128280
ISBN (Electronic)9781450349277
DOIs
StatePublished - Jun 18 2017
Event54th Annual Design Automation Conference, DAC 2017 - Austin, United States
Duration: Jun 18 2017Jun 22 2017

Other

Other54th Annual Design Automation Conference, DAC 2017
CountryUnited States
CityAustin
Period6/18/176/22/17

Fingerprint

Testbeds
Testbed
Timing
Verify
Cyber Physical System
Specifications
Express
Testing
Specification
Prediction
Requirements

ASJC Scopus subject areas

  • Computer Science Applications
  • Control and Systems Engineering
  • Electrical and Electronic Engineering
  • Modeling and Simulation

Cite this

Shrivastava, A., Mehrabian, M., Khayatian, M., Derler, P., Andrade, H., Stanton, K., ... Eidson, J. (2017). INVITED: A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited. In Proceedings of the 54th Annual Design Automation Conference 2017, DAC 2017 (Vol. Part 128280). [69] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1145/3061639.3072955

INVITED : A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited. / Shrivastava, Aviral; Mehrabian, Mohammadreza; Khayatian, Mohammad; Derler, Patricia; Andrade, Hugo; Stanton, Kevin; Li-Baboud, Ya Shian; Griffor, Edward; Weiss, Marc; Eidson, John.

Proceedings of the 54th Annual Design Automation Conference 2017, DAC 2017. Vol. Part 128280 Institute of Electrical and Electronics Engineers Inc., 2017. 69.

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

Shrivastava, A, Mehrabian, M, Khayatian, M, Derler, P, Andrade, H, Stanton, K, Li-Baboud, YS, Griffor, E, Weiss, M & Eidson, J 2017, INVITED: A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited. in Proceedings of the 54th Annual Design Automation Conference 2017, DAC 2017. vol. Part 128280, 69, Institute of Electrical and Electronics Engineers Inc., 54th Annual Design Automation Conference, DAC 2017, Austin, United States, 6/18/17. https://doi.org/10.1145/3061639.3072955
Shrivastava A, Mehrabian M, Khayatian M, Derler P, Andrade H, Stanton K et al. INVITED: A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited. In Proceedings of the 54th Annual Design Automation Conference 2017, DAC 2017. Vol. Part 128280. Institute of Electrical and Electronics Engineers Inc. 2017. 69 https://doi.org/10.1145/3061639.3072955
Shrivastava, Aviral ; Mehrabian, Mohammadreza ; Khayatian, Mohammad ; Derler, Patricia ; Andrade, Hugo ; Stanton, Kevin ; Li-Baboud, Ya Shian ; Griffor, Edward ; Weiss, Marc ; Eidson, John. / INVITED : A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited. Proceedings of the 54th Annual Design Automation Conference 2017, DAC 2017. Vol. Part 128280 Institute of Electrical and Electronics Engineers Inc., 2017.
@inproceedings{ae9ce514feba4b6b89c63af514e1600a,
title = "INVITED: A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited",
abstract = "Time is a foundational aspect of Cyber-Physical Systems (CPS). Correct time and timing of system events are critical to optimized responsiveness to the environment, in terms of timeliness, accuracy, and precision in the knowledge, measurement, prediction, and control of CPS behavior. However, both the specification and verification of timing requirements of the CPS are typically done in an ad-hoc manner. While feasible, the system can become costly and difficult to analyze and maintain, and the process of implementing and verifying correct timing behavior can be error-prone. Towards the development of a verification testbed for testing timing behavior in tools and platforms with explicit time support, this paper first describes a way to express the various kinds of timing constraints in distributed CPS. Then, we outline the design and initial implementation of a distributed testbed to verify the timing of a distributed CPS analytically through a systematic framework. Finally, we illustrate the use of the verified timing testbed on two distributed CPS case studies.",
author = "Aviral Shrivastava and Mohammadreza Mehrabian and Mohammad Khayatian and Patricia Derler and Hugo Andrade and Kevin Stanton and Li-Baboud, {Ya Shian} and Edward Griffor and Marc Weiss and John Eidson",
year = "2017",
month = "6",
day = "18",
doi = "10.1145/3061639.3072955",
language = "English (US)",
volume = "Part 128280",
booktitle = "Proceedings of the 54th Annual Design Automation Conference 2017, DAC 2017",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
address = "United States",

}

TY - GEN

T1 - INVITED

T2 - A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited

AU - Shrivastava, Aviral

AU - Mehrabian, Mohammadreza

AU - Khayatian, Mohammad

AU - Derler, Patricia

AU - Andrade, Hugo

AU - Stanton, Kevin

AU - Li-Baboud, Ya Shian

AU - Griffor, Edward

AU - Weiss, Marc

AU - Eidson, John

PY - 2017/6/18

Y1 - 2017/6/18

N2 - Time is a foundational aspect of Cyber-Physical Systems (CPS). Correct time and timing of system events are critical to optimized responsiveness to the environment, in terms of timeliness, accuracy, and precision in the knowledge, measurement, prediction, and control of CPS behavior. However, both the specification and verification of timing requirements of the CPS are typically done in an ad-hoc manner. While feasible, the system can become costly and difficult to analyze and maintain, and the process of implementing and verifying correct timing behavior can be error-prone. Towards the development of a verification testbed for testing timing behavior in tools and platforms with explicit time support, this paper first describes a way to express the various kinds of timing constraints in distributed CPS. Then, we outline the design and initial implementation of a distributed testbed to verify the timing of a distributed CPS analytically through a systematic framework. Finally, we illustrate the use of the verified timing testbed on two distributed CPS case studies.

AB - Time is a foundational aspect of Cyber-Physical Systems (CPS). Correct time and timing of system events are critical to optimized responsiveness to the environment, in terms of timeliness, accuracy, and precision in the knowledge, measurement, prediction, and control of CPS behavior. However, both the specification and verification of timing requirements of the CPS are typically done in an ad-hoc manner. While feasible, the system can become costly and difficult to analyze and maintain, and the process of implementing and verifying correct timing behavior can be error-prone. Towards the development of a verification testbed for testing timing behavior in tools and platforms with explicit time support, this paper first describes a way to express the various kinds of timing constraints in distributed CPS. Then, we outline the design and initial implementation of a distributed testbed to verify the timing of a distributed CPS analytically through a systematic framework. Finally, we illustrate the use of the verified timing testbed on two distributed CPS case studies.

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

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

U2 - 10.1145/3061639.3072955

DO - 10.1145/3061639.3072955

M3 - Conference contribution

AN - SCOPUS:85023623174

VL - Part 128280

BT - Proceedings of the 54th Annual Design Automation Conference 2017, DAC 2017

PB - Institute of Electrical and Electronics Engineers Inc.

ER -