A Testbed to Verify the Timing Behavior of Cyber-Physical Systems
| Autor: | Mohammad Khayatian, Mohammadreza Mehrabian, John C. Eidson, Patricia Derler, Kevin Stanton, Marc A. Weiss, Hugo A. Andrade, Ya-Shian Li-Baboud, Aviral Shrivastava, Edward Griffor |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
010302 applied physics
Computer science Process (engineering) Distributed computing 0103 physical sciences Control (management) Testbed 0202 electrical engineering electronic engineering information engineering Cyber-physical system 02 engineering and technology 01 natural sciences 020202 computer hardware & architecture |
| Zdroj: | DAC |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|