Matches in SemOpenAlex for { <https://semopenalex.org/work/W2625101315> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2625101315 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." @default.
- W2625101315 created "2017-06-23" @default.
- W2625101315 creator A5018079828 @default.
- W2625101315 creator A5030652679 @default.
- W2625101315 creator A5041796502 @default.
- W2625101315 creator A5044172378 @default.
- W2625101315 creator A5050905663 @default.
- W2625101315 creator A5052699654 @default.
- W2625101315 creator A5056449142 @default.
- W2625101315 creator A5058440761 @default.
- W2625101315 creator A5075996527 @default.
- W2625101315 creator A5076397754 @default.
- W2625101315 date "2017-06-18" @default.
- W2625101315 modified "2023-09-23" @default.
- W2625101315 title "A Testbed to Verify the Timing Behavior of Cyber-Physical Systems" @default.
- W2625101315 cites W1627303300 @default.
- W2625101315 cites W2169239645 @default.
- W2625101315 cites W2530345271 @default.
- W2625101315 doi "https://doi.org/10.1145/3061639.3072955" @default.
- W2625101315 hasPublicationYear "2017" @default.
- W2625101315 type Work @default.
- W2625101315 sameAs 2625101315 @default.
- W2625101315 citedByCount "6" @default.
- W2625101315 countsByYear W26251013152017 @default.
- W2625101315 countsByYear W26251013152018 @default.
- W2625101315 countsByYear W26251013152019 @default.
- W2625101315 crossrefType "proceedings-article" @default.
- W2625101315 hasAuthorship W2625101315A5018079828 @default.
- W2625101315 hasAuthorship W2625101315A5030652679 @default.
- W2625101315 hasAuthorship W2625101315A5041796502 @default.
- W2625101315 hasAuthorship W2625101315A5044172378 @default.
- W2625101315 hasAuthorship W2625101315A5050905663 @default.
- W2625101315 hasAuthorship W2625101315A5052699654 @default.
- W2625101315 hasAuthorship W2625101315A5056449142 @default.
- W2625101315 hasAuthorship W2625101315A5058440761 @default.
- W2625101315 hasAuthorship W2625101315A5075996527 @default.
- W2625101315 hasAuthorship W2625101315A5076397754 @default.
- W2625101315 hasConcept C111919701 @default.
- W2625101315 hasConcept C149635348 @default.
- W2625101315 hasConcept C179768478 @default.
- W2625101315 hasConcept C31258907 @default.
- W2625101315 hasConcept C31395832 @default.
- W2625101315 hasConcept C41008148 @default.
- W2625101315 hasConceptScore W2625101315C111919701 @default.
- W2625101315 hasConceptScore W2625101315C149635348 @default.
- W2625101315 hasConceptScore W2625101315C179768478 @default.
- W2625101315 hasConceptScore W2625101315C31258907 @default.
- W2625101315 hasConceptScore W2625101315C31395832 @default.
- W2625101315 hasConceptScore W2625101315C41008148 @default.
- W2625101315 hasLocation W26251013151 @default.
- W2625101315 hasOpenAccess W2625101315 @default.
- W2625101315 hasPrimaryLocation W26251013151 @default.
- W2625101315 hasRelatedWork W1528306433 @default.
- W2625101315 hasRelatedWork W1652211834 @default.
- W2625101315 hasRelatedWork W1972041827 @default.
- W2625101315 hasRelatedWork W2006631655 @default.
- W2625101315 hasRelatedWork W2023981379 @default.
- W2625101315 hasRelatedWork W2273814841 @default.
- W2625101315 hasRelatedWork W2733529091 @default.
- W2625101315 hasRelatedWork W2763676719 @default.
- W2625101315 hasRelatedWork W2962347518 @default.
- W2625101315 hasRelatedWork W4235234218 @default.
- W2625101315 isParatext "false" @default.
- W2625101315 isRetracted "false" @default.
- W2625101315 magId "2625101315" @default.
- W2625101315 workType "article" @default.