TY - GEN
T1 - INVITED
T2 - 54th Annual Design Automation Conference, DAC 2017
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
N1 - Funding Information:
NSF grant CNS 1525855, and NIST grant 70NANB16H305.
Publisher Copyright:
© 2017 ACM.
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
T3 - Proceedings - Design Automation Conference
BT - Proceedings of the 54th Annual Design Automation Conference 2017, DAC 2017
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 18 June 2017 through 22 June 2017
ER -