NIST · ИТ · 6882ddc4917775297273
Timestamp Temporal Logic (TTL) for Time Testing of Cyber-Physical Systems
In order to test the performance and verify the correctness of Cyber-Physical Systems (CPS), the timing constraints on the system behavior must be met. Signal Temporal Logic (STL) can efficiently and succinctly capture the timing constraints on a given
NIST · ИТОфициальный источник · 2017-09-27
{
"title_en": "Timestamp Temporal Logic (TTL) for Time Testing of Cyber-Physical Systems",
"designation": "",
"series": "",
"status": "",
"date": "2017-09-27",
"date_original": "September 27, 2017",
"url": "https://www.nist.gov/publications/timestamp-temporal-logic-ttl-time-testing-cyber-physical-systems",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, John Eidson, Patricia Derler, Hugo A. Andrade, Ya-Shian Li-Baboud , Edward Griffor , Marc A. Weiss , Kevin Stanton",
"abstract_excerpt_en": "In order to test the performance and verify the correctness of Cyber-Physical Systems (CPS), the timing constraints on the system behavior must be met. Signal Temporal Logic (STL) can efficiently and succinctly capture the timing constraints on a given",
"id": "6882ddc4917775297273",
"sources": [
"NIST Publications"
],
"source_records": [
{
"title_en": "Timestamp Temporal Logic (TTL) for Time Testing of Cyber-Physical Systems",
"designation": "",
"series": "",
"status": "",
"date": "2017-09-27",
"date_original": "September 27, 2017",
"url": "https://www.nist.gov/publications/timestamp-temporal-logic-ttl-time-testing-cyber-physical-systems",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, John Eidson, Patricia Derler, Hugo A. Andrade, Ya-Shian Li-Baboud , Edward Griffor , Marc A. Weiss , Kevin Stanton",
"abstract_excerpt_en": "In order to test the performance and verify the correctness of Cyber-Physical Systems (CPS), the timing constraints on the system behavior must be met. Signal Temporal Logic (STL) can efficiently and succinctly capture the timing constraints on a given"
}
],
"translation_state": "none"
}